|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.antlr.runtime.tree.BaseTree
org.antlr.runtime.tree.CommonTree
net.sourceforge.nrl.parser.ast.impl.Antlr3NRLBaseAst
net.sourceforge.nrl.parser.ast.constraints.impl.ConstraintImpl
net.sourceforge.nrl.parser.ast.constraints.impl.ForallStatementImpl
public class ForallStatementImpl
Field Summary |
---|
Fields inherited from class org.antlr.runtime.tree.CommonTree |
---|
childIndex, parent, startIndex, stopIndex, token |
Fields inherited from class org.antlr.runtime.tree.BaseTree |
---|
children |
Fields inherited from interface net.sourceforge.nrl.parser.ast.INRLAstNode |
---|
NEWLINE |
Fields inherited from interface org.antlr.runtime.tree.Tree |
---|
INVALID_NODE |
Constructor Summary | |
---|---|
ForallStatementImpl()
|
|
ForallStatementImpl(org.antlr.runtime.Token token)
|
Method Summary | |
---|---|
void |
accept(INRLAstVisitor visitor)
Accept a visitor to this node. |
String |
dump(int indent)
Deprecated. |
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. |
String |
getVariableName()
|
void |
setVariable(IVariable variable)
|
Methods inherited from class net.sourceforge.nrl.parser.ast.constraints.impl.ConstraintImpl |
---|
getNRLDataType, setNRLDataType |
Methods inherited from class net.sourceforge.nrl.parser.ast.impl.Antlr3NRLBaseAst |
---|
doIndent, getColumn, getLine, getUserData, initialisePositionFromChild, setColumn, setLine, setUserData |
Methods inherited from class org.antlr.runtime.tree.CommonTree |
---|
dupNode, getCharPositionInLine, getChildIndex, getParent, getText, getToken, getTokenStartIndex, getTokenStopIndex, getType, isNil, setChildIndex, setParent, setTokenStartIndex, setTokenStopIndex, setUnknownTokenBoundaries, toString |
Methods inherited from class org.antlr.runtime.tree.BaseTree |
---|
addChild, addChildren, createChildrenList, deleteChild, freshenParentAndChildIndexes, freshenParentAndChildIndexes, getAncestor, getAncestors, getChild, getChildCount, getChildren, getFirstChildWithType, hasAncestor, replaceChildren, sanityCheckParentAndChildIndexes, sanityCheckParentAndChildIndexes, setChild, toStringTree |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface net.sourceforge.nrl.parser.ast.constraints.IConstraint |
---|
getNRLDataType, setNRLDataType |
Methods inherited from interface net.sourceforge.nrl.parser.ast.INRLAstNode |
---|
getColumn, getLine, getUserData, setUserData |
Constructor Detail |
---|
public ForallStatementImpl()
public ForallStatementImpl(org.antlr.runtime.Token token)
Method Detail |
---|
public void accept(INRLAstVisitor visitor)
INRLAstNode
accept
in interface INRLAstNode
accept
in class Antlr3NRLBaseAst
visitor
- the visitor@Deprecated public String dump(int indent)
INRLAstNode
dump
in interface INRLAstNode
dump
in class Antlr3NRLBaseAst
indent
- the indentation count, 0 on first call
public IConstraint getConstraint()
IForallStatement
getConstraint
in interface IForallStatement
public IModelReference getElement()
IForallStatement
getElement
in interface IForallStatement
public String getVariableName()
public IVariable getVariable()
IForallStatement
If no variable is used, this returns null.
getVariable
in interface IForallStatement
public void setVariable(IVariable variable)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |