|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ValueDeclIdentifier | |
fmrisc.AST | |
fmrisc.Semantics |
Uses of ValueDeclIdentifier in fmrisc.AST |
Methods in fmrisc.AST that return ValueDeclIdentifier | |
ValueDeclIdentifier |
ValueDeclIdentifier.getSubstitution()
returns substitution identifier for instantiation |
ValueDeclIdentifier |
ValueDeclIdentifier.instantiate()
returns instantiated copy of identifier |
ValueDeclIdentifier |
TypedIdentifier.getIdentifier()
returns identifier name |
static ValueDeclIdentifier |
Construct.valueDeclIdentifier(java.lang.String name)
construct value declaration identifier with denoted name. |
ValueDeclIdentifier |
ValueDeclaration.getValueDeclIdentifier()
returns declaration name |
Methods in fmrisc.AST with parameters of type ValueDeclIdentifier | |
void |
ValueDeclIdentifier.setSubstitution(ValueDeclIdentifier substitution)
set substitution expression for instantiation |
static Reference |
Construct.reference(ValueDeclIdentifier ident)
construct referenc from declaration identifier. |
static TypedIdentifier |
Construct.typedIdentifier(ValueDeclIdentifier identifier,
Type type)
construct typed identifier from identifier and type. |
static ValueDeclaration |
Construct.valueDeclaration(ValueDeclIdentifier name,
Type type,
Expression value)
construct value declaration with denoted name, type and value. |
Constructors in fmrisc.AST with parameters of type ValueDeclIdentifier | |
TypedIdentifier(ValueDeclIdentifier identifier,
Type type)
construct typed identifier from identifier and type. |
|
ValueDeclaration(ValueDeclIdentifier name,
Type type,
Expression value)
construct value declaration with denoted name, type and value. |
Uses of ValueDeclIdentifier in fmrisc.Semantics |
Methods in fmrisc.Semantics that return ValueDeclIdentifier | |
ValueDeclIdentifier |
ValueTableEntry.getValueDeclIdentifier()
return identifier of entry |
Methods in fmrisc.Semantics with parameters of type ValueDeclIdentifier | |
boolean |
Environment.putValue(ValueDeclIdentifier name,
Type type,
Expression value)
put named value in value table |
void |
Environment.put(ValueDeclIdentifier ident)
add the symbol table entry associated to ident to current environment |
boolean |
ValueTable.put(ValueDeclIdentifier name,
Type type,
Expression value,
int depth,
int varnum)
put named value in value table |
Constructors in fmrisc.Semantics with parameters of type ValueDeclIdentifier | |
ValueTableEntry(ValueDeclIdentifier ident)
construct value table entry from ident type and value are both null |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |