Uses of Class
org.jmlspecs.checker.JmlCompilationUnit

Packages that use JmlCompilationUnit

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.racwrap

Uses of JmlCompilationUnit in org.jmlspecs.checker

Fields in org.jmlspecs.checker declared as JmlCompilationUnit

private JmlCompilationUnit

JmlCompilationUnit.refiningCUnit

Methods in org.jmlspecs.checker that return JmlCompilationUnit

JmlCompilationUnit	JmlCompilationUnit.refiningCUnit()
JmlCompilationUnit	JmlCompilationUnit.refinedCUnit()
JmlCompilationUnit	JmlTypeLoader.getSuspendedCUnit(String qName) Look for partially processed compilation unit (if suspended) for the qualified type name qName.
protected JmlCompilationUnit	TestJmlParser.Helper.getJmlAST(String sourceCode)

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

void	JmlAbstractVisitor.visitJmlCompilationUnit(JmlCompilationUnit self)
abstract void	JmlVisitor.visitJmlCompilationUnit(JmlCompilationUnit self)
void	JmlCompilationUnit.setRefiningCUnit(JmlCompilationUnit refiningCUnit)
void	JmlRefinePrefix.preprocessRefinedTypes(JmlCompilationUnit surroundingCUnit)
void	JmlVisitorNI.visitJmlCompilationUnit(JmlCompilationUnit self)
void	JmlTypeLoader.activateSymbolTableBuild(JmlCompilationUnit cUnit) Reactivate the task for the compilation unit cUnit if the symbol table has not been built.
void	JmlTypeLoader.activateTypeCheck(JmlCompilationUnit cUnit) Reactivate the task for the compilation unit cUnit if the symbol table has not been built.
void	JmlTypeLoader.activatePartiallyProcessedTask(JmlCompilationUnit cUnit) Reactivate the task for the compilation unit cUnit.
void	JmlTypeLoader.savePartiallyProcessedTask(JmlCompilationUnit cUnit) Save the task in case it needs to be reactivated.
void	JmlTypeLoader.removePartiallyProcessedTask(JmlCompilationUnit cUnit)
private JmlConstraint[]	TestJmlParser.constraintsFrom(JmlCompilationUnit unit)
private JmlMethodName[]	TestJmlParser.methodNamesFrom(JmlCompilationUnit unit)
private JmlRepresentsDecl[]	TestJmlParser.representsDeclsFrom(JmlCompilationUnit unit)
private JmlStoreRef	TestJmlParser.storeRefFrom(JmlCompilationUnit unit)
private JVariableDefinition[]	TestJmlParser.quantifiedVarDeclsFrom(JmlCompilationUnit unit)
private long	TestJmlParser.getTypeModifiers(JmlCompilationUnit unit)
private JmlClassBlock[]	TestJmlParser.initializersFrom(JmlCompilationUnit unit)
private JmlMethodDeclaration[]	TestJmlParser.methodDeclsFrom(JmlCompilationUnit unit)
private JFormalParameter[]	TestJmlParser.parameterDeclarationsFrom(JmlCompilationUnit unit)
private JmlFieldDeclaration[]	TestJmlParser.fieldsFrom(JmlCompilationUnit unit)
private JmlAxiom[]	TestJmlParser.axiomsFrom(JmlCompilationUnit unit)
private JmlInvariant[]	TestJmlParser.invariantsFrom(JmlCompilationUnit unit)
private JmlVarAssertion[]	TestJmlParser.varAssertionFrom(JmlCompilationUnit unit)
private JmlSpecExpression[]	TestJmlParser.specExpressionListFrom(JmlCompilationUnit unit)
private JExpression	TestJmlParser.expressionFrom(JmlCompilationUnit unit)

Uses of JmlCompilationUnit in org.jmlspecs.jmlrac

Methods in org.jmlspecs.jmlrac that return JmlCompilationUnit

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.

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

void	JmlRacGenerator.visitJmlCompilationUnit(JmlCompilationUnit self) Translate a JML compilation unit
private void	Main.JmlPrettyPrintTask.prettyPrint(File file, JmlCompilationUnit tree) Pretty-print the AST tree to the given file
private void	Main.JmlWriteAssertionTask.prettyPrint(File file, JmlCompilationUnit tree) Pretty-print the AST tree to the external file
private boolean	Main.JmlGenerateAssertionTask.isInstrumented(JmlCompilationUnit cunit) Returns true if the given compilation unit, cunit, is for a jmlc-generated Java source file.
private boolean	Main.JmlGenerateAssertionTask.shouldBeSkipped(JmlCompilationUnit cunit) Returns true if the given compilation unit, cunit, should be skipped.
void	RacPrettyPrinter.visitJmlCompilationUnit(JmlCompilationUnit self) Prints a JML compilation unit.

Uses of JmlCompilationUnit in org.jmlspecs.racwrap

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

void	FactoryPrinter.print(JmlCompilationUnit compileUnit) Prints the factory methods for a class.
void	InterfacePrinter.print(JmlCompilationUnit compileUnit) Prints the equivalent interface of a class.
PrintStream	Main.createTempFile(JmlCompilationUnit cunit, String filename)