Package | Description |
---|---|
fmrisc.ProgramExplorer.Syntax | |
fmrisc.ProgramExplorer.Syntax.Program | |
fmrisc.ProgramExplorer.Syntax.Spec |
Modifier and Type | Method and Description |
---|---|
void |
ASTVisitor.visit(DeclarationBase tree) |
void |
ASTVisitorBase.visit(DeclarationBase tree) |
Modifier and Type | Class and Description |
---|---|
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 |
ConstructorDeclaration
A constructor declaration.
|
class |
GlobalVariableDeclaration
A global variable declaration.
|
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 |
TopDeclarationBase
A top-level declaration inside a class.
|
class |
VariableDeclarationBase
The base class of declarations introducing variables with types.
|
class |
VariableStatement
A local variable declaration
|
Modifier and Type | Class and Description |
---|---|
class |
TheoryDeclaration
The declaration of a logical theory.
|