Uses of Class
fmrisc.Syntax.TypeDeclaration

Packages that use TypeDeclaration

fmrisc.Proving.CVCL
fmrisc.Semantics
fmrisc.Syntax

Uses of TypeDeclaration in fmrisc.Proving.CVCL

Methods in fmrisc.Proving.CVCL that return TypeDeclaration

TypeDeclaration	CVCLParser.tdeclaration()
TypeDeclaration	CVCLParser.tdeclaration0()

Uses of TypeDeclaration in fmrisc.Semantics

Methods in fmrisc.Semantics with parameters of type TypeDeclaration

TypeSymbol

Environment.putTypeDeclaration(TypeDeclaration tdecl) put type declaration into environment

Uses of TypeDeclaration in fmrisc.Syntax

Methods in fmrisc.Syntax that return TypeDeclaration

TypeDeclaration[]	LetType.getDeclarations() get declarations
TypeDeclaration	TypeDeclaration.instantiate() create instantiated copy of declaration
static TypeDeclaration[]	ASTUtil.toTypeDeclarationArray(java.util.Vector v) converts vector v of TypeDeclaration objects to TypeDeclaration array
static TypeDeclaration	Construct.typeDeclaration(TypeDeclIdentifier name, Type type) construct type declaration with denoted name and type.

Methods in fmrisc.Syntax with parameters of type TypeDeclaration

static LetType

Construct.letType(TypeDeclaration[] declarations, Type base) construct let type of declarations and base type

Constructors in fmrisc.Syntax with parameters of type TypeDeclaration

LetType(TypeDeclaration[] declarations, Type base)
Construct let types of declarations and base types.