|
||||||||||
| 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 INRLAstNodeaccept in class Antlr3NRLBaseAstvisitor - the visitor@Deprecated public String dump(int indent)
INRLAstNode
dump in interface INRLAstNodedump in class Antlr3NRLBaseAstindent - the indentation count, 0 on first call
public IConstraint getConstraint()
IForallStatement
getConstraint in interface IForallStatementpublic IModelReference getElement()
IForallStatement
getElement in interface IForallStatementpublic String getVariableName()
public IVariable getVariable()
IForallStatementIf no variable is used, this returns null.
getVariable in interface IForallStatementpublic void setVariable(IVariable variable)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||