Package | Description |
---|---|
fmrisc.ProofNavigator.Semantics | |
fmrisc.ProofNavigator.Syntax |
Modifier and Type | Method and Description |
---|---|
TypeDeclIdentifier |
TypeSymbol.getTypeDeclIdentifier()
Return identifier of symbol.
|
Modifier and Type | Method and Description |
---|---|
TypeSymbol |
TypeTable.put(TypeDeclIdentifier key,
Type type)
put type in type table
|
TypeSymbol |
Environment.putType(TypeDeclIdentifier name,
Type type)
put type in type table
|
Constructor and Description |
---|
TypeSymbol(TypeDeclIdentifier ident)
Construct type symbol from ident (type is set to null).
|
Modifier and Type | Method and Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
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.
|
Constructor and Description |
---|
TypeDeclaration(TypeDeclIdentifier name,
Type type)
construct type declaration with denoted name and type.
|