Uses of Class
org.multijava.mjc.JCompilationUnit

Packages that use JCompilationUnit

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

Fields in org.jmlspecs.checker declared as JCompilationUnit

private JCompilationUnit

JmlCompilationUnit.delegee The MultiJava compilation unit decorated by this JML class.

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

void	JmlAbstractVisitor.visitCompilationUnit(JCompilationUnit self) Visits the given compilation unit.
void	JmlVisitorNI.visitCompilationUnit(JCompilationUnit self) visits a compilation unit

Uses of JCompilationUnit in org.jmlspecs.jmlrac

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

void	RacPrettyPrinter.visitCompilationUnit(JCompilationUnit self) Prints a compilation unit.

Uses of JCompilationUnit in org.jmlspecs.jmlspec

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

void	JspPrettyPrinter.visitCompilationUnit(JCompilationUnit self)

Uses of JCompilationUnit in org.jmlspecs.jmlunit

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

private boolean	Main.TestClassGenerationTask.isTestable(JCompilationUnit cunit) Returns true if it is possible to generate test classes for the given compilation unit.
void	TestClassGenerator.perform(Writer writer, JCompilationUnit cunit, JntOptions options) Generates a JML/JUnit test oracle class for the given compilation unit.
protected void	TestClassGenerator.printImportStatements(JCompilationUnit cunit) Prints import statements.
protected void	TestClassGenerator.generateTestClass(JCompilationUnit cunit, JTypeDeclarationType cdecl) Generates a test oracle class for the given class declaration, cdecl.
protected void	TestDataClassGenerator.printImportStatements(JCompilationUnit cunit) Prints import statements.
protected void	TestDataClassGenerator.generateTestClass(JCompilationUnit cunit, JTypeDeclarationType cdecl) Generates a test data class for the given class, cdecl.

Uses of JCompilationUnit in org.jmlspecs.racwrap

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

void	OrigPrettyPrinter.visitCompilationUnit(JCompilationUnit self) Same as MjcPrettyPrinter's visitCompilationUnit method, except it adds the imported runner package.

Uses of JCompilationUnit in org.multijava.mjc

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

abstract void	MjcVisitor.visitCompilationUnit(JCompilationUnit self) visits a compilation unit
void	MjcPrettyPrinter.visitCompilationUnit(JCompilationUnit self) prints a compilation unit