JML

java.lang
Class Package

java.lang.Object
  extended byjava.lang.Package
All Implemented Interfaces:
AnnotatedElement

public class Package
extends Object
implements AnnotatedElement


Field Summary
private  String implTitle
           
private  String implVendor
           
private  String implVersion
           
private  ClassLoader loader
           
private static Map mans
           
private  Class packageInfo
           
private  String pkgName
           
private static Map pkgs
           
private  URL sealBase
           
private  String specTitle
           
private  String specVendor
           
private  String specVersion
           
private static Map urls
           
 
Constructor Summary
(package private) Package(String, String, String, String, String, String, String, URL, ClassLoader)
           
private Package(String, Manifest, URL, ClassLoader)
           
(package private) Package(String, Manifest, URL, ClassLoader, Package.1)
           
 
Method Summary
private static Package defineSystemPackage(String, String)
           
 Annotation getAnnotation(Class)
           
 Annotation[] getAnnotations()
           
 Annotation[] getDeclaredAnnotations()
           
 String getImplementationTitle()
           
 String getImplementationVendor()
           
 String getImplementationVersion()
           
 String getName()
           
(package private) static Package getPackage(Class)
           
static Package getPackage(String)
           
private  Class getPackageInfo()
           
static Package[] getPackages()
           
 String getSpecificationTitle()
           
 String getSpecificationVendor()
           
 String getSpecificationVersion()
           
(package private) static Package getSystemPackage(String)
           
private static String getSystemPackage0(String)
           
(package private) static Package[] getSystemPackages()
           
private static String[] getSystemPackages0()
           
 int hashCode()
           
 boolean isAnnotationPresent(Class)
           
 boolean isCompatibleWith(String)
           
 boolean isSealed()
           
 boolean isSealed(URL)
           
private static Manifest loadManifest(String)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

packageInfo

private transient Class packageInfo

loader

private final transient ClassLoader loader

specVersion

private final String specVersion

pkgName

private final String pkgName

implVersion

private final String implVersion

specVendor

private final String specVendor

mans

private static Map mans

sealBase

private final URL sealBase

implVendor

private final String implVendor

implTitle

private final String implTitle

urls

private static Map urls

specTitle

private final String specTitle

pkgs

private static Map pkgs
Constructor Detail

Package

Package(String,
        String,
        String,
        String,
        String,
        String,
        String,
        URL,
        ClassLoader)

Package

private Package(String,
                Manifest,
                URL,
                ClassLoader)

Package

Package(String,
        Manifest,
        URL,
        ClassLoader,
        Package.1)
Method Detail

getName

public String getName()

getSpecificationTitle

public String getSpecificationTitle()

getSpecificationVersion

public String getSpecificationVersion()

getSpecificationVendor

public String getSpecificationVendor()

getImplementationTitle

public String getImplementationTitle()

getImplementationVersion

public String getImplementationVersion()

getImplementationVendor

public String getImplementationVendor()

isSealed

public boolean isSealed()

isSealed

public boolean isSealed(URL)

isCompatibleWith

public boolean isCompatibleWith(String)
                         throws NumberFormatException
Throws:
NumberFormatException

getPackage

public static Package getPackage(String)

getPackages

public static Package[] getPackages()

getPackage

static Package getPackage(Class)

hashCode

public int hashCode()
Overrides:
hashCode in class Object

toString

public String toString()
Overrides:
toString in class Object

getPackageInfo

private Class getPackageInfo()

getAnnotation

public Annotation getAnnotation(Class)
Specified by:
getAnnotation in interface AnnotatedElement

isAnnotationPresent

public boolean isAnnotationPresent(Class)
Specified by:
isAnnotationPresent in interface AnnotatedElement

getAnnotations

public Annotation[] getAnnotations()
Specified by:
getAnnotations in interface AnnotatedElement

getDeclaredAnnotations

public Annotation[] getDeclaredAnnotations()
Specified by:
getDeclaredAnnotations in interface AnnotatedElement

getSystemPackage

static Package getSystemPackage(String)

getSystemPackages

static Package[] getSystemPackages()

defineSystemPackage

private static Package defineSystemPackage(String,
                                           String)

loadManifest

private static Manifest loadManifest(String)

getSystemPackage0

private static String getSystemPackage0(String)

getSystemPackages0

private static String[] getSystemPackages0()

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.