Package fmrisc.Semantics

Interface Summary

Symbol

Interface to symbols.

Class Summary

BoundVariables	Compute the variables bound within an expression.
Checking	type checking routines
Context	handling of formula contexts
Environment	The context that determines the meaning of identifiers.
FormulaSymbol	Entries in FormulaTable.
FormulaTable	Symbol table for formulas.
FreeVariables	Compute the free variables of an expression.
SymbolBase	Base class of symbols.
SymbolTable	Base class of symbol tables.
TypeExpression	Pair of type and exp.
TypeSymbol	Symbols in TypeTable.
TypeTable	Type table for type checking.
ValueSymbol	Symbols in ValueTable.
ValueTable	Value table for named value lookup.