An existence or nonemptiness condition, that is, the keyword ‘exists’ or ‘nonempty’, followed by either a specified pattern or a member name referencing an existing value.


nonempty [employeeOfTheMonth, *others] = randomShuffle(employees)
exists String name =
childrenshared formal [SpecifiedPattern|LIdentifier] children

The child nodes of this node.

negatedshared formal Boolean negated

Whether the condition is negated or not.

If the condition is negated, the ‘exists’/‘nonempty’ keyword is prefixed by a negation operator ‘!’.

testedshared formal SpecifiedPattern|LIdentifier tested

The value reference or pattern specification being tested.

Inherited Attributes
Attributes inherited from: Node
Attributes inherited from: Object
hash, string
Inherited Methods
Methods inherited from: Node
Methods inherited from: Object