Uses of Interface
org.multijava.mjc.JCompilationUnitType

Packages that use JCompilationUnitType

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.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JCompilationUnitType in org.jmlspecs.checker

Classes in org.jmlspecs.checker that implement JCompilationUnitType

class

JmlCompilationUnit This class represents a single JML compilation unit (typically a file in a file-based compiler like this) in the AST.

Fields in org.jmlspecs.checker declared as JCompilationUnitType

private JCompilationUnitType

JmlRefinePrefix.refinedCUnit The parsed compilation unit referenced by fileName

Methods in org.jmlspecs.checker that return JCompilationUnitType

JCompilationUnitType	Main.catchUpRefinedFile(File file) Parses a file and returns the AST.
JCompilationUnitType	JmlRefinePrefix.refinedCUnit()
JCompilationUnitType	JmlParser.jCompilationUnit()
JCompilationUnitType	JmlTypeLoader.putCUnitAST(File f, JCompilationUnitType cunit) Records a mapping from the given file to the given AST.
JCompilationUnitType	JmlTypeLoader.getCUnitAST(File f) Returns the AST parsed from the given file, or null if no AST is cached for the given file (either because the file has not been parsed or because no AST was created when parsing the file.
protected JCompilationUnitType	Main.JmlParseTask.parseFile(File file) Parses the given file and returns an AST representing it.

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

CCompilationUnitContextType	Main.createCompilationUnitContext(JCompilationUnitType jc, CCompilationUnit cunit) Creates a compilation unit context for this compiler.
protected void	JmlTypeLoader.forgetEverythingAbout(File f, JCompilationUnitType cunit) Called by Main when the given file, from which the given compilation unit AST was derived, did not contain an expected result; this method removes all cached info. for the file.
JCompilationUnitType	JmlTypeLoader.putCUnitAST(File f, JCompilationUnitType cunit) Records a mapping from the given file to the given AST.

Uses of JCompilationUnitType in org.jmlspecs.jmldoc.jmldoc_142

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

void	JmldocWrapper.registerTypeDeclarations(JCompilationUnitType unit) This is overridden in order to register a Compilation Unit that is the combination of all refinements.
void	JmldocWrapper.selectTypeDeclarations(JCompilationUnitType unit) This is overridden in order to select a Compilation Unit that is the combination of all refinements.
void	SpecWriter.visitCompilationUnit(JCompilationUnitType self) visits a compilation unit

Uses of JCompilationUnitType in org.jmlspecs.jmlrac

Methods in org.jmlspecs.jmlrac that return JCompilationUnitType

protected JCompilationUnitType

Main.JavaParseTask.parseFile(File file) Parses the given file and returns an AST representing it.

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

CCompilationUnitContextType

Main.createCompilationUnitContext(JCompilationUnitType jc, CCompilationUnit cunit) Creates a compilation unit context for this compiler.

Uses of JCompilationUnitType in org.jmlspecs.jmlspec

Methods in org.jmlspecs.jmlspec that return JCompilationUnitType

protected JCompilationUnitType

Main.JspParseTask.parseFile(File file)

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

String	JspComparator.compare(JCompilationUnitType cu, JCompilationUnitType cujava)
String	JspComparator.compareToClass(JCompilationUnitType cu)

Uses of JCompilationUnitType in org.jmlspecs.jmlunit

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

(package private) static String

Main.genPackageName(JCompilationUnitType cunit, JntOptions options)

Uses of JCompilationUnitType in org.multijava.mjc

Classes in org.multijava.mjc that implement JCompilationUnitType

class

JCompilationUnit This class represents a single Java compilation unit (typically a file in a file-based compiler like this) in the AST.

Methods in org.multijava.mjc that return JCompilationUnitType

protected JCompilationUnitType	Main.ParseTask.parseFile(File file) Parses the given file and returns an AST representing it.
protected JCompilationUnitType	TestMjcParser.getAST(String sourceCode) Returns an AST for the source code represented by the given string.
protected JCompilationUnitType	TestMjcParser.getAST(String sourceCode, boolean parseJavadocs) Returns an AST for the source code represented by the given string.
JCompilationUnitType	MjcParser.jCompilationUnit()
private JCompilationUnitType	TestJTypeDeclaration.getCheckedAST(String sourceCode) Returns a typechecked AST for the given source code string.

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

static void	CTopLevel.forgetEverythingAbout(File f, JCompilationUnitType cunit) Called by Main when the given file, from which the given compilation unit AST was derived, did not contain an expected result; this method removes all cached info. for the file.
CCompilationUnitContextType	Main.createCompilationUnitContext(JCompilationUnitType jc, CCompilationUnit cunit) Creates a compilation unit context for this compiler.
protected boolean	Main.isAnExpectedResult(File f, JCompilationUnitType cu) Returns true iff the given compilation unit contains the results that were expected from parsing the given file.
protected void	Main.failedParsing(File f, JCompilationUnitType cu) Called when a file is parsed and found to not contain the expected declarations.
protected void	TypeLoader.forgetEverythingAbout(File f, JCompilationUnitType cunit) Called by Main when the given file, from which the given compilation unit AST was derived, did not contain an expected result; this method removes all cached info. for the file.
abstract boolean	Main.ExpectedResult.foundIn(JCompilationUnitType cu) Returns true if this expected result is contained in cu.
boolean	Main.ExpectedType.foundIn(JCompilationUnitType cu) Returns true if this expected result is contained in cu.
boolean	Main.ExpectedGF.foundIn(JCompilationUnitType cu) Returns true if this expected result is contained in cu.
boolean	Main.ExpectedIndifferent.foundIn(JCompilationUnitType cu) Returns true if this expected result is contained in cu.
private CMethodSet	TestJTypeDeclaration.getTypesMethods(JCompilationUnitType unit) Returns a set of the methods that will be used for generating the first type declaration in the given compilation unit.
private CMethodSet	TestJTypeDeclaration.getGFsMethods(JCompilationUnitType unit) Returns a set of the methods that will be used for generating the first external generic function in the given compilation unit.