Package | Description |
---|---|
fmrisc.ProgramExplorer.InOut | |
fmrisc.ProgramExplorer.Syntax | |
fmrisc.ProgramExplorer.Syntax.Logic |
Modifier and Type | Method and Description |
---|---|
void |
Breaks.visit(PostfixApplication exp) |
void |
PrettyPrinter.visit(PostfixApplication exp) |
void |
PrettyMathML.visit(PostfixApplication exp) |
Modifier and Type | Method and Description |
---|---|
void |
ASTVisitor.visit(PostfixApplication tree) |
void |
ASTPrinter.visit(PostfixApplication exp) |
void |
ASTVisitorBase.visit(PostfixApplication tree) |
Modifier and Type | Class and Description |
---|---|
class |
PostfixFormula
A postfix application of a predicate.
|
class |
PostfixTerm
A postfix application of a function
|
class |
StateBreaks
The statement that a state is "breaking".
|
class |
StateContinues
The statement that a state is "continuing".
|
class |
StateExecutes
The statement that a state is "executing".
|
class |
StateMessage
The exception message captured by a state.
|
class |
StateReturns
The statement that a state is "returning".
|
class |
StateThrows
The statement that a state is "throwing".
|
class |
StateThrowsException
The statement that a state throws a particular exception.
|
class |
StateValue
A reference to the return value captured by the current state.
|