JML

java.security
Class ProtectionDomain

java.lang.Object
  extended byjava.security.ProtectionDomain

public class ProtectionDomain
extends Object


Field Summary
private  ClassLoader classloader
           
private  CodeSource codesource
           
private static sun.security.util.Debug debug
           
private  boolean hasAllPerm
           
private  PermissionCollection permissions
           
private  Principal[] principals
           
private  boolean staticPermissions
           
 
Constructor Summary
ProtectionDomain(CodeSource, PermissionCollection)
           
ProtectionDomain(CodeSource, PermissionCollection, ClassLoader, Principal[])
           
 
Method Summary
 ClassLoader getClassLoader()
           
 CodeSource getCodeSource()
           
 PermissionCollection getPermissions()
           
 Principal[] getPrincipals()
           
 boolean implies(Permission)
           
private  PermissionCollection mergePermissions()
           
private static boolean seeAllp()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

debug

private static final sun.security.util.Debug debug

permissions

private PermissionCollection permissions

classloader

private ClassLoader classloader

principals

private Principal[] principals

codesource

private CodeSource codesource

staticPermissions

private boolean staticPermissions

hasAllPerm

private boolean hasAllPerm
Constructor Detail

ProtectionDomain

public ProtectionDomain(CodeSource,
                        PermissionCollection)

ProtectionDomain

public ProtectionDomain(CodeSource,
                        PermissionCollection,
                        ClassLoader,
                        Principal[])
Method Detail

getCodeSource

public final CodeSource getCodeSource()

getClassLoader

public final ClassLoader getClassLoader()

getPrincipals

public final Principal[] getPrincipals()

getPermissions

public final PermissionCollection getPermissions()

implies

public boolean implies(Permission)

toString

public String toString()
Overrides:
toString in class Object

seeAllp

private static boolean seeAllp()

mergePermissions

private PermissionCollection mergePermissions()

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.