Uses of Class
fmrisc.ProofNavigator.Semantics.TypeSymbol

Packages that use TypeSymbol

Package	Description
fmrisc.ProofNavigator.Semantics
fmrisc.ProofNavigator.Syntax

Uses of TypeSymbol in fmrisc.ProofNavigator.Semantics

Methods in fmrisc.ProofNavigator.Semantics that return TypeSymbol

Modifier and Type	Method and Description
TypeSymbol	TypeTable.getSymbol(Identifier name) returns symbol associated to name (null, if none)
TypeSymbol	Environment.getTypeSymbol(Identifier name) returns type symbol associated to key
TypeSymbol	TypeTable.put(TypeDeclIdentifier key, Type type) put type in type table
TypeSymbol	Environment.putType(TypeDeclIdentifier name, Type type) put type in type table
TypeSymbol	Environment.putTypeDeclaration(TypeDeclaration tdecl) put type declaration into environment

Methods in fmrisc.ProofNavigator.Semantics with parameters of type TypeSymbol

Modifier and Type	Method and Description
void	TypeSymbol.instantiate(TypeSymbol symbol) Instantiate symbol with copy of denoted symbol.

Uses of TypeSymbol in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return TypeSymbol

Modifier and Type	Method and Description
TypeSymbol	TypeDeclIdentifier.getSymbol() returns type symbol