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

Packages that use ASTProgramAnnotated

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

Uses of ASTProgramAnnotated in fmrisc.ProgramExplorer.Syntax.Program

Subinterfaces of ASTProgramAnnotated in fmrisc.ProgramExplorer.Syntax.Program

Modifier and Type	Interface and Description
interface	CompilationUnit Interface to a compilation unit.
interface	LoopStatement The interface for loop statements
interface	ParamDeclaration The interface to declarations with parameters
interface	ProgramDeclaration Interface to a program declaration.
interface	Statement An interface to program statements
interface	TopDeclaration The interface to declarations.

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

Modifier and Type	Class and Description
class	AssertionStatement An assertion statement.
class	AssignCallStatement A method call statement with a result value assigned to a variable.
class	AssignmentStatement An assignment statement.
class	AssignNewStatement A constructor call statement with the result value assigned to a variable.
class	ASTProgramAnnotatedBase Base class of abstract syntax trees that may have an annotation.
class	BlockStatement A block statement i.e.
class	BreakStatement A break statement.
class	CallStatement An method call statement.
class	ClassDeclaration A class declaration
class	ClassMethodDeclaration A class method declaration.
class	ClassVariableDeclaration A class variable declaration.
class	CompilationUnitBase Base class of a compilation unit.
class	ConditionalStatement A conditional statement with one or two branches.
class	ConstructorDeclaration A constructor declaration.
class	ContinueStatement A continue statement.
class	DeclarationBase The base class of declarations.
class	DeclCallStatement A method call statement with a result value initializing a local variable.
class	DeclNewStatement A constructor call statement with a result value initializing a local variable.
class	EmptyStatement An empty statement (skip).
class	ForLoopStatement A for loop.
class	GlobalVariableDeclaration A global variable declaration.
class	LoopStatementBase The base class for loop statements.
class	MethodDeclaration A method declaration.
class	ObjectMethodDeclaration An object method declaration.
class	ObjectVariableDeclaration An object variable declaration.
class	ParamDeclarationBase The base class for a declaration with parameters.
class	Parameter A parameter i.e.
class	ReturnStatement A return statement with an optional return value.
class	StatementBase The base class for statements.
class	ThrowStatement A throw (exception statement)
class	TopDeclarationBase A top-level declaration inside a class.
class	TryCatchStatement A protected code block.
class	VariableDeclarationBase The base class of declarations introducing variables with types.
class	VariableStatement A local variable declaration
class	VoidCallStatement A method call statement without a result value.
class	WhileLoopStatement A while loop.

Uses of ASTProgramAnnotated in fmrisc.ProgramExplorer.Syntax.Spec

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

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