com.veromodo.tempo.ast
Class ASTActionFormalName

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

public class ASTActionFormalName
extends ASTActionFormal

Concrete formal class TODO: This class is not correctly named. It is meant to perform _pattern matching_ in a transition definition. It is _not_ the name of a formal. For instance the spec

automaton A
signature input foo(x : int)
transition input foo(y+z)
....

is meant to state that A has a signature foo taking an integeer and when the transition for foo is defined, it is meant to receive an expression that will match against x+y and therefore declare two "formals" y and z. The most common usage is a plain identifier, in which case the matching is trivial.

I have to see examples of this that go through the simulator/model checker

Author:
L. Michel

Constructor Summary
ASTActionFormalName(ASTExpr n)
          Constructor.
 
Method Summary
 ASTExpr getName()
          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

ASTActionFormalName

public ASTActionFormalName(ASTExpr n)
Constructor. Takes an expression as input.

Parameters:
n - the formal expression to match against
Method Detail

getName

public ASTExpr getName()
Accessor

Returns:
the matching expression.

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