Uses of Class
fmrisc.ProgramExplorer.Semantics.SymbolTable

Packages that use SymbolTable

Package	Description
fmrisc.ProgramExplorer.Semantics

Uses of SymbolTable in fmrisc.ProgramExplorer.Semantics

Methods in fmrisc.ProgramExplorer.Semantics that return SymbolTable

Modifier and Type	Method and Description
SymbolTable<ClassSymbol>	PackageSymbol.getClasses() Get set of classes held by package.
SymbolTable<ClassVariableSymbol>	Environment.getClassVariables() Get currently visible class variables.
SymbolTable<ClassVariableSymbol>	ClassSymbol.getClassVariables() Get set of class values of this class.
SymbolTable<FormulaSymbol>	TheorySymbol.getFormulas() Get set of formulas of this class.
SymbolTable<ObjectVariableSymbol>	Environment.getObjectVariables() Get currently visible object variables.
SymbolTable<ObjectVariableSymbol>	ClassSymbol.getObjectVariables() Get set of object values of this class.
SymbolTable<PackageSymbol>	PackageSymbol.getPackages() Get set of packages held by package.
SymbolTable<ParameterSymbol>	ParamSymbol.getParams() Get the method's parameter set.
SymbolTable<TheorySymbol>	PackageSymbol.getTheories() Get set of theories held by package.
SymbolTable<TypeSymbol>	TheorySymbol.getTypes() Get set of types of this theory.
SymbolTable<ValueSymbol>	TheorySymbol.getValues() Get set of values of this theory.

Methods in fmrisc.ProgramExplorer.Semantics with parameters of type SymbolTable

Modifier and Type	Method and Description
boolean	SymbolTable.add(SymbolTable<S> stable, boolean override, boolean skip) Add symbols from another table to this table.