|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ValuedIdentifier | |
fmrisc.AST |
Uses of ValuedIdentifier in fmrisc.AST |
Methods in fmrisc.AST that return ValuedIdentifier | |
ValuedIdentifier |
ValuedIdentifier.instantiate()
return copy of AST with value references instantiated by the substitutions set in the corresponding declaration identifiers |
ValuedIdentifier[] |
RecordTerm.getBase()
returns base terms |
static ValuedIdentifier[] |
ASTUtil.toValuedIdentifierArray(java.util.Vector v)
converts vector v of ValuedIdentifer objects to ValuedIdentifier array |
static ValuedIdentifier |
Construct.valuedIdentifier(Reference identifier,
Expression value)
construct identifier with value from identifier and value. |
Methods in fmrisc.AST with parameters of type ValuedIdentifier | |
static RecordTerm |
Construct.recordTerm(ValuedIdentifier[] base)
construct record term of base terms |
Constructors in fmrisc.AST with parameters of type ValuedIdentifier | |
RecordTerm(ValuedIdentifier[] base)
construct record term |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |