com.veromodo.tempo.ast
Class ASTBasicAutomaton

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTNode
      extended by com.veromodo.tempo.ast.ASTRoot
          extended by com.veromodo.tempo.ast.ASTAutomaton
              extended by com.veromodo.tempo.ast.ASTBasicAutomaton
All Implemented Interfaces:
Describable, HasImports, Locatable, Resource

public class ASTBasicAutomaton
extends ASTAutomaton


Constructor Summary
ASTBasicAutomaton(ASTIdentifier n, ASTListFormal lf, ASTExpr w, ASTListVocabRef lv)
           
 
Method Summary
 ASTListDeclFuns getFuns()
           
 ASTSchedule getSchedule()
           
 ASTListSignature getSignatures()
           
 ASTListState getStates()
           
 ASTListTask getTasks()
           
 ASTListTrajectories getTrajectories()
           
 ASTListTransition getTransitions()
           
 void setFuns(ASTListDeclFuns f)
           
 void setSchedule(ASTSchedule n)
           
 void setSignatures(ASTListSignature signatures)
           
 void setStates(ASTListState n)
           
 void setTasks(ASTListTask n)
           
 void setTrajectories(ASTListTrajectories n)
           
 void setTransitions(ASTListTransition n)
           
 void visit(ASTIVisitor v)
          Abstract method to traverse the AST via a visitor.
 
Methods inherited from class com.veromodo.tempo.ast.ASTAutomaton
addImport, getDescriptor, getFormals, getId, getImplicitImports, getImports, getName, getWhere, setDescriptor
 
Methods inherited from class com.veromodo.tempo.ast.ASTNode
getExtent, setExtent
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface com.veromodo.tempo.util.Resource
getExtent
 
Methods inherited from interface com.veromodo.tempo.util.Locatable
getExtent
 

Constructor Detail

ASTBasicAutomaton

public ASTBasicAutomaton(ASTIdentifier n,
                         ASTListFormal lf,
                         ASTExpr w,
                         ASTListVocabRef lv)
Method Detail

setSignatures

public void setSignatures(ASTListSignature signatures)

setStates

public void setStates(ASTListState n)

setFuns

public void setFuns(ASTListDeclFuns f)

setTransitions

public void setTransitions(ASTListTransition n)

setTrajectories

public void setTrajectories(ASTListTrajectories n)

setTasks

public void setTasks(ASTListTask n)

setSchedule

public void setSchedule(ASTSchedule n)

getSignatures

public ASTListSignature getSignatures()

getStates

public ASTListState getStates()

getFuns

public ASTListDeclFuns getFuns()

getTransitions

public ASTListTransition getTransitions()

getTrajectories

public ASTListTrajectories getTrajectories()

getTasks

public ASTListTask getTasks()

getSchedule

public ASTSchedule getSchedule()

visit

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

Overrides:
visit in class ASTAutomaton
Parameters:
v - the visitor interface
See Also:
ASTIVisitor