Uses of Class
fmrisc.AST.ValueDeclIdentifier

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