Uses of Class
fmrisc.AST.ValuedIdentifier

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