fmrisc.Semantics
Class FormulaTableEntry

java.lang.Object
  extended byfmrisc.Semantics.SymbolTableEntryBase
      extended byfmrisc.Semantics.FormulaTableEntry
All Implemented Interfaces:
SymbolTableEntry

public final class FormulaTableEntry
extends SymbolTableEntryBase

Entries in FormulaTable.


Constructor Summary
FormulaTableEntry(FormulaDeclIdentifier ident)
          construct formula table entry from ident (type is set to null)
 
Method Summary
 Environment getEnvironment()
          return environment of entry (up to the point where the entry was decld)
 Expression getFormula()
          return formula of entry
 FormulaDeclIdentifier getFormulaDeclIdentifier()
          return identifier of entry
 void setEnvironment(Environment env)
          set environment of entry (up to the point where the entry was decld)
 void setFormula(Expression formula)
          set formula of entry
 
Methods inherited from class fmrisc.Semantics.SymbolTableEntryBase
getIdentifier
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FormulaTableEntry

public FormulaTableEntry(FormulaDeclIdentifier ident)
construct formula table entry from ident (type is set to null)

Parameters:
ident - the identifier of the entry
Method Detail

getFormulaDeclIdentifier

public FormulaDeclIdentifier getFormulaDeclIdentifier()
return identifier of entry

Returns:
the entry identifier

getFormula

public Expression getFormula()
return formula of entry

Returns:
the entry formula

setFormula

public void setFormula(Expression formula)
set formula of entry

Parameters:
formula - the entry formula

getEnvironment

public Environment getEnvironment()
return environment of entry (up to the point where the entry was decld)

Returns:
the entry environment

setEnvironment

public void setEnvironment(Environment env)
set environment of entry (up to the point where the entry was decld)

Parameters:
env - the entry environment