Uses of Class
org.multijava.mjc.Main.Task

Packages that use Main.Task

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.jmlspecs.jmlunit	Generates JUnit test classes from JML specifications.
org.jmlspecs.racwrap
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of Main.Task in org.jmlspecs.checker

Subclasses of Main.Task in org.jmlspecs.checker

class	Main.JmlCheckAssignableTask A task for checking assignable clauses; this task has to be done after type checking of assignable clauses of the super types so the fields can be combined with those of the subtype (the subtype is the one whose code is being checked against the assignable clauses but the inherited assignable clauses need to be type checked first).
class	Main.JmlParseTask This class parses a group of files, given by filenames as strings, and generates a forest of ASTs.
class	Main.JmlTypecheckTask This class typechecks the source code.

Fields in org.jmlspecs.checker declared as Main.Task

private Main.Task

JmlCompilationUnit.task

Methods in org.jmlspecs.checker that return Main.Task

protected Main.Task	Main.createTaskAfter(Main.Task oldTask) This method uses the dynamic type of oldTask along with the command line options to determine what task to add to the task queue after the given task completes.
Main.Task	JmlCompilationUnit.getSuspendedTask()

Methods in org.jmlspecs.checker with parameters of type Main.Task

void	Main.catchUpTask(Main.Task task) This version of catchUp reactivates the given task.
protected boolean	Main.canStopSequenceBeforeAllPasses(Main.Task oldTask) Returns true if it is OK to abort processing of the given task before it has been processed through all compilation passes.
protected Main.Task	Main.createTaskAfter(Main.Task oldTask) This method uses the dynamic type of oldTask along with the command line options to determine what task to add to the task queue after the given task completes.
void	JmlCompilationUnit.setSuspendedTask(Main.Task task)

Uses of Main.Task in org.jmlspecs.jmldoc.jmldoc_142

Subclasses of Main.Task in org.jmlspecs.jmldoc.jmldoc_142

class	Main.JmlHtmlTask This class jmlizes java files for each listed java file.
class	Main.MjdocTask This class drives the generation of html files.

Methods in org.jmlspecs.jmldoc.jmldoc_142 that return Main.Task

protected Main.Task

Main.createTaskAfter(Main.Task oldTask)

Methods in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type Main.Task

protected Main.Task

Main.createTaskAfter(Main.Task oldTask)

Uses of Main.Task in org.jmlspecs.jmlrac

Subclasses of Main.Task in org.jmlspecs.jmlrac

class	Main.JavaParseTask A parser class for the seconding round compilation.
class	Main.JmlGenerateAssertionTask A task for generating runtime assertion checker (RAC) code.
class	Main.JmlPrettyPrintTask A task class for pretty-printing the trees in the AST forest.
class	Main.JmlWriteAssertionTask A task class for generating RAC code.

Methods in org.jmlspecs.jmlrac that return Main.Task

protected Main.Task

Main.createTaskAfter(Main.Task oldTask) Returns the next task to be performed after oldTask.

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

protected Main.Task

Main.createTaskAfter(Main.Task oldTask) Returns the next task to be performed after oldTask.

Uses of Main.Task in org.jmlspecs.jmlspec

Subclasses of Main.Task in org.jmlspecs.jmlspec

class	Main.JspBinaryPrinterTask
class	Main.JspCompareTask A task for generating specification skeletons.
class	Main.JspParseTask A task for generating specification skeletons.
class	Main.JspPrettyPrinterTask A task for generating specification skeletons.

Methods in org.jmlspecs.jmlspec that return Main.Task

protected Main.Task

Main.createTaskAfter(Main.Task oldTask) Adds JspPrettyPrinterTask or JspCompareTask after the regular parsing.

Methods in org.jmlspecs.jmlspec with parameters of type Main.Task

protected Main.Task

Main.createTaskAfter(Main.Task oldTask) Adds JspPrettyPrinterTask or JspCompareTask after the regular parsing.

Uses of Main.Task in org.jmlspecs.jmlunit

Subclasses of Main.Task in org.jmlspecs.jmlunit

class

Main.TestClassGenerationTask A task for generating JML/JUnit test oracle classes.

Methods in org.jmlspecs.jmlunit that return Main.Task

protected Main.Task

Main.createTaskAfter(Main.Task oldTask) Returns the next task to be added to the task queue after the given task, oldTask, completes.

Methods in org.jmlspecs.jmlunit with parameters of type Main.Task

protected Main.Task

Main.createTaskAfter(Main.Task oldTask) Returns the next task to be added to the task queue after the given task, oldTask, completes.

Uses of Main.Task in org.jmlspecs.racwrap

Subclasses of Main.Task in org.jmlspecs.racwrap

class	Main.CollateFilesTask CollateFilesTask is used to put all the source files into a list.
class	Main.PrintFactoryTask PrintFactoryTask actually also prints the static members of the class
class	Main.PrintInterfaceTask PrintInterfaceTask is used for outputting the interface for the input file.
class	Main.PrintOrigTask PrintOrigTask is used to print the modified original class
class	Main.PrintWrapperTask PrintWrapperTask is used to print the wrappers class

Methods in org.jmlspecs.racwrap that return Main.Task

protected Main.Task

Main.createTaskAfter(Main.Task oldTask) This method uses the type of oldTask and the command line options to sequence tasks.

Methods in org.jmlspecs.racwrap with parameters of type Main.Task

protected Main.Task

Main.createTaskAfter(Main.Task oldTask) This method uses the type of oldTask and the command line options to sequence tasks.

Uses of Main.Task in org.multijava.mjc

Subclasses of Main.Task in org.multijava.mjc

class	Main.CheckInitializerTask This class typechecks the initializers of the declarations in the source code.
class	Main.CheckInterfaceTask This class checks the interfaces of the declarations in the source code.
class	Main.ParseTask This class parses a group of files, given by filenames as strings, and generates a forest of ASTs.
class	Main.PreprocessTask This class preprocesses type and generic function imports and groups external methods.
class	Main.PrettyPrintTask This class pretty prints the trees in the AST forest.
class	Main.ResolveSpecializerTask This class resolves value specializer expressions to the compile-time constants they represent.
class	Main.ResolveTopMethodTask This class resolves the top methods of all method declarations.
class	Main.TranslateMJTask This class pretty prints the trees in the AST forest.
class	Main.TreeProcessingTask This class is subclasses by classes that represent tasks operating on a forest of ASTs.
class	Main.TypecheckTask This class typechecks the source code.

Methods in org.multijava.mjc that return Main.Task

Main.Task	Main.firstCheckingTask(JTypeDeclarationType decl) Generates the first task in the compilation sequence for an already formed AST.
protected Main.Task	Main.createTaskAfter(Main.Task oldTask) This method uses the dynamic type of oldTask along with the command line options to determine what task to add to the task queue after the given task completes.
Main.Task	Main.Task.setToMainSequenceID()

Methods in org.multijava.mjc with parameters of type Main.Task

protected Main.Task

Main.createTaskAfter(Main.Task oldTask) This method uses the dynamic type of oldTask along with the command line options to determine what task to add to the task queue after the given task completes.