A B C D E F G H I J L M N O P Q R S T U V W

A

addChild(JacarandaTree, Sets<String>, int) - Method in class org.jacaranda.verifier.JacarandaTree
A convention is used to present attribution rules more concisely, by making computation of "boilerplate" values for attributes implicit: If a production has exactly one child node in the AST, then its boilerplate attribute values are given by the attributes of that child.
addChild(Object, Object) - Method in class org.jacaranda.verifier.JacarandaTreeAdaptor
 

B

becomeRoot(Object, Object) - Method in class org.jacaranda.verifier.JacarandaTreeAdaptor
 

C

CDATA - Static variable in class org.jacaranda.verifier.ErrorRecord
A CDATA error indicates code that might be misinterpreted as an end-of-CDATA marker.
charPositionInLine - Variable in class org.jacaranda.verifier.ErrorRecord
The char index of the error from the start of the line.
clone(Set<E>) - Method in class org.jacaranda.verifier.Sets
Return a clone of A, that will not be consumed if A is.
column - Variable in class org.jacaranda.verifier.ErrorRecord
The column number of the error (1-based).
column - Variable in class org.jacaranda.verifier.JacarandaToken
 
consume() - Method in class org.jacaranda.verifier.JacarandaFilterStream
Consume the next char.
consume() - Method in class org.jacaranda.verifier.JacarandaTokenStream
 
copyFrom(JacarandaTree) - Method in class org.jacaranda.verifier.JacarandaTree
 
create(Token) - Method in class org.jacaranda.verifier.JacarandaTreeAdaptor
 
createToken(int, String) - Method in class org.jacaranda.verifier.JacarandaTreeAdaptor
 
createToken(Token) - Method in class org.jacaranda.verifier.JacarandaTreeAdaptor
 

D

debugLevel() - Method in class org.jacaranda.verifier.PrintReporter
 
debugLevel() - Method in class org.jacaranda.verifier.Reporter
Return the debug level (0 to 9).
difference(boolean, Set<E>, Set<E>) - Method in class org.jacaranda.verifier.Sets
Return A \ B.
done(boolean, Throwable, Tree) - Method in class org.jacaranda.verifier.PrintReporter
 
done(boolean, Throwable, Tree) - Method in class org.jacaranda.verifier.Reporter
Reports that the verification completed.
dupNode(Object) - Method in class org.jacaranda.verifier.JacarandaTreeAdaptor
 

E

empty - Variable in class org.jacaranda.verifier.Sets
An empty set.
ENTITY - Static variable in class org.jacaranda.verifier.ErrorRecord
An ENTITY error indicates code that might be misinterpreted as an HTML/XML character entity.
eof - Variable in class org.jacaranda.verifier.JacarandaTokenStream
true iff the 'tokens' list contains all tokens up to EOF.
error(Exception, int, int, int, String, int, String, Class) - Method in class org.jacaranda.verifier.PrintReporter
 
error(Exception, int, int, int, String, int, String, Class) - Method in class org.jacaranda.verifier.Reporter
Reports an error at the given line and char-in-line.
errorNode(TokenStream, Token, Token, RecognitionException) - Method in class org.jacaranda.verifier.JacarandaTreeAdaptor
 
ErrorRecord - Class in org.jacaranda.verifier
A record that holds the type and position of a filter error (see the FILTER_CDATA rule of the Jacaranda specification).
ErrorRecord(String, int, int, int, int) - Constructor for class org.jacaranda.verifier.ErrorRecord
Construct an ErrorRecord with given type and position information.
escape(int) - Static method in class org.jacaranda.verifier.Strings
Return an escape (using \{t,n,r,\,",uHHHH}) for the code unit c.
eval(String, Object) - Method in class org.jacaranda.rhino.Rhino
 
eval(String, Object) - Method in interface org.jacaranda.verifier.JSInterpreter
 

F

FatalException - Exception in org.jacaranda.verifier
Exception thrown due to a fatal verification error.
FatalException(String, Throwable) - Constructor for exception org.jacaranda.verifier.FatalException
Construct a FatalException that was caused by a prior exception.
FatalException(String) - Constructor for exception org.jacaranda.verifier.FatalException
Construct a FatalException that was not caused by any specific prior exception.
fillBuffer() - Method in class org.jacaranda.verifier.JacarandaTokenStream
 
flags - Variable in class org.jacaranda.verifier.JacarandaToken
 
fromArray(E[]) - Method in class org.jacaranda.verifier.Sets
Return a set containing all elements of the given array.

G

get(int) - Method in class org.jacaranda.verifier.JacarandaTokenStream
 
getColumn() - Method in class org.jacaranda.verifier.JacarandaFilterStream
Obtain the current column position.
getColumn() - Method in class org.jacaranda.verifier.JacarandaToken
 
getLocalizedMessage() - Method in exception org.jacaranda.verifier.VerificationException
 
getMaxSnippetLength() - Method in class org.jacaranda.verifier.Reporter
Maximum length in code units of a source snippet, default 100.
getMessage() - Method in exception org.jacaranda.verifier.VerificationException
 
getOriginalText() - Method in class org.jacaranda.verifier.JacarandaToken
 
getRuleInvocationStack(Throwable, Class) - Method in class org.jacaranda.verifier.Reporter
 
getTabStopColumns() - Method in class org.jacaranda.verifier.Reporter
Return the distance between tab stops in the source code, measured in columns.
getTokens(int, int, BitSet) - Method in class org.jacaranda.verifier.JacarandaTokenStream
 
getUniqueID(Object) - Method in class org.jacaranda.verifier.JacarandaTreeAdaptor
 

H

howMuchTree() - Method in class org.jacaranda.verifier.Reporter
Return NO_TREE, JUST_TREE, or TREE_WITH_ATTRIBUTES, depending on how much abstract syntax tree information is wanted.

I

in(E, Set<E>) - Method in class org.jacaranda.verifier.Sets
Return true iff x is an element of A.
index - Variable in class org.jacaranda.verifier.ErrorRecord
The char index of the error from the start of the input stream.
intersect(boolean, Set<E>, Set<E>) - Method in class org.jacaranda.verifier.Sets
Return A intersect B.
isEmpty(Set<E>) - Method in class org.jacaranda.verifier.Sets
Return true iff A is an empty set.
isIdentifierPart(int) - Static method in class org.jacaranda.verifier.Strings
Is c a valid IdentifierPart code unit in ES5?
isIdentifierStart(int) - Static method in class org.jacaranda.verifier.Strings
Is c a valid IdentifierStart code unit in ES5?
isPrintable(String) - Static method in class org.jacaranda.verifier.Strings
Does s consist only of printable ASCII code units (U+0020..U+007E)?

J

JacarandaFilterStream - Class in org.jacaranda.verifier
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 specification.
JacarandaFilterStream(String, int) - Constructor for class org.jacaranda.verifier.JacarandaFilterStream
Construct a JacarandaFilterStream that will take its input from the string 'source', and will use the given tab stop distance.
JacarandaFilterStream(char[], int, int) - Constructor for class org.jacaranda.verifier.JacarandaFilterStream
Construct a JacarandaFilterStream that will take its input from the first 'length' code units of array 'chars', and will use the given tab stop distance.
JacarandaToken - Class in org.jacaranda.verifier
An extension of CommonToken that holds lexer attribute values specific to Jacaranda.
JacarandaToken(CharStream, int, int, int, int) - Constructor for class org.jacaranda.verifier.JacarandaToken
 
JacarandaToken(int, String) - Constructor for class org.jacaranda.verifier.JacarandaToken
 
JacarandaToken(Token) - Constructor for class org.jacaranda.verifier.JacarandaToken
 
JacarandaTokenStream - Class in org.jacaranda.verifier
A subclass of TokenRewriteStream that allows rewinding to before a given token.
JacarandaTokenStream() - Constructor for class org.jacaranda.verifier.JacarandaTokenStream
 
JacarandaTokenStream(TokenSource) - Constructor for class org.jacaranda.verifier.JacarandaTokenStream
 
JacarandaTokenStream(TokenSource, int) - Constructor for class org.jacaranda.verifier.JacarandaTokenStream
 
JacarandaTree - Class in org.jacaranda.verifier
An extension of CommonTree that holds attribute values specific to Jacaranda.
JacarandaTree(Token, Sets<String>, int) - Constructor for class org.jacaranda.verifier.JacarandaTree
 
JacarandaTreeAdaptor - Class in org.jacaranda.verifier
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.
JacarandaTreeAdaptor(int) - Constructor for class org.jacaranda.verifier.JacarandaTreeAdaptor
 
JSInterpreter - Interface in org.jacaranda.verifier
How to invoke a JavaScript interpreter.
JUST_TREE - Static variable in class org.jacaranda.verifier.Reporter
 

L

LB(int) - Method in class org.jacaranda.verifier.JacarandaTokenStream
 
lex(String, boolean, int[], String[]) - Static method in class org.jacaranda.verifier.Test
Run a single lexer test.
lexRewrite(String, boolean, String, int[], String[]) - Static method in class org.jacaranda.verifier.Test
Run a single lexer test involving rewriting.
line - Variable in class org.jacaranda.verifier.ErrorRecord
The line number of the error (1-based).
LT(int) - Method in class org.jacaranda.verifier.JacarandaTokenStream
 

M

main(String[]) - Static method in class org.jacaranda.verifier.Test
Run all lexer and parser tests.
main(String[]) - Static method in class org.jacaranda.verifier.Verifier
 
main(String[]) - Static method in class org.jacaranda.verifier.VerifierApplet
Run the verifier applet as a GUI application.

N

nextError(int) - Method in class org.jacaranda.verifier.JacarandaFilterStream
If there is a queued error record for a position up to and including the given stopIndex, remove and return it.
nextErrorSoFar() - Method in class org.jacaranda.verifier.JacarandaFilterStream
If there is any queued error record, remove and return it.
NO_TREE - Static variable in class org.jacaranda.verifier.Reporter
 

O

org.jacaranda.rhino - package org.jacaranda.rhino
 
org.jacaranda.verifier - package org.jacaranda.verifier
 
originalText - Variable in class org.jacaranda.verifier.JacarandaToken
 

P

paint(Graphics) - Method in class org.jacaranda.verifier.VerifierApplet
 
parse(String, boolean, String, JacarandaParser.module_scope) - Static method in class org.jacaranda.verifier.Test
Run a single parser test.
parseRewrite(String, boolean, String, String, JacarandaParser.module_scope) - Static method in class org.jacaranda.verifier.Test
Run a single parser test involving rewriting.
PrintReporter - Class in org.jacaranda.verifier
A Reporter that prints error messages to a PrintWriter 'err', and the result message to a PrintWriter 'out'.
PrintReporter(PrintWriter, PrintWriter, int) - Constructor for class org.jacaranda.verifier.PrintReporter
 

Q

quote(String) - Static method in class org.jacaranda.verifier.Strings
Quote s as a valid Jacaranda, JSON, or Java double-quoted string literal, suitable for embedding in HTML or XML CDATA (but not outside CDATA).
quote(int) - Static method in class org.jacaranda.verifier.Strings
Quote code unit c as a valid Jacaranda, JSON, or Java double-quoted string literal, suitable for embedding in HTML or XML CDATA (but not outside CDATA).

R

Reporter - Class in org.jacaranda.verifier
 
Reporter() - Constructor for class org.jacaranda.verifier.Reporter
 
reportError(Exception, CharStream, BaseRecognizer) - Method in class org.jacaranda.verifier.Reporter
Call error(...) with information obtained from the exception, character stream, token, and lexer/parser.
rewindToToken(CommonToken) - Method in class org.jacaranda.verifier.JacarandaFilterStream
Rewind the current position to the start of the given token, so that the first char of that token will be consumed next.
rewindToToken(Token) - Method in class org.jacaranda.verifier.JacarandaTokenStream
Rewind the current position to the the given token.
rewrite(String) - Method in class org.jacaranda.verifier.JacarandaToken
 
Rhino - Class in org.jacaranda.rhino
How to invoke Rhino as a JavaScript interpreter.
Rhino() - Constructor for class org.jacaranda.rhino.Rhino
 
rulePostProcessing(Sets<String>, int) - Method in class org.jacaranda.verifier.JacarandaTree
If an AST with attributes is not needed as output, then after each child node is finished with, its non-empty set-valued attributes are replaced with a dummy Set object to reduce memory usage.
rulePostProcessing(Object) - Method in class org.jacaranda.verifier.JacarandaTreeAdaptor
 

S

seek(int) - Method in class org.jacaranda.verifier.JacarandaTokenStream
 
setChild(Object, Object) - Method in class org.jacaranda.verifier.JacarandaTreeAdaptor
 
setColumn(int) - Method in class org.jacaranda.verifier.JacarandaToken
 
setPositionFrom(Token) - Method in class org.jacaranda.verifier.JacarandaToken
 
Sets<E> - Class in org.jacaranda.verifier
Implementation of sets used by the lexer and parser.
Sets() - Constructor for class org.jacaranda.verifier.Sets
 
setType(int) - Method in class org.jacaranda.verifier.JacarandaTree
 
single(E) - Method in class org.jacaranda.verifier.Sets
Return a singleton set {x}.
size(Set<E>) - Method in class org.jacaranda.verifier.Sets
Return the number of elements in A.
skipOffTokenChannels(int) - Method in class org.jacaranda.verifier.JacarandaTokenStream
 
skipOffTokenChannelsReverse(int) - Method in class org.jacaranda.verifier.JacarandaTokenStream
 
spaces - Variable in class org.jacaranda.verifier.Reporter
 
start() - Method in class org.jacaranda.verifier.VerifierApplet
 
Strings - Class in org.jacaranda.verifier
String utility functions.
Strings() - Constructor for class org.jacaranda.verifier.Strings
 
substring(int, int) - Method in class org.jacaranda.verifier.JacarandaFilterStream
 
SV - Variable in class org.jacaranda.verifier.JacarandaToken
 

T

TAG - Static variable in class org.jacaranda.verifier.ErrorRecord
A TAG error indicates code that might be misinterpreted as an HTML/XML end-tag or processing instruction.
Test - Class in org.jacaranda.verifier
Test suite (currently very incomplete).
testLexerAll() - Static method in class org.jacaranda.verifier.Test
Run all lexer tests.
testParserAll() - Static method in class org.jacaranda.verifier.Test
Run all parser tests.
toString() - Method in class org.jacaranda.verifier.ErrorRecord
 
toString() - Method in class org.jacaranda.verifier.JacarandaToken
 
toString(int, int) - Method in class org.jacaranda.verifier.JacarandaTokenStream
 
toStringTree() - Method in class org.jacaranda.verifier.JacarandaTree
 
TREE_WITH_ATTRIBUTES - Static variable in class org.jacaranda.verifier.Reporter
 
type - Variable in class org.jacaranda.verifier.ErrorRecord
The type of this ErrorRecord: ENTITY, TAG or CDATA.

U

undefined - Variable in class org.jacaranda.verifier.Sets
An undefined set that throws UnsupportedOperationException when used.
union(boolean, Set<E>, Set<E>) - Method in class org.jacaranda.verifier.Sets
Return A union B.
UNKNOWN_COLUMN - Static variable in class org.jacaranda.verifier.JacarandaToken
 

V

VerificationException - Exception in org.jacaranda.verifier
Exception thrown due to a verification error.
VerificationException(IntStream, String, Throwable) - Constructor for exception org.jacaranda.verifier.VerificationException
Construct a VerificationException that was caused by a prior exception.
VerificationException(IntStream, String) - Constructor for exception org.jacaranda.verifier.VerificationException
Construct a VerificationException that was not caused by any specific prior exception.
Verifier - Class in org.jacaranda.verifier
Main public interface to the verifier.
VerifierApplet - Class in org.jacaranda.verifier
A simple demonstration applet, also runnable as an application.
VerifierApplet(JSInterpreter) - Constructor for class org.jacaranda.verifier.VerifierApplet
 
VerifierApplet() - Constructor for class org.jacaranda.verifier.VerifierApplet
 
verify(Reader, Reporter) - Static method in class org.jacaranda.verifier.Verifier
Equivalent to verify(reader, -1, reporter, null, null).
verify(char[], Reporter) - Static method in class org.jacaranda.verifier.Verifier
Equivalent to verify(chars, -1, reporter, null, null).
verify(String, Reporter) - Static method in class org.jacaranda.verifier.Verifier
Equivalent to verify(source, reporter, null, null).
verify(Reader, int, Reporter, Appendable, Reporter) - Static method in class org.jacaranda.verifier.Verifier
Verifies whether source code from the given Reader represents a valid Jacaranda program.
verify(char[], int, Reporter, Appendable, Reporter) - Static method in class org.jacaranda.verifier.Verifier
Verifies whether given source code represents a valid Jacaranda program.
verify(String, Reporter, Appendable, Reporter) - Static method in class org.jacaranda.verifier.Verifier
Verifies whether given source code represents a valid Jacaranda program.

W

with(boolean, Set<E>, E) - Method in class org.jacaranda.verifier.Sets
Return A if x is null, or A union {x} if x is nonnull.
without(boolean, Set<E>, E) - Method in class org.jacaranda.verifier.Sets
Return A if x is null, or A \ {x} if x is nonnull.

A B C D E F G H I J L M N O P Q R S T U V W