| Interface | Description |
|---|---|
| PositionPrinter |
PositionPrinters are used to determine the source position of an AST node and
to print that information as a Prolog term.
|
| Class | Description |
|---|---|
| ASTProlog |
This class defines the output of a B machine as a prolog term.
|
| ClassicalPositionPrinter | |
| MachineReference | |
| NodeIdAssignment |
This class implements functionality to assign identifiers to all nodes in a
syntax tree.
|
| OffsetPositionPrinter | |
| PrologExceptionPrinter |
Just a helper class to print exceptions in Prolog-Syntax.
|
| RecursiveMachineLoader |
This class implements the functionality to load and parse all machines that
are referenced in any other loaded machine.
|
| ReferencedMachines |
This class finds all references to external machines in a machine definition.
|