||A record that holds the type and position of a filter error (see the FILTER_CDATA rule of the Jacaranda
||A subclass of ANTLRStringStream with the following customizations:
As each char is consumed, check whether it and the immediately
preceding chars violate the FILTER_CDATA rule of the Jacaranda
||An extension of CommonToken that holds lexer attribute values specific to Jacaranda.
||A subclass of TokenRewriteStream that allows rewinding to before a
||An extension of CommonTree that holds attribute values specific to Jacaranda.
||A very simple TreeAdaptor that tells ANTLR to use JacarandaTree
instead of CommonTree, and that delegates addition of children
and rule post-processing to JacarandaTree.
||A Reporter that prints error messages to a PrintWriter 'err', and the
result message to a PrintWriter 'out'.
||Implementation of sets used by the lexer and parser.
||String utility functions.
||Test suite (currently very incomplete).
||Main public interface to the verifier.
||A simple demonstration applet, also runnable as an application.