Package | Description |
---|---|
fmrisc.ProgramExplorer.Syntax.Program | |
fmrisc.ProgramExplorer.Syntax.Spec |
Modifier and Type | Interface and Description |
---|---|
interface |
ASTProgramAnnotated
Interface to abstract syntax trees that may have an annotation.
|
interface |
CompilationUnit
Interface to a compilation unit.
|
interface |
Import
Interface to an import statement.
|
interface |
LoopStatement
The interface for loop statements
|
interface |
ParamDeclaration
The interface to declarations with parameters
|
interface |
ProgramAnnotation
Interface to a program annotation
|
interface |
ProgramDeclaration
Interface to a program declaration.
|
interface |
Selector
Interface to a component selector.
|
interface |
Statement
An interface to program statements
|
interface |
TopDeclaration
The interface to declarations.
|
interface |
TypeExpression
An interface to expressions denoting types.
|
interface |
ValueExpression
An interface to expressions denoting values.
|
Modifier and Type | Class and Description |
---|---|
class |
AndExpression
A logical conjunction.
|
class |
ArrayType
An array type
|
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 |
BinaryValueExpression
The base class of binary expressions denoting values.
|
class |
BlockStatement
A block statement i.e.
|
class |
BooleanLiteral
A Boolean literal.
|
class |
BooleanType
The type of truth values
|
class |
BreakStatement
A break statement.
|
class |
CallStatement
An method call statement.
|
class |
CharLiteral
A character literal.
|
class |
CharType
The type of character values
|
class |
ClassDeclaration
A class declaration
|
class |
ClassImport
Import of a single class.
|
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 |
DividesExpression
A quotient expression.
|
class |
EmptyStatement
An empty statement (skip).
|
class |
EqualsExpression
An equality.
|
class |
ExceptionType
The (base) type of exceptions.
|
class |
ForLoopStatement
A for loop.
|
class |
GlobalVariableDeclaration
A global variable declaration.
|
class |
GreaterEqualExpression
An is-greater-than-or-equal formula.
|
class |
GreaterExpression
An is-greater-than formula.
|
class |
IdentifierSelector
Component selection by name.
|
class |
ImportBase
Base class of import statements.
|
class |
IndexSelector
Component selection by index.
|
class |
IntLiteral
An integer literal.
|
class |
IntType
A machine integer type
|
class |
LessEqualExpression
An is-less-than-or-equal formula.
|
class |
LessExpression
An is-less-than formula.
|
class |
LoopStatementBase
The base class for loop statements.
|
class |
MessageSelector
Selection of a message from an exception.
|
class |
MethodDeclaration
A method declaration.
|
class |
MinusExpression
A difference expression.
|
class |
NamedType
A named (user-defined) type
|
class |
NegationExpression
An arithmetic negation expression.
|
class |
NewArrayExpression
Allocation of a new array.
|
class |
NewType
The type of a new object.
|
class |
NotEqualsExpression
An inequality.
|
class |
NotExpression
A logical negation.
|
class |
NullLiteral
A null literal (for objects/arrays/strings)
|
class |
NullType
The type of the literal "null"
|
class |
ObjectMethodDeclaration
An object method declaration.
|
class |
ObjectVariableDeclaration
An object variable declaration.
|
class |
OrExpression
A logical disjunction.
|
class |
PackageImport
Import of all classes of a package.
|
class |
ParamDeclarationBase
The base class for a declaration with parameters.
|
class |
Parameter
A parameter i.e.
|
class |
PercentExpression
A remainder expression.
|
class |
PlusExpression
A sum expression.
|
class |
PrimitiveType
A primitive (built-in) type
|
class |
ProgramAnnotationBase
A program annotation.
|
class |
ReturnStatement
A return statement with an optional return value.
|
class |
SelectorBase
Base class of a component selector.
|
class |
SelectorExpression
Selection of an object component
|
class |
StatementBase
The base class for statements.
|
class |
StringLiteral
A string literal.
|
class |
StringType
The type of character strings
|
class |
ThrowStatement
A throw (exception statement)
|
class |
TimesExpression
A product expression.
|
class |
TopDeclarationBase
A top-level declaration inside a class.
|
class |
TryCatchStatement
A protected code block.
|
class |
UnaryValueExpression
The base class of unary expressions denoting values.
|
class |
ValueExpressionBase
The base class of expressions denoting values.
|
class |
VariableDeclarationBase
The base class of declarations introducing variables with types.
|
class |
VariableStatement
A local variable declaration
|
class |
VariableValue
A variable denoting a value.
|
class |
VoidCallStatement
A method call statement without a result value.
|
class |
VoidType
The type with no values
|
class |
WhileLoopStatement
A while loop.
|
Modifier and Type | Interface and Description |
---|---|
interface |
Specification
The interface to specifications.
|
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 |
TheoryDeclaration
The declaration of a logical theory.
|
class |
UnitSpec
A unit specification.
|