|
Class Summary |
| Context |
Context is used to store and build the parse tree. |
| JavaCharStream |
An implementation of interface CharStream, where the stream is assumed to
contain only ASCII characters (with java-like unicode escape processing). |
| LDouble |
|
| LInteger |
An integer from the parser. |
| LStruct |
Class has a functor (which can be FORALL or just any other name)
and arguments associated with it. |
| LSymbol |
A symbol is virtually everything: FORALL, <-, [], a and b in X[a->b], etc. |
| LTerm |
The abstract class all others extend. |
| LTermParser |
|
| LTermParserTokenManager |
|
| LVariable |
Everything that is uppercase is a variable. |
| PrintCallback |
Debugging implementation of Callback. |
| Token |
Describes the input token stream. |
| TripleTransform |
Translates LTerm program into a Triple program,
on a clause-by-clause basis to allow streaming
Triple program is org.semanicweb.triple.language |