| | | do-space-instances | |
|
| (var space-instance-regexp) {tag | form}* | [Macro] |
Purpose
Iterate over each space instance that matches a
path-expression pattern.
Package :gbbopen
Module :gbbopen-core
Arguments and values
| var | A variable symbol | |
| space-instance-regexp | A space-instance path regular expression specifying the space instances to be mapped over | |
| declaration | A declare expression (not evaluated) | |
| tag | A go tag (not evaluated)
| |
| form | A form |
Description
The space-instance-regexp argument is either the symbol
t (indicating all space instances) or a list
representing a regular expression where the following reserved symbols
are interpreted as follows:
= | matches one occurrence in a space-instance path | ||
? | matches zero or one occurrence in a space-instance path | ||
+ | matches one or more occurrences in a space-instance path | ||
* | matches zero or more occurrences in a space-instance path | ||
^ | move to parent | ||
A space-instance-regexp value consisting of a list of space instances mapped over as supplied.
See also
find-space-instances
map-space-instances
Example
Remove all hyp unit instances from
space instances that are rooted at (bb):
(do-space-instances (space-instance '(bb +))
(do-instances-on-space-instances (unit-instance 'hyp space-instance)
(remove-instance-from-space-instance unit-instance space-instance)))
The GBBopen Project
| | | do-space-instances | |