com.veromodo.tempo.ast
Class ASTTypeParameter

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTNode
      extended by com.veromodo.tempo.ast.ASTType
          extended by com.veromodo.tempo.ast.ASTTypeParameter
All Implemented Interfaces:
Describable, Locatable, Typeable, TypeParameterContext

public class ASTTypeParameter
extends ASTType

Representation for an unknown (parametric) type. For example, the identifier M in automaton A(u: real, M: type) represents an unknown type within the definition of the automaton A.

TODO: Revise the following comment, which confuses an ASTTypeParameter with an ASTFormal with an ASTTypeParameter as its type.

The compiled representation of an ASTTypeParameter should be a fresh TypeParameter. The type of the encapsulating declaration (e.g., the automaton) should be a generic type involving this type parameter. To be specialized in CheckTypeFormal.


Constructor Summary
ASTTypeParameter()
           
 
Method Summary
 void visit(ASTIVisitor v)
          Abstract method to traverse the AST via a visitor.
 
Methods inherited from class com.veromodo.tempo.ast.ASTType
getContex, getDescriptor, getTType, 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.Locatable
getExtent
 
Methods inherited from interface com.veromodo.tempo.util.Locatable
getExtent
 

Constructor Detail

ASTTypeParameter

public ASTTypeParameter()
Method Detail

visit

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

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