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.
|
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.
|