Uses of Package
fmrisc.ProgramExplorer.Semantics

Packages that use fmrisc.ProgramExplorer.Semantics

Package	Description
fmrisc.ProgramExplorer
fmrisc.ProgramExplorer.InOut
fmrisc.ProgramExplorer.Judgements
fmrisc.ProgramExplorer.Proving
fmrisc.ProgramExplorer.SWT
fmrisc.ProgramExplorer.Semantics
fmrisc.ProgramExplorer.Syntax
fmrisc.ProgramExplorer.Syntax.Logic
fmrisc.ProgramExplorer.Syntax.Program
fmrisc.ProgramExplorer.Tasks

Classes in fmrisc.ProgramExplorer.Semantics used by fmrisc.ProgramExplorer

Class and Description
ClassSymbol A symbol denoting a class.
PackageSymbol A symbol denoting a value.
Symbol The interface to symbols.
TheorySymbol A symbol denoting a theory.

Classes in fmrisc.ProgramExplorer.Semantics used by fmrisc.ProgramExplorer.InOut

Class and Description
PackageSymbol A symbol denoting a value.
ParamSymbol A symbol denoting a parameterized entity.

Classes in fmrisc.ProgramExplorer.Semantics used by fmrisc.ProgramExplorer.Judgements

Class and Description
ClassSymbol A symbol denoting a class.
ParamSymbol A symbol denoting a parameterized entity.
TheorySymbol A symbol denoting a theory.
ValueSymbol A symbol denoting a logical value.
VariableSymbol The interface to a symbol denoting a variable.

Classes in fmrisc.ProgramExplorer.Semantics used by fmrisc.ProgramExplorer.Proving

Class and Description
ClassSymbol A symbol denoting a class.
Symbol The interface to symbols.
VariableSymbol The interface to a symbol denoting a variable.

Classes in fmrisc.ProgramExplorer.Semantics used by fmrisc.ProgramExplorer.SWT

Class and Description
ClassSymbol A symbol denoting a class.
PackageSymbol A symbol denoting a value.
ParamSymbol A symbol denoting a parameterized entity.
Symbol The interface to symbols.
TheorySymbol A symbol denoting a theory.

Classes in fmrisc.ProgramExplorer.Semantics used by fmrisc.ProgramExplorer.Semantics

Class and Description
AxiomSymbol A symbol denoting a logical axiom.
BodySymbol The symbol for a variable introduced in a method/constructor body.
ClassMethodSymbol A symbol denoting a class method.
ClassSymbol A symbol denoting a class.
ClassVariableSymbol A class value.
ConstructorSymbol A symbol denoting a class constructor.
Environment An environment giving meaning to identifiers.
FormulaSymbol A symbol denoting a logical formula.
GlobalSymbol The interface to a symbol that can be globally referenced.
GlobalSymbolBase The base class of a symbol that can be globally referenced.
GlobalVariableSymbolBase The base class of a variable symbol that can be externally referenced.
LocalVariableSymbolBase The base class for a variable symbol that can be only locally referenced.
LogicChecking Type-check a logical theory.
LogicEnvironment An environment giving meaning to identifiers in the logic context.
LogicTypeTable Make logic type expressions unique such that they can be compared by reference.
MethodSymbol A symbol denoting a method.
ObjectMethodSymbol A symbol denoting an object method.
ObjectVariableSymbol An object value.
PackageSymbol A symbol denoting a value.
ParameterSymbol The symbol for a method/constructor parameter.
ParamSymbol A symbol denoting a parameterized entity.
ParamSymbols A set of parameterized symbols.
ParamSymbolTable A table of parameterized symbols.
ReferenceCloner Clone an expression transforming all references to certain symbols.
Symbol The interface to symbols.
SymbolBase The base class of symbols.
SymbolTable A symbol table.
TCCGenerator A generator of type-checking conditions (tccs).
TheorySymbol A symbol denoting a theory.
ThisSymbol The symbol for "this" object in a non-static context.
TypeSymbol A symbol denoting a logical type.
TypeTable Make type expressions unique such that they can be compared by reference.
TypeTranslator Translate program types to logical types.
ValueSymbol A symbol denoting a logical value.
VariableSymbol The interface to a symbol denoting a variable.
VariableSymbolBase A symbol denoting a variable.

Classes in fmrisc.ProgramExplorer.Semantics used by fmrisc.ProgramExplorer.Syntax

Class and Description
ClassSymbol A symbol denoting a class.
Symbol The interface to symbols.
TheorySymbol A symbol denoting a theory.
VariableSymbol The interface to a symbol denoting a variable.

Classes in fmrisc.ProgramExplorer.Semantics used by fmrisc.ProgramExplorer.Syntax.Logic

Class and Description
AxiomSymbol A symbol denoting a logical axiom.
FormulaSymbol A symbol denoting a logical formula.
TypeSymbol A symbol denoting a logical type.
ValueSymbol A symbol denoting a logical value.

Classes in fmrisc.ProgramExplorer.Semantics used by fmrisc.ProgramExplorer.Syntax.Program

Class and Description
ClassSymbol A symbol denoting a class.
ParamSymbol A symbol denoting a parameterized entity.

Classes in fmrisc.ProgramExplorer.Semantics used by fmrisc.ProgramExplorer.Tasks

Class and Description
ClassSymbol A symbol denoting a class.
ParamSymbol A symbol denoting a parameterized entity.
Symbol The interface to symbols.
TheorySymbol A symbol denoting a theory.
VariableSymbol The interface to a symbol denoting a variable.