Uses of Interface
fmrisc.ProgramExplorer.Syntax.Program.ProgramAnnotation

Packages that use ProgramAnnotation

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

Uses of ProgramAnnotation in fmrisc.ProgramExplorer.Syntax.Program

Classes in fmrisc.ProgramExplorer.Syntax.Program that implement ProgramAnnotation

Modifier and Type	Class and Description
class	ProgramAnnotationBase A program annotation.

Fields in fmrisc.ProgramExplorer.Syntax.Program declared as ProgramAnnotation

Modifier and Type	Field and Description
ProgramAnnotation	DeclarationBase.annotation

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

Modifier and Type	Method and Description
ProgramAnnotation	TopDeclarationBase.getAnnotation() Get the annotation for this item.
ProgramAnnotation	StatementBase.getAnnotation() Get the annotation for this item.
ProgramAnnotation	ASTProgramAnnotated.getAnnotation() Get the annotation for this item.
ProgramAnnotation	DeclarationBase.getAnnotation() Get the annotation for this item.
ProgramAnnotation	LoopStatementBase.getLoopAnnotation() Get the loop annotation for this item.
ProgramAnnotation	LoopStatement.getLoopAnnotation() Get the loop annotation for this item.

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

Modifier and Type	Method and Description
void	TopDeclarationBase.setAnnotation(ProgramAnnotation annotation) Set the annotation for this item.
void	StatementBase.setAnnotation(ProgramAnnotation annotation) Set the annotation for this item.
void	ASTProgramAnnotated.setAnnotation(ProgramAnnotation annotation) Set the annotation for this item.
void	DeclarationBase.setAnnotation(ProgramAnnotation annotation) Set the annotation for this item.
void	LoopStatementBase.setLoopAnnotation(ProgramAnnotation annotation) Set the loop annotation for this item.
void	ForLoopStatement.setLoopAnnotation(ProgramAnnotation annotation) Set the loop annotation for this item.
void	LoopStatement.setLoopAnnotation(ProgramAnnotation annotation) Set the loop annotation for this item.

Uses of ProgramAnnotation in fmrisc.ProgramExplorer.Syntax.Spec

Subinterfaces of ProgramAnnotation in fmrisc.ProgramExplorer.Syntax.Spec

Modifier and Type	Interface and Description
interface	Specification The interface to specifications.

Classes in fmrisc.ProgramExplorer.Syntax.Spec that implement ProgramAnnotation

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.