Uses of Interface
fmrisc.ProgramExplorer.Semantics.GlobalSymbol

Packages that use GlobalSymbol

Package	Description
fmrisc.ProgramExplorer.Semantics

Uses of GlobalSymbol in fmrisc.ProgramExplorer.Semantics

Classes in fmrisc.ProgramExplorer.Semantics that implement GlobalSymbol

Modifier and Type	Class and Description
class	AxiomSymbol A symbol denoting a logical axiom.
class	ClassMethodSymbol A symbol denoting a class method.
class	ClassSymbol A symbol denoting a class.
class	ClassVariableSymbol A class value.
class	ConstructorSymbol A symbol denoting a class constructor.
class	FormulaSymbol A symbol denoting a logical formula.
class	GlobalSymbolBase The base class of a symbol that can be globally referenced.
class	GlobalVariableSymbolBase The base class of a variable symbol that can be externally referenced.
class	MethodSymbol A symbol denoting a method.
class	ObjectMethodSymbol A symbol denoting an object method.
class	ObjectVariableSymbol An object value.
class	PackageSymbol A symbol denoting a value.
class	ParamSymbol A symbol denoting a parameterized entity.
class	TheorySymbol A symbol denoting a theory.

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

Constructor and Description
GlobalSymbolBase(GlobalSymbol container, Identifier name) Construct a symbol that can be externally referenced.