|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface IForallStatement
A constraint that expresses that a sub-constraint holds for every member of a collection identified by a model reference.
Abstract syntax reference:
ForallStatement ::= forall element:ModelReference constraint:Constraint
| Field Summary |
|---|
| Fields inherited from interface net.sourceforge.nrl.parser.ast.INRLAstNode |
|---|
NEWLINE |
| Method Summary | |
|---|---|
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. |
| Methods inherited from interface net.sourceforge.nrl.parser.ast.constraints.IConstraint |
|---|
getNRLDataType, setNRLDataType |
| Methods inherited from interface net.sourceforge.nrl.parser.ast.INRLAstNode |
|---|
accept, dump, getColumn, getLine, getUserData, setUserData |
| Method Detail |
|---|
IConstraint getConstraint()
IModelReference getElement()
IVariable getVariable()
If no variable is used, this returns null.
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||