Uses of Class
org.multijava.mjc.ClassCreator

Packages that use ClassCreator

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

Subclasses of ClassCreator in org.jmlspecs.checker

class

JmlSigClassCreator A concrete class creator to create JML classes from bytecode files.

Methods in org.jmlspecs.checker that return ClassCreator

static ClassCreator

JmlSigClassCreator.getInstance() Returns the unique intance of this class.

Uses of ClassCreator in org.multijava.mjc

Fields in org.multijava.mjc declared as ClassCreator

private static ClassCreator

ClassCreator.theInstance The unique instance of this class.

Methods in org.multijava.mjc that return ClassCreator

static ClassCreator

ClassCreator.getInstance() Returns the unique intance of this class.

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

CBinaryClass(Main compiler, ClassInfo classInfo, ClassCreator creator, SignatureParser signatureparser)
Constructs a class export from file.