Uses of Class
org.jmlspecs.jmlrac.Main

Packages that use Main

org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.jmlspecs.racwrap

Uses of Main in org.jmlspecs.jmlrac

Fields in org.jmlspecs.jmlrac declared as Main

private static Main

JmlRacGenerator.compiler The current compiler to be used for reporting warning messages.

Methods in org.jmlspecs.jmlrac with parameters of type Main

protected JmlRacGenerator

Main.createRacGenerator(RacOptions opt, Main main)

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

JmlRacGenerator(RacOptions opt, Main compiler)
Construct a JML RAC generator object

Main.JavaParseTask(ArrayList infiles)

Main.JavaParseTask(File fileName, Main.ExpectedResult expected)

Main.JmlPrettyPrintTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for pretty printer the trees in the given forest.

Main.JmlWriteAssertionTask(CompilerPassEnterable[] trees, Object sequenceID)

Main.JmlGenerateAssertionTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for generating runtime assertion code for the classes in the given.

Uses of Main in org.jmlspecs.racwrap

Subclasses of Main in org.jmlspecs.racwrap

class

Main This is the Main class for generating assertion code from JML specs that goes into wrappers, rather that inline.