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

Packages that use ProgramAnnotationBase

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

Uses of ProgramAnnotationBase in fmrisc.ProgramExplorer.Syntax

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

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

Uses of ProgramAnnotationBase in fmrisc.ProgramExplorer.Syntax.Program

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

Modifier and Type	Method and Description
ProgramAnnotationBase	ASTProgramAnnotatedBase.getAnnotation() Get the annotation for this item.

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

Modifier and Type	Method and Description
void	ASTProgramAnnotatedBase.setAnnotation(ProgramAnnotationBase annotation) Set the annotation for this item.

Uses of ProgramAnnotationBase in fmrisc.ProgramExplorer.Syntax.Spec

Subclasses of ProgramAnnotationBase in fmrisc.ProgramExplorer.Syntax.Spec

Modifier and Type	Class and Description
class	ClassSpec A class specification.
class	LoopSpec A loop specification.
class	MethodSpec A method specification.
class	SpecificationBase The base class of specifications.
class	StatementSpec A statement specification.
class	UnitSpec A unit specification.