Uses of Class
fmrisc.Syntax.TypeDeclIdentifier

Packages that use TypeDeclIdentifier
fmrisc.Semantics   
fmrisc.Syntax   
 

Uses of TypeDeclIdentifier in fmrisc.Semantics
 

Methods in fmrisc.Semantics that return TypeDeclIdentifier
 TypeDeclIdentifier TypeSymbol.getTypeDeclIdentifier()
          Return identifier of symbol.
 

Methods in fmrisc.Semantics with parameters of type TypeDeclIdentifier
 TypeSymbol TypeTable.put(TypeDeclIdentifier key, Type type)
          put type in type table
 TypeSymbol Environment.putType(TypeDeclIdentifier name, Type type)
          put type in type table
 

Constructors in fmrisc.Semantics with parameters of type TypeDeclIdentifier
TypeSymbol(TypeDeclIdentifier ident)
          Construct type symbol from ident (type is set to null).
 

Uses of TypeDeclIdentifier in fmrisc.Syntax
 

Methods in fmrisc.Syntax that return TypeDeclIdentifier
 TypeDeclIdentifier TypeDeclIdentifier.getSubstitution()
          returns substitution identifier for instantiation
 TypeDeclIdentifier TypeDeclaration.getTypeDeclIdentifier()
          returns declaration name
 TypeDeclIdentifier TypeDeclIdentifier.instantiate()
          returns instantiated copy of identifier
static TypeDeclIdentifier Construct.typeDeclIdentifier(java.lang.String name)
          construct type declaration identifier with denoted name.
 

Methods in fmrisc.Syntax with parameters of type TypeDeclIdentifier
static Reference Construct.reference(TypeDeclIdentifier ident)
          construct reference from type declaration identifier.
 void TypeDeclIdentifier.setSubstitution(TypeDeclIdentifier substitution)
          set substitution type for instantiation
static TypeDeclaration Construct.typeDeclaration(TypeDeclIdentifier name, Type type)
          construct type declaration with denoted name and type.
 

Constructors in fmrisc.Syntax with parameters of type TypeDeclIdentifier
TypeDeclaration(TypeDeclIdentifier name, Type type)
          construct type declaration with denoted name and type.