Uses of Class
fmrisc.ProgramExplorer.Syntax.Logic.TypeDeclaration

Packages that use TypeDeclaration

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

Uses of TypeDeclaration in fmrisc.ProgramExplorer.Semantics

Methods in fmrisc.ProgramExplorer.Semantics that return TypeDeclaration

Modifier and Type	Method and Description
TypeDeclaration	TypeSymbol.getDeclaration() Get declaration.

Methods in fmrisc.ProgramExplorer.Semantics with parameters of type TypeDeclaration

Modifier and Type	Method and Description
static TypeSymbol	TypeSymbol.construct(Identifier name, Type type, TypeDeclaration decl) Construct type symbol.
TypeSymbol	LogicEnvironment.putType(Identifier name, Type type, TypeDeclaration decl) Attempts to put type into type table.

Uses of TypeDeclaration in fmrisc.ProgramExplorer.Syntax

Methods in fmrisc.ProgramExplorer.Syntax with parameters of type TypeDeclaration

Modifier and Type	Method and Description
void	ASTVisitor.visit(TypeDeclaration tree)
void	ASTPrinter.visit(TypeDeclaration decl)
void	ASTCloner.visit(TypeDeclaration tree)
void	ASTVisitorBase.visit(TypeDeclaration tree)

Uses of TypeDeclaration in fmrisc.ProgramExplorer.Syntax.Logic

Subclasses of TypeDeclaration in fmrisc.ProgramExplorer.Syntax.Logic

Modifier and Type	Class and Description
class	TypeDefinition The definition of a type.

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

Modifier and Type	Method and Description
static TypeDeclaration	TypeDeclaration.construct(Identifier name) Create new declaration of a constant denoting a type.