Uses of Interface
org.multijava.util.compiler.TroubleReporter

Packages that use TroubleReporter

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.
org.multijava.util.compiler	Provides utilities and superclasses for the compilers in MultiJava and the Java Modeling Language.

Uses of TroubleReporter in org.jmlspecs.checker

Classes in org.jmlspecs.checker that implement TroubleReporter

class

JmlParserUtility This class is derived from ...mjc.ParserUtility; its purpose is to supply a different JavadocParser than the one in org.multijava.mjc.

Fields in org.jmlspecs.checker declared as TroubleReporter

private TroubleReporter	JmlJDLexer.reporter Used to report warnings during lexing.
private TroubleReporter	JmlLexer.reporter Used to report warnings during lexing.
private TroubleReporter	JmlMLLexer.reporter Used to report warnings during lexing.
private TroubleReporter	JmlSLLexer.reporter Used to report warnings during lexing.

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

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)

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

Uses of TroubleReporter in org.multijava.mjc

Classes in org.multijava.mjc that implement TroubleReporter

(package private) static class	CTopLevel.CTopLevel$1
class	Main This class implements the entry point of the MultiJava compiler.
class	ParserUtility This class is delegated to my the parser classes and provides a place to encapsulate the utility methods of those classes.
protected static class	TestMjcParser.TestCompiler
(package private) static class	TestParsingController.TestParsingController$1

Fields in org.multijava.mjc declared as TroubleReporter

private static TroubleReporter	TestParsingController.SIMPLE_REPORTER
private TroubleReporter	MjcLexer.reporter Used to report warnings during lexing.

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

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

Uses of TroubleReporter in org.multijava.util.compiler

Classes in org.multijava.util.compiler that implement TroubleReporter

class

Compiler This class defines the common behaviour of all KOPI compilers.