|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |