JML

java.lang
Class Package

java.lang.Object
  extended byjava.lang.Package

public class Package
extends Object


Field Summary
private  String implTitle
           
private  String implVendor
           
private  String implVersion
           
private static Map mans
           
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)
           
private Package(String, java.util.jar.Manifest, URL)
           
(package private) Package(String, java.util.jar.Manifest, URL, Package.1)
           
 
Method Summary
private static Package defineSystemPackage(String, String)
           
 String getImplementationTitle()
           
 String getImplementationVendor()
           
 String getImplementationVersion()
           
 String getName()
           
(package private) static Package getPackage(Class)
           
static Package getPackage(String)
           
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 isCompatibleWith(String)
           
 boolean isSealed()
           
 boolean isSealed(URL)
           
private static java.util.jar.Manifest loadManifest(String)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

specVendor

private String specVendor

pkgs

private static Map pkgs

implTitle

private String implTitle

pkgName

private String pkgName

sealBase

private URL sealBase

specTitle

private String specTitle

mans

private static Map mans

implVendor

private String implVendor

urls

private static Map urls

specVersion

private String specVersion

implVersion

private String implVersion
Constructor Detail

Package

private Package(String,
                java.util.jar.Manifest,
                URL)

Package

Package(String,
        java.util.jar.Manifest,
        URL,
        Package.1)

Package

Package(String,
        String,
        String,
        String,
        String,
        String,
        String,
        URL)
Method Detail

hashCode

public int hashCode()
Overrides:
hashCode in class Object

isSealed

public boolean isSealed()

getPackages

public static Package[] getPackages()

getSystemPackages

static Package[] getSystemPackages()

getImplementationTitle

public String getImplementationTitle()

getImplementationVendor

public String getImplementationVendor()

getImplementationVersion

public String getImplementationVersion()

getName

public String getName()

getSpecificationTitle

public String getSpecificationTitle()

getSpecificationVendor

public String getSpecificationVendor()

getSpecificationVersion

public String getSpecificationVersion()

toString

public String toString()
Overrides:
toString in class Object

getSystemPackages0

private static String[] getSystemPackages0()

isCompatibleWith

public boolean isCompatibleWith(String)
                         throws NumberFormatException
Throws:
NumberFormatException

isSealed

public boolean isSealed(URL)

getPackage

static Package getPackage(Class)

getPackage

public static Package getPackage(String)

getSystemPackage

static Package getSystemPackage(String)

getSystemPackage0

private static String getSystemPackage0(String)

loadManifest

private static java.util.jar.Manifest loadManifest(String)

defineSystemPackage

private static Package defineSystemPackage(String,
                                           String)

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.