|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectfmrisc.Semantics.SymbolTableEntryBase
fmrisc.Semantics.FormulaTableEntry
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 |
public FormulaTableEntry(FormulaDeclIdentifier ident)
ident
- the identifier of the entryMethod Detail |
public FormulaDeclIdentifier getFormulaDeclIdentifier()
public Expression getFormula()
public void setFormula(Expression formula)
formula
- the entry formulapublic Environment getEnvironment()
public void setEnvironment(Environment env)
env
- the entry environment
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |