Uses of Interface
org.multijava.mjc.Main.Trees

Packages that use Main.Trees

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

Classes in org.jmlspecs.checker that implement Main.Trees

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.

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

Classes in org.jmlspecs.jmldoc.jmldoc_142 that implement Main.Trees

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.Trees in org.jmlspecs.jmlrac

Classes in org.jmlspecs.jmlrac that implement Main.Trees

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.

Uses of Main.Trees in org.jmlspecs.jmlspec

Classes in org.jmlspecs.jmlspec that implement Main.Trees

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.

Uses of Main.Trees in org.jmlspecs.jmlunit

Classes in org.jmlspecs.jmlunit that implement Main.Trees

class

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

Uses of Main.Trees in org.jmlspecs.racwrap

Classes in org.jmlspecs.racwrap that implement Main.Trees

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.Trees in org.multijava.mjc

Classes in org.multijava.mjc that implement Main.Trees

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.