JML

java.lang
Class SecurityManager

java.lang.Object
  extended byjava.lang.SecurityManager

public class SecurityManager
extends Object


Field Summary
protected  boolean inCheck
           
private  boolean initialized
           
private static String[] packageAccess
           
private static Object packageAccessLock
           
private static boolean packageAccessValid
           
private static String[] packageDefinition
           
private static Object packageDefinitionLock
           
private static boolean packageDefinitionValid
           
private static ThreadGroup rootGroup
           
 
Constructor Summary
SecurityManager()
           
 
Method Summary
 void checkAccept(String, int)
           
 void checkAccess(Thread)
           
 void checkAccess(ThreadGroup)
           
 void checkAwtEventQueueAccess()
           
 void checkConnect(String, int)
           
 void checkConnect(String, int, Object)
           
 void checkCreateClassLoader()
           
 void checkDelete(String)
           
 void checkExec(String)
           
 void checkExit(int)
           
 void checkLink(String)
           
 void checkListen(int)
           
 void checkMemberAccess(Class, int)
           
 void checkMulticast(InetAddress)
           
 void checkMulticast(InetAddress, byte)
           
 void checkPackageAccess(String)
           
 void checkPackageDefinition(String)
           
 void checkPermission(Permission)
           
 void checkPermission(Permission, Object)
           
 void checkPrintJobAccess()
           
 void checkPropertiesAccess()
           
 void checkPropertyAccess(String)
           
 void checkRead(FileDescriptor)
           
 void checkRead(String)
           
 void checkRead(String, Object)
           
 void checkSecurityAccess(String)
           
 void checkSetFactory()
           
 void checkSystemClipboardAccess()
           
 boolean checkTopLevelWindow(Object)
           
 void checkWrite(FileDescriptor)
           
 void checkWrite(String)
           
protected  int classDepth(String)
           
protected  int classLoaderDepth()
           
private  int classLoaderDepth0()
           
protected  ClassLoader currentClassLoader()
           
private  ClassLoader currentClassLoader0()
           
protected  Class currentLoadedClass()
           
private  Class currentLoadedClass0()
           
protected  Class[] getClassContext()
           
 boolean getInCheck()
           
private static String[] getPackages(String)
           
private static ThreadGroup getRootGroup()
           
 Object getSecurityContext()
           
 ThreadGroup getThreadGroup()
           
private  boolean hasAllPermission()
           
protected  boolean inClass(String)
           
protected  boolean inClassLoader()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

packageAccess

private static String[] packageAccess

initialized

private boolean initialized

packageDefinition

private static String[] packageDefinition

packageAccessLock

private static final Object packageAccessLock

packageAccessValid

private static boolean packageAccessValid

packageDefinitionValid

private static boolean packageDefinitionValid

inCheck

protected boolean inCheck

rootGroup

private static ThreadGroup rootGroup

packageDefinitionLock

private static final Object packageDefinitionLock
Constructor Detail

SecurityManager

public SecurityManager()
Method Detail

hasAllPermission

private boolean hasAllPermission()

getInCheck

public boolean getInCheck()

getClassContext

protected Class[] getClassContext()

currentClassLoader

protected ClassLoader currentClassLoader()

currentClassLoader0

private ClassLoader currentClassLoader0()

currentLoadedClass

protected Class currentLoadedClass()

classDepth

protected int classDepth(String)

classLoaderDepth

protected int classLoaderDepth()

classLoaderDepth0

private int classLoaderDepth0()

inClass

protected boolean inClass(String)

inClassLoader

protected boolean inClassLoader()

getSecurityContext

public Object getSecurityContext()

checkPermission

public void checkPermission(Permission)

checkPermission

public void checkPermission(Permission,
                            Object)

checkCreateClassLoader

public void checkCreateClassLoader()

getRootGroup

private static ThreadGroup getRootGroup()

checkAccess

public void checkAccess(Thread)

checkAccess

public void checkAccess(ThreadGroup)

checkExit

public void checkExit(int)

checkExec

public void checkExec(String)

checkLink

public void checkLink(String)

checkRead

public void checkRead(FileDescriptor)

checkRead

public void checkRead(String)

checkRead

public void checkRead(String,
                      Object)

checkWrite

public void checkWrite(FileDescriptor)

checkWrite

public void checkWrite(String)

checkDelete

public void checkDelete(String)

checkConnect

public void checkConnect(String,
                         int)

checkConnect

public void checkConnect(String,
                         int,
                         Object)

checkListen

public void checkListen(int)

checkAccept

public void checkAccept(String,
                        int)

checkMulticast

public void checkMulticast(InetAddress)

checkMulticast

public void checkMulticast(InetAddress,
                           byte)

checkPropertiesAccess

public void checkPropertiesAccess()

checkPropertyAccess

public void checkPropertyAccess(String)

checkTopLevelWindow

public boolean checkTopLevelWindow(Object)

checkPrintJobAccess

public void checkPrintJobAccess()

checkSystemClipboardAccess

public void checkSystemClipboardAccess()

checkAwtEventQueueAccess

public void checkAwtEventQueueAccess()

getPackages

private static String[] getPackages(String)

checkPackageAccess

public void checkPackageAccess(String)

checkPackageDefinition

public void checkPackageDefinition(String)

checkSetFactory

public void checkSetFactory()

checkMemberAccess

public void checkMemberAccess(Class,
                              int)

checkSecurityAccess

public void checkSecurityAccess(String)

currentLoadedClass0

private Class currentLoadedClass0()

getThreadGroup

public ThreadGroup getThreadGroup()

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.