Uses of Class
fmrisc.ProgramExplorer.Semantics.PackageSymbol

Packages that use PackageSymbol

Package	Description
fmrisc.ProgramExplorer
fmrisc.ProgramExplorer.InOut
fmrisc.ProgramExplorer.Semantics
fmrisc.ProgramExplorer.SWT

Uses of PackageSymbol in fmrisc.ProgramExplorer

Methods in fmrisc.ProgramExplorer that return PackageSymbol

Modifier and Type	Method and Description
static PackageSymbol	Main.processPackages() Process packages as denoted by user path.

Methods in fmrisc.ProgramExplorer with parameters of type PackageSymbol

Modifier and Type	Method and Description
static Symbol	Main.getUnit(PackageSymbol top, java.lang.String name, boolean theory) Get symbol of unit denoted by qualified name in top-level package.

Uses of PackageSymbol in fmrisc.ProgramExplorer.InOut

Methods in fmrisc.ProgramExplorer.InOut that return PackageSymbol

Modifier and Type	Method and Description
static PackageSymbol	Package.construct(java.io.File[] dirs, ErrorStream error, java.io.File wdir) Create a package handler.

Uses of PackageSymbol in fmrisc.ProgramExplorer.Semantics

Fields in fmrisc.ProgramExplorer.Semantics declared as PackageSymbol

Modifier and Type	Field and Description
PackageSymbol	LogicEnvironment.top

Methods in fmrisc.ProgramExplorer.Semantics that return PackageSymbol

Modifier and Type	Method and Description
PackageSymbol	TheorySymbol.getPackage() Get package of theory.
PackageSymbol	ClassSymbol.getPackage() Get package of class.
PackageSymbol	PackageSymbol.getPackage(Name name) Return symbol for package denoted by name in current package; an error message is printed if the lookup fails.
PackageSymbol	PackageSymbol.getPackage(Name name, boolean verbose) Return symbol for package denoted by name in current package.
PackageSymbol	PackageSymbol.getParent() Get parent package.
PackageSymbol	PackageSymbol.getTopPackage() Get top-level package of package

Methods in fmrisc.ProgramExplorer.Semantics that return types with arguments of type PackageSymbol

Modifier and Type	Method and Description
SymbolTable<PackageSymbol>	PackageSymbol.getPackages() Get set of packages held by package.
java.util.Collection<PackageSymbol>	PackageSymbol.getPackageSet() Get set of packages held by package as collection.

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

Modifier and Type	Method and Description
void	Environment.enterPackage(PackageSymbol psymbol) Enter from top-level the package level.
void	TypeTranslator.init(PackageSymbol top, ErrorStream error) Initialize type translator (which creates a base theory).
boolean	Environment.put(PackageSymbol symbol) Enter new package symbol into environment.
java.util.Vector<TheorySymbol>	LogicEnvironment.setTheories(PackageSymbol psymbol, TheorySymbol baseTheory, TheorySymbol classTheory, Import[] imports, Name[] tnames) Set in this environment the theories that may be referenced (ensuring that they are indeed read from file).

Constructors in fmrisc.ProgramExplorer.Semantics with parameters of type PackageSymbol

Constructor and Description
ClassSymbol(PackageSymbol psymbol, Identifier name, ClassReader reader) Construct class symbol.
Environment(PackageSymbol top, ErrorStream error) Create a new environment at top-level.
LogicEnvironment(PackageSymbol top, ErrorStream error) Create a new environment at top-level.
PackageSymbol(PackageSymbol parent, Identifier name, ErrorStream error) Construct symbol for subpackage of another package.
TheorySymbol(PackageSymbol psymbol, Identifier name, TheoryDeclaration decl, ErrorStream error) Construct theory symbol from declaration.
TheorySymbol(PackageSymbol psymbol, Identifier name, TheoryReader reader) Construct theory symbol from reader.

Uses of PackageSymbol in fmrisc.ProgramExplorer.SWT

Methods in fmrisc.ProgramExplorer.SWT that return PackageSymbol

Modifier and Type	Method and Description
PackageSymbol	TopWindow.getTopPackage() Get top package.

Methods in fmrisc.ProgramExplorer.SWT with parameters of type PackageSymbol

Modifier and Type	Method and Description
void	SymbolTree.redraw(PackageSymbol root) Redraw symbol structures.
void	TopWindow.redrawSymbolExplorer(PackageSymbol top) Redraw symbol explorer view for denoted package.