Uses of Class
fmrisc.ProgramExplorer.Semantics.SymbolBase

Packages that use SymbolBase

Package	Description
fmrisc.ProgramExplorer.Semantics

Uses of SymbolBase in fmrisc.ProgramExplorer.Semantics

Subclasses of SymbolBase in fmrisc.ProgramExplorer.Semantics

Modifier and Type	Class and Description
class	AxiomSymbol A symbol denoting a logical axiom.
class	BodySymbol The symbol for a variable introduced in a method/constructor body.
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	LocalVariableSymbolBase The base class for a variable symbol that can be only locally 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	ParameterSymbol The symbol for a method/constructor parameter.
class	ParamSymbol A symbol denoting a parameterized entity.
class	TheorySymbol A symbol denoting a theory.
class	ThisSymbol The symbol for "this" object in a non-static context.
class	TypeSymbol A symbol denoting a logical type.
class	ValueSymbol A symbol denoting a logical value.
class	VariableSymbolBase A symbol denoting a variable.