fmrisc.ProgramExplorer.Semantics

Interfaces

• GlobalSymbol
• Symbol
• VariableSymbol

Classes

• AxiomSymbol
• BodySymbol
• Checking
• ClassMethodSymbol
• ClassSymbol
• ClassVariableSymbol
• ConstructorSymbol
• Environment
• FormulaSymbol
• FreeVariables
• GlobalSymbolBase
• GlobalVariableSymbolBase
• LocalVariableSymbolBase
• LogicChecking
• LogicEnvironment
• LogicTypeTable
• MethodSymbol
• NewVariables
• ObjectMethodSymbol
• ObjectVariableSymbol
• PackageSymbol
• ParameterSymbol
• ParamSymbol
• ParamSymbols
• ParamSymbolTable
• PostStateCloner
• PreStateCloner
• ReferenceCloner
• ReferencedExcs
• ReferencedUnits
• ReferencedVars
• SymbolBase
• SymbolTable
• TCCGenerator
• TheorySymbol
• ThisSymbol
• TypeCloner
• TypeSymbol
• TypeTable
• TypeTranslator
• UsedVariables
• ValueSymbol
• VariableSymbolBase
• VariableTypes