Uses of Class
org.multijava.mjc.JPackageName

Packages that use JPackageName

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc.jmldoc_142
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JPackageName in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return JPackageName

JPackageName	JmlCompilationUnit.packageName()
JPackageName	JmlParser.jPackageDefinition()

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

void	JmlAbstractVisitor.visitPackageName(JPackageName self) Visits the given package name statement.
void	JmlCompilationUnit.setPackage(JPackageName packageName)
void	JmlPackageImport.typecheck(Main compiler, JPackageName pack) Checks the use of package import statements.
void	JmlVisitorNI.visitPackageName(JPackageName self) visits a package name declaration

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

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

Uses of JPackageName in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitPackageName(JPackageName self) visits a package name declaration

Uses of JPackageName in org.multijava.mjc

Fields in org.multijava.mjc declared as JPackageName

private JPackageName	JCompilationUnit.packageName
static JPackageName	JPackageName.UNNAMED The unnamed package (JLS 7.4.2)
private JPackageName	CParseCompilationUnitContext.pack

Methods in org.multijava.mjc that return JPackageName

JPackageName	JCompilationUnit.packageName()
abstract JPackageName	JCompilationUnitType.packageName()
JPackageName	CParseCompilationUnitContext.getPackageName()
JPackageName	MjcParser.jPackageDefinition()

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

void	JCompilationUnit.setPackage(JPackageName n)
abstract void	MjcVisitor.visitPackageName(JPackageName self) visits a package name declaration
abstract void	JPackageImportType.typecheck(Main compiler, JPackageName pack) Checks the use of package import statements.
void	JPackageImport.typecheck(Main compiler, JPackageName pack) Checks the use of package import statements.
void	CParseCompilationUnitContext.setPackage(JPackageName pack)
void	MjcPrettyPrinter.visitPackageName(JPackageName self) prints a package name statement

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

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