| Interface | Description |
|---|---|
| SourcePosition |
A position in a source file.
|
| Class | Description |
|---|---|
| ASTPrinterHTML |
Print syntax tree for embedding in HTML documents.
|
| Breaks |
Compute line break information for pretty-printing abstract syntax trees.
|
| Breaks.Info |
The information compute for a syntax tree.
|
| ClassReader |
A reader of a class.
|
| CommandServer |
A server handling GUI actions.
|
| Directory |
The handling of directories.
|
| ErrorStream |
A stream for printing errors.
|
| Package |
Handling of packages.
|
| Presenter |
Interface to visual presentation of declarations and proof states.
|
| PrettyMathML |
Pretty-pinting abstract syntax trees in HTML/MathML.
|
| PrettyPrinter |
Printing abstract syntax trees with appropriate line breaks (old version).
|
| PropagatorCommand |
The command of propagating a formula through the body of a method.
|
| Source |
Handling of source files.
|
| SourceAnnotation |
An annotation of the source code.
|
| SourceAnnotationPosition |
An annotation position in a source file with a position inside the annotation.
|
| SourcePositionClass |
A position in a source file.
|
| StringSourcePosition |
A position within a text represented by a string.
|
| TheoryReader |
A reader of a theory.
|
| VirtualDirectory |
A virtual directory stored in memory rather than on disk.
|
| VirtualDirectoryServer |
A server handling HTTP requests to documents a virtual directory.
|