Uses of Class
org.multijava.mjc.CCompilationUnit

Packages that use CCompilationUnit

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

Uses of CCompilationUnit in org.jmlspecs.checker

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

CCompilationUnitContextType

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

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

JmlCompilationUnit(TokenReference where, JPackageName packageName, CCompilationUnit export, JPackageImportType[] importedPackages, ArrayList importedUnits, JTypeDeclarationType[] typeDeclarations, ArrayList tlMethods, JmlRefinePrefix refinePrefix)
Constructs a CompilationUnit with the specified top level context

JmlCompilationUnitContext(Main compiler, CCompilationUnit cunit)
Construct a compilation unit context.

Uses of CCompilationUnit in org.jmlspecs.jmlrac

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

CCompilationUnitContextType

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

Uses of CCompilationUnit in org.multijava.mjc

Fields in org.multijava.mjc declared as CCompilationUnit

private CCompilationUnit	JCompilationUnit.export Provides name space management, e.g., resolving references to external types.
protected CCompilationUnit	MemberAccess.hostCompilationUnit Stores a cached copy of the result of getCCompilationUnit.
private CCompilationUnit	CParseCompilationUnitContext.export
private CCompilationUnit	CCompilationUnitContext.cunit

Methods in org.multijava.mjc that return CCompilationUnit

CCompilationUnit	CMember.getCCompilationUnit() Returns the compilation unit that hosts this member.
CCompilationUnit	MemberAccess.getCCompilationUnit() Returns the compilation unit that hosts this member.
CCompilationUnit	CParseCompilationUnitContext.compilationUnitExport()

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

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

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

JCompilationUnit(TokenReference where, JPackageName packageName, CCompilationUnit export, JPackageImportType[] importedPackages, ArrayList importedUnits, JTypeDeclarationType[] typeDeclarations, ArrayList tlMethods)
Constructs a CompilationUnit with the specified top level context

CCompilationUnitContext(Main compiler, CCompilationUnit cunit)
Construct a compilation unit context.