Uses of Interface
org.multijava.mjc.CompilerPassEnterable

Packages that use CompilerPassEnterable

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

Classes in org.jmlspecs.checker that implement CompilerPassEnterable

class	JClassDeclarationWrapper A wrapper class to JClassDeclaration to implement JML-specific typechecking.
class	JInterfaceDeclarationWrapper This class represents a java interface in the syntax tree
class	JmlClassDeclaration This type represents a java class declaration in the syntax tree.
class	JmlCompilationUnit This class represents a single JML compilation unit (typically a file in a file-based compiler like this) in the AST.
class	JmlInterfaceDeclaration This class represents a java interface in the syntax tree
class	JmlTypeDeclaration This type represents a java class or interface in the syntax tree.

Methods in org.jmlspecs.checker that return CompilerPassEnterable

protected CompilerPassEnterable[]

Main.includeAllRefinedCUnits(CompilerPassEnterable[] trees)

Methods in org.jmlspecs.checker with parameters of type CompilerPassEnterable

protected CompilerPassEnterable[]	Main.includeAllRefinedCUnits(CompilerPassEnterable[] trees)
protected void	Main.JmlTypecheckTask.processTree(CompilerPassEnterable tree) Check that body of a given compilation unit is correct.
protected void	Main.JmlCheckAssignableTask.processTree(CompilerPassEnterable tree) Processes the given tree, tree.

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

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 CompilerPassEnterable in org.jmlspecs.jmldoc.jmldoc_142

Methods in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type CompilerPassEnterable

void	JmlHTML.jmlize(CompilerPassEnterable tree) This is the entry point into these routines for adding html material representing the jml annotations to an html file.
void	JmlHtmlFactory.jmlize(CompilerPassEnterable tree, JmldocOptions options) This method creates an instance of JmlHTML and calls it to do the html generation for the given set of files (in tree) and command line options.
protected void	Main.MjdocTask.processTree(CompilerPassEnterable tree)
protected void	Main.JmlHtmlTask.processTree(CompilerPassEnterable tree)

Constructors in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type CompilerPassEnterable

Main.MjdocTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for javadocizing the trees in the given forest.

Main.JmlHtmlTask(CompilerPassEnterable[] trees, Object sequenceID, boolean specify)
Constructs a task for javadocizing the trees in the given forest.

Uses of CompilerPassEnterable in org.jmlspecs.jmlrac

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

private static JmlCompilationUnit[]	Main.filterOut(CompilerPassEnterable[] trees) Filter out files that aren't to be processed; we do however keep non-.java files, whatever their suffix.
protected void	Main.JmlPrettyPrintTask.processTree(CompilerPassEnterable tree) Generate the source code of parsed compilation unit
protected void	Main.JmlWriteAssertionTask.processTree(CompilerPassEnterable tree)
protected void	Main.JmlGenerateAssertionTask.processTree(CompilerPassEnterable tree) Processes the given tree, tree.

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

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 CompilerPassEnterable in org.jmlspecs.jmlspec

Methods in org.jmlspecs.jmlspec with parameters of type CompilerPassEnterable

protected void	Main.JspPrettyPrinterTask.processTree(CompilerPassEnterable tree)
protected void	Main.JspCompareTask.processTree(CompilerPassEnterable tree)

Constructors in org.jmlspecs.jmlspec with parameters of type CompilerPassEnterable

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

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

Uses of CompilerPassEnterable in org.jmlspecs.jmlunit

Methods in org.jmlspecs.jmlunit with parameters of type CompilerPassEnterable

protected void

Main.TestClassGenerationTask.processTree(CompilerPassEnterable tree)

Constructors in org.jmlspecs.jmlunit with parameters of type CompilerPassEnterable

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

Uses of CompilerPassEnterable in org.jmlspecs.racwrap

Methods in org.jmlspecs.racwrap with parameters of type CompilerPassEnterable

void	Main.CollateFilesTask.processTree(CompilerPassEnterable tree) collate the files to compile into origFiles
void	Main.PrintInterfaceTask.processTree(CompilerPassEnterable tree) This will create the temporary file for the interface, and call on InterfacePrinter to print the interface file.
void	Main.PrintFactoryTask.processTree(CompilerPassEnterable tree) This will call on FactoryPrinter to print the tree.
void	Main.PrintOrigTask.processTree(CompilerPassEnterable tree) This will call on OrigPrettyPrinter to print the tree.
void	Main.PrintWrapperTask.processTree(CompilerPassEnterable tree) This will call on WrapperPrettyPrinter to print the tree.

Constructors in org.jmlspecs.racwrap with parameters of type CompilerPassEnterable

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

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

Main.PrintFactoryTask(CompilerPassEnterable[] trees, Object sequenceID)
Just call the superclass's constructor.

Main.PrintOrigTask(CompilerPassEnterable[] trees, Object sequenceID)
Just call the superclass's constructor.

Main.PrintWrapperTask(CompilerPassEnterable[] trees, Object sequenceID)
Just call the superclass's constructor.

Uses of CompilerPassEnterable in org.multijava.mjc

Subinterfaces of CompilerPassEnterable in org.multijava.mjc

interface	JClassDeclarationType This type represents a java class declaration in the syntax tree.
interface	JCompilationUnitType This type represents a single Java compilation unit (typically a file in a file-based compiler like this) in the AST.
interface	JInterfaceDeclarationType This type represents a java interface in the syntax tree.
interface	JTypeDeclarationType This type represents a java class or interface in the syntax tree

Classes in org.multijava.mjc that implement CompilerPassEnterable

class	JClassDeclaration This class represents a java class in the syntax tree
class	JCompilationUnit This class represents a single Java compilation unit (typically a file in a file-based compiler like this) in the AST.
class	JInterfaceDeclaration This class represents a java interface in the syntax tree
class	JTypeDeclaration This class represents a java class or interface in the syntax tree
class	MJGenericFunctionDecl This class represents a group of method declarations, all sharing the same name, that together form the top of one or more overloaded external generic function lattices.

Fields in org.multijava.mjc declared as CompilerPassEnterable

protected CompilerPassEnterable[]	Main.ParseTask.trees The result of parsing the file(s) on which this was instantiated.
protected CompilerPassEnterable[]	Main.TreeProcessingTask.trees

Methods in org.multijava.mjc that return CompilerPassEnterable

CompilerPassEnterable[]	Main.ParseTask.trees() Returns the result of parsing the file(s) on which this was instantiated.
abstract CompilerPassEnterable[]	Main.Trees.trees()
CompilerPassEnterable[]	Main.TreeProcessingTask.trees() Returns the result of processing the trees on which this was instantiated.

Methods in org.multijava.mjc with parameters of type CompilerPassEnterable

void	Main.prettyPrint(CompilerPassEnterable tree)
protected abstract void	Main.TreeProcessingTask.processTree(CompilerPassEnterable tree)
protected void	Main.TypecheckTask.processTree(CompilerPassEnterable tree) Check that body of a given compilation unit is correct.
protected void	Main.PrettyPrintTask.processTree(CompilerPassEnterable tree) generate the source code of parsed compilation unit
protected void	Main.PreprocessTask.processTree(CompilerPassEnterable tree) Preprocesses type and generic function imports.
protected void	Main.CheckInterfaceTask.processTree(CompilerPassEnterable tree) Checks the basic interfaces to make sure things generally look OK.
protected void	Main.CheckInitializerTask.processTree(CompilerPassEnterable tree) Checks the initializers created during the checkInterface pass and performs some other checks that can be performed simply before full blown typechecking.
protected void	Main.ResolveSpecializerTask.processTree(CompilerPassEnterable tree) Resolves value specializer expressions to the compile-time constants they represent.
protected void	Main.ResolveTopMethodTask.processTree(CompilerPassEnterable tree)
protected void	Main.TranslateMJTask.processTree(CompilerPassEnterable tree) Refactors the given compilation unit to include dispatchers for multimethods and other code necessary for running MultiJava code on a standard JVM.

Constructors in org.multijava.mjc with parameters of type CompilerPassEnterable

Main.TreeProcessingTask(int priority, Object sequenceID, CompilerPassEnterable[] trees, MessageDescription passCompletedMessage)
Constructs a task that operates on an AST forest.

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

Main.TypecheckTask(int priority, Object sequenceID, CompilerPassEnterable[] trees, MessageDescription passCompletedMessage)

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

Main.PreprocessTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for preprocessing the ASTs in the given forest.

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

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

Main.ResolveSpecializerTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for resolving the specializers in the given forest.

Main.ResolveTopMethodTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for resolving the top methods in the given forest.

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