Uses of Class
jml2b.structure.java.Package

Packages that use Package

jml2b.link
jml2b.pog.util
jml2b.structure.bytecode
jml2b.structure.java

Uses of Package in jml2b.link

Fields in jml2b.link declared as Package

Package

LinkContext.currentPackage

Methods in jml2b.link that return Package

Package	LinkContext.getImportedClassPackage(java.lang.String class_name) return the package corresponding to the given imported class.
Package	LinkContext.getPackage()
Package	LinkInfo.getPackage()

Constructors in jml2b.link with parameters of type Package

LinkInfo(Package p)

Uses of Package in jml2b.pog.util

Methods in jml2b.pog.util with parameters of type Package

static int

IdentifierResolver.addIdent(Package p) Adds a package identifier in the set of identifier.

Uses of Package in jml2b.structure.bytecode

Methods in jml2b.structure.bytecode that return Package

Package

ClassFile.getPackage()

Uses of Package in jml2b.structure.java

Fields in jml2b.structure.java declared as Package

Package	Identifier.pkg
Package	Package.parent The parent package.

Methods in jml2b.structure.java that return Package

abstract Package	AClass.getPackage()
Package	Class.getPackage() Returns the package this class belongs to.
Package	JmlFile.getImportedClassPackage(java.lang.String class_name) return the package corresponding to the given imported class.
Package	JmlFile.getPackage()
static Package	JmlFile.addPackages(antlr.collections.AST ast, Package pkg) parse a package AST clause, adding packages as needed.
Package	Package.getParent()
Package	Package.getPackage(java.lang.String name) Search for the given package inside this package.
Package	Package.createAndCheckSubPackage(IJml2bConfiguration config, java.lang.String name) Check that the package name exists and create the subpackage if it does.
Package	Package.getAndLoadPackage(java.lang.String name)
static Package	Package.getJavaLang()
Package	Package.createSubPackage(java.lang.String name)
static Package	Package.getRoot()

Methods in jml2b.structure.java with parameters of type Package

static Package	JmlFile.addPackages(antlr.collections.AST ast, Package pkg) parse a package AST clause, adding packages as needed.
static AClass	JmlLoader.loadClass(IJml2bConfiguration config, Package p, java.lang.String name) Returns the class name from package p.
static JmlFileEntry	JmlLoader.searchCandidateFile(IJml2bConfiguration config, Package p, java.lang.String name) Search a candidate file for the class name located in the package relative path pkg_path.
void	Package.addPackage(Package p)
static boolean	Package.restoreDefaultPackages(Package root)

Constructors in jml2b.structure.java with parameters of type Package

Class(JmlFile jf, antlr.collections.AST tree, Package class_package, Modifiers mods, boolean external)
Creates a new class in package class_package, with the given modifiers.