|
JML | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.lang.SecurityManager
Class Specifications |
Specifications inherited from class Object |
represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT; public represents _getClass <- \typeof(this); |
Model Field Summary |
Model fields inherited from class java.lang.Object |
_getClass, objectState, theString |
Ghost Field Summary |
Ghost fields inherited from class java.lang.Object |
objectTimesFinalized, owner |
Field Summary | |
protected boolean |
inCheck
Deprecated. |
Constructor Summary | |
SecurityManager()
|
Model Method Summary |
Model methods inherited from class java.lang.Object |
hashValue |
Method Summary | |
void |
checkAccept(non_null String host,
int port)
|
void |
checkAccess(non_null Thread t)
|
void |
checkAccess(non_null ThreadGroup g)
|
void |
checkAwtEventQueueAccess()
|
void |
checkConnect(non_null String host,
int port)
|
void |
checkConnect(non_null String host,
int port,
non_null Object context)
|
void |
checkCreateClassLoader()
|
void |
checkDelete(non_null String file)
|
void |
checkExec(non_null String cmd)
|
void |
checkExit(int status)
|
void |
checkLink(non_null String lib)
|
void |
checkListen(int port)
|
void |
checkMemberAccess(non_null Class clazz,
int which)
|
void |
checkMulticast(non_null InetAddress maddr)
|
void |
checkMulticast(non_null InetAddress maddr,
byte ttl)
Deprecated. |
void |
checkPackageAccess(non_null String pkg)
|
void |
checkPackageDefinition(non_null String pkg)
|
void |
checkPermission(non_null Permission perm)
|
void |
checkPermission(non_null Permission perm,
non_null Object context)
|
void |
checkPrintJobAccess()
|
void |
checkPropertiesAccess()
|
void |
checkPropertyAccess(non_null String key)
|
void |
checkRead(non_null FileDescriptor fd)
|
void |
checkRead(non_null String file)
|
void |
checkRead(non_null String file,
non_null Object context)
|
void |
checkSecurityAccess(non_null String target)
|
void |
checkSetFactory()
|
void |
checkSystemClipboardAccess()
|
boolean |
checkTopLevelWindow(non_null Object window)
|
void |
checkWrite(non_null FileDescriptor fd)
|
void |
checkWrite(non_null String file)
|
protected int |
classDepth(non_null String name)
Deprecated. |
protected int |
classLoaderDepth()
Deprecated. |
protected ClassLoader |
currentClassLoader()
Deprecated. |
protected Class |
currentLoadedClass()
Deprecated. |
protected Class[] |
getClassContext()
|
boolean |
getInCheck()
Deprecated. |
Object |
getSecurityContext()
|
ThreadGroup |
getThreadGroup()
|
protected boolean |
inClass(non_null String name)
Deprecated. |
protected boolean |
inClassLoader()
Deprecated. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
protected boolean inCheck
Constructor Detail |
public SecurityManager()
Method Detail |
public boolean getInCheck()
protected Class[] getClassContext()
protected ClassLoader currentClassLoader()
protected Class currentLoadedClass()
protected int classDepth(non_null String name)
protected int classLoaderDepth()
protected boolean inClass(non_null String name)
protected boolean inClassLoader()
public Object getSecurityContext()
public void checkPermission(non_null Permission perm)
public void checkPermission(non_null Permission perm, non_null Object context)
public void checkCreateClassLoader()
public void checkAccess(non_null Thread t)
public void checkAccess(non_null ThreadGroup g)
public void checkExit(int status)
public void checkExec(non_null String cmd)
public void checkLink(non_null String lib)
public void checkRead(non_null FileDescriptor fd)
public void checkRead(non_null String file)
public void checkRead(non_null String file, non_null Object context)
public void checkWrite(non_null FileDescriptor fd)
public void checkWrite(non_null String file)
public void checkDelete(non_null String file)
public void checkConnect(non_null String host, int port)
public void checkConnect(non_null String host, int port, non_null Object context)
public void checkListen(int port)
public void checkAccept(non_null String host, int port)
public void checkMulticast(non_null InetAddress maddr)
public void checkMulticast(non_null InetAddress maddr, byte ttl)
public void checkPropertiesAccess()
public void checkPropertyAccess(non_null String key)
public boolean checkTopLevelWindow(non_null Object window)
public void checkPrintJobAccess()
public void checkSystemClipboardAccess()
public void checkAwtEventQueueAccess()
public void checkPackageAccess(non_null String pkg)
public void checkPackageDefinition(non_null String pkg)
public void checkSetFactory()
public void checkMemberAccess(non_null Class clazz, int which)
public void checkSecurityAccess(non_null String target)
public ThreadGroup getThreadGroup()
|
JML | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |