Uses of Class
fmrisc.ProgramExplorer.Syntax.Program.CompilationUnitBase

Packages that use CompilationUnitBase

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

Uses of CompilationUnitBase in fmrisc.ProgramExplorer.Syntax

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

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

Uses of CompilationUnitBase in fmrisc.ProgramExplorer.Syntax.Program

Subclasses of CompilationUnitBase in fmrisc.ProgramExplorer.Syntax.Program

Modifier and Type	Class and Description
class	ClassDeclaration A class declaration

Uses of CompilationUnitBase in fmrisc.ProgramExplorer.Syntax.Spec

Subclasses of CompilationUnitBase in fmrisc.ProgramExplorer.Syntax.Spec

Modifier and Type	Class and Description
class	TheoryDeclaration The declaration of a logical theory.