|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object fmrisc.Semantics.SymbolTable fmrisc.Semantics.FormulaTable
public final class FormulaTable
Symbol table for formulas.
Constructor Summary | |
---|---|
FormulaTable()
|
Method Summary | |
---|---|
FormulaTable |
cloneFormulaTable()
creates a clone of the symbol table, the clone is a shallow copy (the symbols in the table are not cloned) |
Expression |
getFormula(Identifier key)
returns formula associated to key |
FormulaSymbol |
getSymbol(Identifier name)
returns symbol associated to name (null, if none) |
FormulaSymbol |
put(FormulaDeclIdentifier key,
Expression formula,
boolean axiom,
Environment env)
put formula in formula table |
Methods inherited from class fmrisc.Semantics.SymbolTable |
---|
cloneTable, getSymbols |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public FormulaTable()
Method Detail |
---|
public FormulaTable cloneFormulaTable()
public FormulaSymbol put(FormulaDeclIdentifier key, Expression formula, boolean axiom, Environment env)
key
- the name of the formulaformula
- the formula associated to the nameaxiom
- true iff formula is axiomenv
- the environment in which the formula was declared
public FormulaSymbol getSymbol(Identifier name)
name
- the name
public Expression getFormula(Identifier key)
key
- the name of the formula
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |