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 =
childrenSource Codeshared formal [SpecifiedPattern|LIdentifier] children

The child nodes of this node.

negatedSource Codeshared 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 ‘!’.

testedSource Codeshared 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