Uses of Class
fmrisc.ProgramExplorer.Syntax.ASTSourceBase

Packages that use ASTSourceBase

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

Uses of ASTSourceBase in fmrisc.ProgramExplorer.Syntax

Subclasses of ASTSourceBase in fmrisc.ProgramExplorer.Syntax

Modifier and Type	Class and Description
class	Identifier A simple (unstructured) identifier.

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

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

Uses of ASTSourceBase in fmrisc.ProgramExplorer.Syntax.Program

Subclasses of ASTSourceBase in fmrisc.ProgramExplorer.Syntax.Program

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	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	Handler An exception handler.
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 ASTSourceBase in fmrisc.ProgramExplorer.Syntax.Spec

Subclasses of ASTSourceBase in fmrisc.ProgramExplorer.Syntax.Spec

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