com.veromodo.tempo.ast
Class ASTSignature

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTNode
      extended by com.veromodo.tempo.ast.ASTAction
          extended by com.veromodo.tempo.ast.ASTSignature
All Implemented Interfaces:
Locatable, Resource, ResourceGenre

public class ASTSignature
extends ASTAction

Concrete class for an automaton signature

Author:
L. Michel

Nested Class Summary
 
Nested classes/interfaces inherited from class com.veromodo.tempo.ast.ASTAction
ASTAction.Genre
 
Constructor Summary
ASTSignature(ASTAction.Genre g, ASTIdentifier n, ASTListActionFormal f, ASTExpr w)
          Constructor
 
Method Summary
 void visit(ASTIVisitor v)
          The visit method
 
Methods inherited from class com.veromodo.tempo.ast.ASTAction
getFormals, getGenre, getId, getName, getWhere
 
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
 

Constructor Detail

ASTSignature

public ASTSignature(ASTAction.Genre g,
                    ASTIdentifier n,
                    ASTListActionFormal f,
                    ASTExpr w)
Constructor

Parameters:
g - the type of signature
n - the name of the signature
f - the list of formals
w - the optional where clause
Method Detail

visit

public void visit(ASTIVisitor v)
The visit method

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