com.veromodo.tempo.ast
Class ASTActionFormalTypedIdList

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTNode
      extended by com.veromodo.tempo.ast.ASTActionFormal
          extended by com.veromodo.tempo.ast.ASTActionFormalTypedIdList
All Implemented Interfaces:
Locatable

public class ASTActionFormalTypedIdList
extends ASTActionFormal

Concrete formal class This class is used to represent a list of Formals that appear in a signature For instance, for

automaton A
signature input foo(x,y,z : Int)

Defines an automaton and a signature foo of arity 3 where the 3 named formals are x,y,z and their type is Int.

Author:
L. Michel

Constructor Summary
ASTActionFormalTypedIdList(ASTListId ids, ASTType t)
          Constructor
 
Method Summary
 ASTListId getIds()
          Accessor
 ASTType getType()
          Accessor
 void visit(ASTIVisitor v)
          See visitor design pattern @see ASTIVisitor.
 
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
 

Constructor Detail

ASTActionFormalTypedIdList

public ASTActionFormalTypedIdList(ASTListId ids,
                                  ASTType t)
Constructor

Parameters:
ids - the list of node identifiers
t - the type to be associated to each node in the list.

Note: The type is the Abstract Syntax Tree representation of the type, not the internal type representation which is rooted at @see com#veromodo#tempo#sem#type#Type

Method Detail

getIds

public ASTListId getIds()
Accessor

Returns:
retrieves the list of identifiers

getType

public ASTType getType()
Accessor

Returns:
retrieves the type associated with each name in the list.

visit

public void visit(ASTIVisitor v)
Description copied from class: ASTActionFormal
See visitor design pattern @see ASTIVisitor.

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