net.sourceforge.nrl.parser.ast.constraints.impl
Class ForallStatementImpl

java.lang.Object
  extended by org.antlr.runtime.tree.BaseTree
      extended by org.antlr.runtime.tree.CommonTree
          extended by net.sourceforge.nrl.parser.ast.impl.Antlr3NRLBaseAst
              extended by net.sourceforge.nrl.parser.ast.constraints.impl.ConstraintImpl
                  extended by net.sourceforge.nrl.parser.ast.constraints.impl.ForallStatementImpl
All Implemented Interfaces:
IConstraint, IForallStatement, INRLAstNode, org.antlr.runtime.tree.Tree

public class ForallStatementImpl
extends ConstraintImpl
implements IForallStatement


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

ForallStatementImpl

public ForallStatementImpl()

ForallStatementImpl

public ForallStatementImpl(org.antlr.runtime.Token token)
Method Detail

accept

public void accept(INRLAstVisitor visitor)
Description copied from interface: INRLAstNode
Accept a visitor to this node.

Specified by:
accept in interface INRLAstNode
Overrides:
accept in class Antlr3NRLBaseAst
Parameters:
visitor - the visitor

dump

@Deprecated
public String dump(int indent)
Deprecated. 

Description copied from interface: INRLAstNode
Dump the AST and its children for debugging purposes

Specified by:
dump in interface INRLAstNode
Overrides:
dump in class Antlr3NRLBaseAst
Parameters:
indent - the indentation count, 0 on first call
Returns:
the AST as a string

getConstraint

public IConstraint getConstraint()
Description copied from interface: IForallStatement
Return the constraint being checked for all elements in the collection.

Specified by:
getConstraint in interface IForallStatement
Returns:
the constraint

getElement

public IModelReference getElement()
Description copied from interface: IForallStatement
Return the element being iterated over.

Specified by:
getElement in interface IForallStatement
Returns:
the element

getVariableName

public String getVariableName()

getVariable

public IVariable getVariable()
Description copied from interface: IForallStatement
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.

Specified by:
getVariable in interface IForallStatement
Returns:
the variable or null

setVariable

public void setVariable(IVariable variable)


Copyright © 2006-2013. All Rights Reserved.