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

Packages that use ModifierUtility

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.jmlspec	A tool that can generate or compare specification skeletons from Java source or class files.
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 ModifierUtility in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return ModifierUtility

ModifierUtility

JmlContext.modUtil() Returns the modifier utility for this.

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

Main(ModifierUtility modUtil)
Construct a JML compiler (an object of Main) that uses the given ModifierUtility.

Uses of ModifierUtility in org.jmlspecs.jmldoc.jmldoc_142

Constructors in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type ModifierUtility

Main(ModifierUtility modUtil)
Construct a JML compiler (an object of Main) that uses the given ModifierUtility.

Uses of ModifierUtility in org.jmlspecs.jmlrac

Classes in org.jmlspecs.jmlrac that implement ModifierUtility

class

JmlModifier A class providing utilities for operating on modifier bit masks.

Fields in org.jmlspecs.jmlrac declared as ModifierUtility

static ModifierUtility

Main.modUtil Default modifier utility to use.

Constructors in org.jmlspecs.jmlrac with parameters of type ModifierUtility

Main(ModifierUtility modUtil)
Constructs a JML RAC compiler with the given modifier utility, modUtil.

Uses of ModifierUtility in org.jmlspecs.jmlspec

Fields in org.jmlspecs.jmlspec declared as ModifierUtility

(package private) ModifierUtility

JspComparator.modutil

Constructors in org.jmlspecs.jmlspec with parameters of type ModifierUtility

JspPrettyPrinter(File file, ModifierUtility modUtil, JspOptions options, String originalName)
construct a pretty printer object for java code

Uses of ModifierUtility in org.multijava.mjc

Classes in org.multijava.mjc that implement ModifierUtility

class

CModifier This class provides utilities for operating on modifier bit masks.

Fields in org.multijava.mjc declared as ModifierUtility

protected ModifierUtility

MjcPrettyPrinter.modUtil

Methods in org.multijava.mjc that return ModifierUtility

abstract ModifierUtility	CContextType.modUtil() Returns the modifier utility for this.
ModifierUtility	CContext.modUtil() Returns the modifier utility for this.

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

Main(ModifierUtility modUtil)

TestMjcParser(String name, ModifierUtility modUtil)

MjcPrettyPrinter(Writer wr, ModifierUtility modUtil)
construct a pretty printer object for java code

MjcPrettyPrinter(String fileName, ModifierUtility modUtil)
construct a pretty printer object for java code

MjcPrettyPrinter(File file, ModifierUtility modUtil)
construct a pretty printer object for java code

TestMjcParser.TestCompiler(StringBuffer errorOut, ModifierUtility modUtil)

Uses of ModifierUtility in org.multijava.util.compiler

Fields in org.multijava.util.compiler declared as ModifierUtility

private ModifierUtility

Compiler.modUtil

Methods in org.multijava.util.compiler that return ModifierUtility

ModifierUtility

Compiler.modUtil()

Constructors in org.multijava.util.compiler with parameters of type ModifierUtility

Compiler(ModifierUtility modUtil)
Creates a new compiler instance.