Uses of Interface
org.multijava.mjc.JPackageImportType

Packages that use JPackageImportType

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

Classes in org.jmlspecs.checker that implement JPackageImportType

class

JmlPackageImport This type represents (in the AST) full-package import statements.

Fields in org.jmlspecs.checker declared as JPackageImportType

static JPackageImportType

JmlCompilationUnit.JMLSPECS_LANG

Methods in org.jmlspecs.checker that return JPackageImportType

JPackageImportType[]

JmlCompilationUnit.importedPackages()

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

void	JmlCompilationUnit.setImportedPackages(JPackageImportType[] packages)

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

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 JPackageImportType in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitPackageImport(JPackageImportType self) visits a package import declaration

Uses of JPackageImportType in org.multijava.mjc

Classes in org.multijava.mjc that implement JPackageImportType

class

JPackageImport This class represents (in the AST) full-package import statements, an asterisk.

Fields in org.multijava.mjc declared as JPackageImportType

private JPackageImportType[]	JCompilationUnit.importedPackages
private JPackageImportType[]	CCompilationUnit.importedPackages
static JPackageImportType	CParseCompilationUnitContext.JAVA_LANG

Methods in org.multijava.mjc that return JPackageImportType

JPackageImportType[]	JCompilationUnit.importedPackages()
abstract JPackageImportType[]	JCompilationUnitType.importedPackages()
JPackageImportType[]	CCompilationUnit.importedPackages()
JPackageImportType[]	CParseCompilationUnitContext.getPackageImports()

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

void	JCompilationUnit.setImportedPackages(JPackageImportType[] packages)
void	CCompilationUnit.update(JClassOrGFImportType[] importedClasses, JClassOrGFImportType[] importedGFs, JPackageImportType[] importedPackages, Hashtable loadedClasses, CGFCollectionMap loadedGFCollections) Updates the compilation unit after completion of grouping open methods.
void	CParseCompilationUnitContext.addPackageImport(JPackageImportType pack)

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

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