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

Packages that use Main.TreeProcessingTask

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

Subclasses of Main.TreeProcessingTask 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.JmlTypecheckTask This class typechecks the source code.

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

Subclasses of Main.TreeProcessingTask 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.

Uses of Main.TreeProcessingTask in org.jmlspecs.jmlrac

Subclasses of Main.TreeProcessingTask in org.jmlspecs.jmlrac

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.

Uses of Main.TreeProcessingTask in org.jmlspecs.jmlspec

Subclasses of Main.TreeProcessingTask in org.jmlspecs.jmlspec

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

Uses of Main.TreeProcessingTask in org.jmlspecs.jmlunit

Subclasses of Main.TreeProcessingTask in org.jmlspecs.jmlunit

class

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

Uses of Main.TreeProcessingTask in org.jmlspecs.racwrap

Subclasses of Main.TreeProcessingTask 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

Uses of Main.TreeProcessingTask in org.multijava.mjc

Subclasses of Main.TreeProcessingTask 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.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.TypecheckTask This class typechecks the source code.