Uses of Class
fmrisc.AST.Identifier

Packages that use Identifier
fmrisc.AST   
fmrisc.Semantics   
 

Uses of Identifier in fmrisc.AST
 

Subclasses of Identifier in fmrisc.AST
 class FormulaDeclIdentifier
          Handling of identifiers used in type declarations
 class Reference
          Handling of identifiers used in declarations
 class TypeDeclIdentifier
          Handling of identifiers used in type declarations
 class ValueDeclIdentifier
          Handling of identifiers used in value declarations
 

Methods in fmrisc.AST that return Identifier
 Identifier FormulaDeclaration.getIdentifier()
          returns declaration name
 Identifier Declaration.getIdentifier()
          returns declaration name
 Identifier TypeDeclaration.getIdentifier()
          returns declaration name
 Identifier ValueDeclaration.getIdentifier()
          returns declaration name
 

Uses of Identifier in fmrisc.Semantics
 

Methods in fmrisc.Semantics that return Identifier
 Identifier SymbolTableEntryBase.getIdentifier()
          get identifier associated to symbol table entry
 Identifier SymbolTableEntry.getIdentifier()
          get identifier associated to symbol table entry
 

Methods in fmrisc.Semantics with parameters of type Identifier
 FormulaTableEntry FormulaTable.getEntry(Identifier name)
          returns entry associated to name (null, if none)
 Expression FormulaTable.getFormula(Identifier key)
          returns formula associated to key
 TypeTableEntry Environment.getTypeTableEntry(Identifier name)
          returns type table entry associated to key
 Type Environment.getType(Identifier name)
          returns canonical type associated to key type equality implies pointer equality of types.
 ValueTableEntry Environment.getValueTableEntry(Identifier name)
          returns entry associated to name (null, if none)
 FormulaTableEntry Environment.getFormulaTableEntry(Identifier name)
          returns entry associated to name (null, if none)
 ValueTableEntry ValueTable.getEntry(Identifier name)
          returns entry associated to name (null, if none)
 TypeTableEntry TypeTable.getEntry(Identifier name)
          returns entry associated to name (null, if none)
 Type TypeTable.getType(Identifier key)
          returns canonical type associated to key type equality implies pointer equality of types.
 

Constructors in fmrisc.Semantics with parameters of type Identifier
SymbolTableEntryBase(Identifier ident)
          construct symbol table entry with given identifier