Uses of Class
fmrisc.ProgramExplorer.Syntax.Spec.ClassSpec

Packages that use ClassSpec

Package	Description
fmrisc.ProgramExplorer.Parser
fmrisc.ProgramExplorer.Syntax
fmrisc.ProgramExplorer.Syntax.Program
fmrisc.ProgramExplorer.Syntax.Spec

Uses of ClassSpec in fmrisc.ProgramExplorer.Parser

Methods in fmrisc.ProgramExplorer.Parser with parameters of type ClassSpec

Modifier and Type	Method and Description
void	SpecLangParser.classspec(ClassSpec spec)

Uses of ClassSpec in fmrisc.ProgramExplorer.Syntax

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

Modifier and Type	Method and Description
void	ASTVisitor.visit(ClassSpec tree)
void	ASTPrinter.visit(ClassSpec spec)
void	ASTVisitorBase.visit(ClassSpec tree)

Uses of ClassSpec in fmrisc.ProgramExplorer.Syntax.Program

Methods in fmrisc.ProgramExplorer.Syntax.Program that return ClassSpec

Modifier and Type	Method and Description
ClassSpec	ClassDeclaration.getClassSpec() Get class specification

Methods in fmrisc.ProgramExplorer.Syntax.Program with parameters of type ClassSpec

Modifier and Type	Method and Description
void	ClassDeclaration.setClassSpec(ClassSpec spec) Set class specification.

Uses of ClassSpec in fmrisc.ProgramExplorer.Syntax.Spec

Methods in fmrisc.ProgramExplorer.Syntax.Spec that return ClassSpec

Modifier and Type	Method and Description
static ClassSpec	ClassSpec.construct(java.lang.String text, ErrorStream error, SourcePosition pos) Construct class specification from denoted text.