com.veromodo.tempo.ast
Class ASTList<T extends ASTNode>

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTNode
      extended by com.veromodo.tempo.ast.ASTList<T>
All Implemented Interfaces:
Locatable, java.lang.Iterable<T>
Direct Known Subclasses:
ASTListActionFormal, ASTListActionSet, ASTListActual, ASTListComponent, ASTListDeclFuns, ASTListDeclLocals, ASTListDeclScheduleLocal, ASTListFields, ASTListFormal, ASTListFormula, ASTListId, ASTListIdOrNum, ASTListName, ASTListOperatorSignature, ASTListProofUsing, ASTListRoot, ASTListSignature, ASTListSimProofEntry, ASTListStartEntry, ASTListState, ASTListStatement, ASTListTask, ASTListTrajectories, ASTListTrajRef, ASTListTransition, ASTListType, ASTListUsedType, ASTListVocabRef

public abstract class ASTList<T extends ASTNode>
extends ASTNode
implements java.lang.Iterable<T>


Constructor Summary
ASTList()
           
 
Method Summary
 void add(T d)
           
 T get(int x)
           
 boolean isEmpty()
           
 java.util.Iterator<T> iterator()
           
 int size()
           
 java.lang.String toString()
           
 void visit(ASTIVisitor v)
          Abstract method to traverse the AST via a visitor.
 
Methods inherited from class com.veromodo.tempo.ast.ASTNode
getExtent, setExtent
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ASTList

public ASTList()
Method Detail

iterator

public java.util.Iterator<T> iterator()
Specified by:
iterator in interface java.lang.Iterable<T extends ASTNode>

isEmpty

public boolean isEmpty()

size

public int size()

add

public void add(T d)

get

public T get(int x)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

visit

public void visit(ASTIVisitor v)
Description copied from class: ASTNode
Abstract method to traverse the AST via a visitor.

Specified by:
visit in class ASTNode
Parameters:
v - the visitor interface
See Also:
ASTIVisitor