net.sourceforge.nrl.parser.ast.constraints
Interface IForallStatement

All Superinterfaces:

IConstraint, INRLAstNode

public interface IForallStatement
extends IConstraint

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

getConstraint

IConstraint getConstraint()

Return the constraint being checked for all elements in the collection.

Returns:

the constraint

getElement

IModelReference getElement()

Return the element being iterated over.

Returns:

the element

getVariable

IVariable getVariable()

If the statement introduces an iteration variable, this is returned here. The iteration variable will be bound to each object being iterated over.

If no variable is used, this returns null.

Returns:

the variable or null