public interface IForallStatement extends IConstraint
Abstract syntax reference:
ForallStatement ::= forall element:ModelReference constraint:Constraint
NEWLINE| Modifier and Type | Method and Description |
|---|---|
IConstraint |
getConstraint()
Return the constraint being checked for all elements in the collection.
|
IModelReference |
getElement()
Return the element being iterated over.
|
IVariable |
getVariable()
If the statement introduces an iteration variable, this is returned
here.
|
getNRLDataType, setNRLDataTypeaccept, dump, getColumn, getLine, getUserData, setUserDataIConstraint getConstraint()
IModelReference getElement()
IVariable getVariable()
If no variable is used, this returns null.
Copyright © 2006-2013. All Rights Reserved.