Uses of Class
org.jmlspecs.checker.Main

Packages that use Main

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.

Uses of Main in org.jmlspecs.checker

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

Main.JmlParseTask(ArrayList infiles)

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

Main.JmlParseTask(File fileName, boolean isRefinedCUnit, Main.ExpectedResult expected)
Constructs a new parse task for a refined file.

Main.JmlTypecheckTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for checking the initializers in the given forest.

Main.JmlCheckAssignableTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for checking the assignable clauses of types in the given compilation units (trees).

Uses of Main in org.jmlspecs.jmlrac

Subclasses of Main in org.jmlspecs.jmlrac

class

Main A class implementing the entry point of the JML RAC compiler.