Uses of Class
fmrisc.ProgramExplorer.Semantics.TypeSymbol

Packages that use TypeSymbol

Package	Description
fmrisc.ProgramExplorer.Semantics
fmrisc.ProgramExplorer.Syntax.Logic

Uses of TypeSymbol in fmrisc.ProgramExplorer.Semantics

Methods in fmrisc.ProgramExplorer.Semantics that return TypeSymbol

Modifier and Type	Method and Description
static TypeSymbol	TypeSymbol.construct(Identifier name, Type type, TypeDeclaration decl) Construct type symbol.
TypeSymbol	LogicEnvironment.getTypeSymbol(Identifier name) Returns type symbol associated to name.
TypeSymbol	LogicEnvironment.getTypeSymbol(Reference ref) Get type denoted by reference in current environment
TypeSymbol	LogicEnvironment.putType(Identifier name, Type type, TypeDeclaration decl) Attempts to put type into type table.

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

Modifier and Type	Method and Description
SymbolTable<TypeSymbol>	TheorySymbol.getTypes() Get set of types of this theory.
java.util.Collection<TypeSymbol>	LogicEnvironment.getTypeSymbols() Get all type symbols.

Uses of TypeSymbol in fmrisc.ProgramExplorer.Syntax.Logic

Methods in fmrisc.ProgramExplorer.Syntax.Logic that return TypeSymbol

Modifier and Type	Method and Description
TypeSymbol	TypeDeclaration.getSymbol() Get symbol introduced by declaration.