Uses of Class
org.multijava.mjc.ParsingController

Packages that use ParsingController

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of ParsingController in org.jmlspecs.checker

Fields in org.jmlspecs.checker declared as ParsingController

private ParsingController	JavadocJmlLexer.parsingController Used to switch lexers.
private ParsingController	JmlJDLexer.parsingController Used to switch lexers for nested languages (i.e., javadoc).
private ParsingController	JmlLexer.parsingController Used to switch lexers for nested languages (i.e., javadoc).
private ParsingController	JmlMLLexer.parsingController Used to switch lexers for nested languages (i.e., javadoc).
private ParsingController	JmlSLLexer.parsingController Used to switch lexers for nested languages (i.e., javadoc).
private ParsingController	TestJmlParser.Helper.parsingController

Constructors in org.jmlspecs.checker with parameters of type ParsingController

JavadocJmlLexer(ParsingController parsingController)

JmlJDLexer(ParsingController parsingController, TokenStreamSelector lexingController, boolean allowJavaAssert, boolean allowResend, boolean allowUniverseKeywords, TroubleReporter reporter)

JmlLexer(ParsingController parsingController, TokenStreamSelector lexingController, boolean allowJavaAssert, boolean allowResend, boolean allowUniverseKeywords, TroubleReporter reporter)

JmlMLLexer(ParsingController parsingController, TokenStreamSelector lexingController, boolean allowJavaAssert, boolean allowResend, boolean allowUniverseKeywords, TroubleReporter reporter)

JmlParser(Main compiler, antlr.TokenStream lexer, ParsingController parsingController, boolean allowGeneric, boolean allowMultiJava, boolean allowRelaxedMultiJava, boolean allowUniverseKeywords)

JmlParser(Main compiler, antlr.TokenStream lexer, ParsingController parsingController, boolean allowGeneric, boolean allowMultiJava, boolean allowRelaxedMultiJava, boolean allowUniverseKeywords, boolean isRefinedCUnit)

JmlParserUtility(Main compiler, ParsingController parsingController, boolean allowGeneric, boolean allowMultiJava, boolean allowRelaxedMultiJava, boolean allowUniverseKeywords, boolean parseJavadocs)

JmlSLLexer(ParsingController parsingController, TokenStreamSelector lexingController, boolean allowJavaAssert, boolean allowResend, boolean allowUniverseKeywords, TroubleReporter reporter)

Uses of ParsingController in org.multijava.mjc

Fields in org.multijava.mjc declared as ParsingController

private ParsingController	TestParsingController.parsingController
protected ParsingController	ParserUtility.parsingController manages parsing of nested language features (like javadoc comments)
private static ParsingController	TestMjcParser.parsingController Used to switch lexers.
private ParsingController	JavadocLexer.parsingController Used to switch lexers.
private ParsingController	MjcLexer.parsingController Used to switch lexers.

Constructors in org.multijava.mjc with parameters of type ParsingController

ParserUtility(Main compiler, ParsingController parsingController, boolean allowGeneric, boolean allowMultiJava, boolean allowRelaxedMultiJava, boolean allowUniverseKeywords, boolean parseJavadocs)

JavadocLexer(ParsingController parsingController)

MjcLexer(ParsingController parsingController, boolean allowJavaAssert, boolean allowResend, boolean allowUniverseKeywords, TroubleReporter reporter)

MjcParser(Main compiler, antlr.TokenStream lexer, ParsingController parsingController, boolean allowGeneric, boolean allowMultiJava, boolean allowRelaxedMultiJava, boolean allowUniverseKeywords, boolean parseJavadocs)

ParsingController.FilteredTokenStream(ParsingController.IndexedTokenBuffer buffer)
Creates a new token stream reading from the given buffer.

ParsingController.StreamBufferPair(antlr.TokenStream stream)

ParsingController.IndexedTokenBuffer()
Creates a new empty token buffer.

ParsingController.IndexedTokenBuffer(LinkedList tokenBuffers)
Creates a blocked token buffer from the given list of token buffers.