| Operations |
| Signature | Constraints | Documentation |
has_path(a_path : String)
:
Boolean |
pre: a_path <> Void | True if the relative path a_path exists at this node. |
is_subset_of(other : ARCHETYPE_CONSTRAINT)
:
Boolean |
pre: other <> Void | True if constraints represented by other are narrower than this node. |
is_valid()
:
Boolean | | True if this node (and all its sub-nodes) is a valid archetype node for its type. This function should be implemented by each subtype to perform semantic validation of itself, and then call the is_valid function in any subparts, and generate the result appropriately. |
path()
:
String | | Path of this node relative to root of archetype. |