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

Packages that use TypeDefinition

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

Uses of TypeDefinition in fmrisc.ProgramExplorer.Syntax

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

Modifier and Type	Method and Description
void	ASTVisitor.visit(TypeDefinition tree)
void	ASTCloner.visit(TypeDefinition tree)
void	ASTVisitorBase.visit(TypeDefinition tree)

Uses of TypeDefinition in fmrisc.ProgramExplorer.Syntax.Logic

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

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