Uses of Package
org.multijava.util.compiler

Packages that use org.multijava.util.compiler

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc.jmldoc_142
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.jmlspecs.jmlrac.qexpr	Translates JML quantified expressions into Java source code to evaluate them at runtime.
org.jmlspecs.jmlspec	A tool that can generate or compare specification skeletons from Java source or class files.
org.jmlspecs.jmlunit	Generates JUnit test classes from JML specifications.
org.jmlspecs.racwrap
org.jmlspecs.util.dis
org.multijava.dis
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.
org.multijava.util.testing	Provides JUnit testing utilities for all of the parts of MultiJava and the Java Modeling Language.

Classes in org.multijava.util.compiler used by org.jmlspecs.checker

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

CToken

CWarning
This class represents warnings in the compiler error hierarchy

FastStringBuffer

JavaStyleComment
A simple character constant

ModifierUtility
This type provides utilities for operating on modifier bit masks.

Phylum
This class represents the root class for all elements of the parsing tree

PhylumType
This is the common supertype for all elements of the parsing tree.

PositionedError
This class is the root class for all compiler errors with a reference to the source text.

TokenReference
This class defines objets that hold a reference to a file and a position in the file.

TroubleReporter
This interface is implemented by classes that are able to accept PositionedErrors issued by the tools.

UnpositionedError
This class is the root class for all compiler errors without a reference to the source text.

WarningFilter
This interface filters warning

Classes in org.multijava.util.compiler used by org.jmlspecs.jmldoc.jmldoc_142

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

Classes in org.multijava.util.compiler used by org.jmlspecs.jmlrac

CWarning
This class represents warnings in the compiler error hierarchy

ModifierUtility
This type provides utilities for operating on modifier bit masks.

Phylum
This class represents the root class for all elements of the parsing tree

PhylumType
This is the common supertype for all elements of the parsing tree.

TabbedPrintWriter
This class implements a tabbed print writer

TokenReference
This class defines objets that hold a reference to a file and a position in the file.

WarningFilter
This interface filters warning

Classes in org.multijava.util.compiler used by org.jmlspecs.jmlrac.qexpr

TokenReference
This class defines objets that hold a reference to a file and a position in the file.

Classes in org.multijava.util.compiler used by org.jmlspecs.jmlspec

ModifierUtility
This type provides utilities for operating on modifier bit masks.

Classes in org.multijava.util.compiler used by org.jmlspecs.jmlunit

TabbedPrintWriter
This class implements a tabbed print writer

Classes in org.multijava.util.compiler used by org.jmlspecs.racwrap

TabbedPrintWriter
This class implements a tabbed print writer

Classes in org.multijava.util.compiler used by org.jmlspecs.util.dis

UnpositionedError
This class is the root class for all compiler errors without a reference to the source text.

Classes in org.multijava.util.compiler used by org.multijava.dis

UnpositionedError
This class is the root class for all compiler errors without a reference to the source text.

Classes in org.multijava.util.compiler used by org.multijava.mjc

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

CToken

CWarning
This class represents warnings in the compiler error hierarchy

FastStringBuffer

JavaStyleComment
A simple character constant

ModifierUtility
This type provides utilities for operating on modifier bit masks.

Phylum
This class represents the root class for all elements of the parsing tree

PhylumType
This is the common supertype for all elements of the parsing tree.

PositionedError
This class is the root class for all compiler errors with a reference to the source text.

TabbedPrintWriter
This class implements a tabbed print writer

TokenReference
This class defines objets that hold a reference to a file and a position in the file.

TroubleReporter
This interface is implemented by classes that are able to accept PositionedErrors issued by the tools.

UnpositionedError
This class is the root class for all compiler errors without a reference to the source text.

WarningFilter
This interface filters warning

Classes in org.multijava.util.compiler used by org.multijava.util.compiler

CToken

CToken.LookupToken

CWarning
This class represents warnings in the compiler error hierarchy

JavaStyleComment
A simple character constant

ModifierUtility
This type provides utilities for operating on modifier bit masks.

PhylumType
This is the common supertype for all elements of the parsing tree.

PositionedError
This class is the root class for all compiler errors with a reference to the source text.

TokenReference
This class defines objets that hold a reference to a file and a position in the file.

TroubleReporter
This interface is implemented by classes that are able to accept PositionedErrors issued by the tools.

UnpositionedError
This class is the root class for all compiler errors without a reference to the source text.

Classes in org.multijava.util.compiler used by org.multijava.util.testing

TabbedPrintWriter
This class implements a tabbed print writer