Uses of Class
org.multijava.mjc.ParsingController.TokenWrapper

Packages that use ParsingController.TokenWrapper

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.TokenWrapper in org.jmlspecs.checker

Methods in org.jmlspecs.checker with parameters of type ParsingController.TokenWrapper

JStatement[]

JmlParser.jCompoundStatement(ParsingController.TokenWrapper declEnd)

Uses of ParsingController.TokenWrapper in org.multijava.mjc

Methods in org.multijava.mjc with parameters of type ParsingController.TokenWrapper

TokenReference	ParserUtility.buildTokenReference(ParsingController.TokenWrapper wrap) Constructs a token reference (i.e., a source code position marker) for annotating the abstract syntax tree.
JavadocComment	ParserUtility.getJavadocComment(ParsingController.TokenWrapper declStart) Supplies an AST for the javadoc style comment preceding the given token.
void	ParserUtility.flushJavadocTokensWithWarning(ParsingController.TokenWrapper index) Flushes the javadoc token buffer of all javadoc tokens preceding the given token.
void	ParserUtility.wrapIfEmptyNonNullWrapper(ParsingController.TokenWrapper wrapper, antlr.Token tok) If the given wrapper reference is non-null and the wrapper is empty then wrap the given token in the wrapper.
JStatement[]	MjcParser.jCompoundStatement(ParsingController.TokenWrapper declEnd)