JML

java.lang
Class SecurityManager

java.lang.Object
  extended byjava.lang.SecurityManager

public class SecurityManager
extends Object


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

inCheck

protected boolean inCheck
Deprecated.  

Constructor Detail

SecurityManager

public SecurityManager()
Method Detail

getInCheck

public boolean getInCheck()
Deprecated.  


getClassContext

protected Class[] getClassContext()
Specifications: non_null

currentClassLoader

protected ClassLoader currentClassLoader()
Deprecated.  

Specifications: non_null

currentLoadedClass

protected Class currentLoadedClass()
Deprecated.  

Specifications: non_null

classDepth

protected int classDepth(non_null String name)
Deprecated.  


classLoaderDepth

protected int classLoaderDepth()
Deprecated.  


inClass

protected boolean inClass(non_null String name)
Deprecated.  


inClassLoader

protected boolean inClassLoader()
Deprecated.  


getSecurityContext

public Object getSecurityContext()
Specifications: non_null

checkPermission

public void checkPermission(non_null Permission perm)

checkPermission

public void checkPermission(non_null Permission perm,
                            non_null Object context)

checkCreateClassLoader

public void checkCreateClassLoader()

checkAccess

public void checkAccess(non_null Thread t)

checkAccess

public void checkAccess(non_null ThreadGroup g)

checkExit

public void checkExit(int status)

checkExec

public void checkExec(non_null String cmd)

checkLink

public void checkLink(non_null String lib)

checkRead

public void checkRead(non_null FileDescriptor fd)

checkRead

public void checkRead(non_null String file)

checkRead

public void checkRead(non_null String file,
                      non_null Object context)

checkWrite

public void checkWrite(non_null FileDescriptor fd)

checkWrite

public void checkWrite(non_null String file)

checkDelete

public void checkDelete(non_null String file)

checkConnect

public void checkConnect(non_null String host,
                         int port)

checkConnect

public void checkConnect(non_null String host,
                         int port,
                         non_null Object context)

checkListen

public void checkListen(int port)

checkAccept

public void checkAccept(non_null String host,
                        int port)

checkMulticast

public void checkMulticast(non_null InetAddress maddr)

checkMulticast

public void checkMulticast(non_null InetAddress maddr,
                           byte ttl)
Deprecated.  


checkPropertiesAccess

public void checkPropertiesAccess()

checkPropertyAccess

public void checkPropertyAccess(non_null String key)

checkTopLevelWindow

public boolean checkTopLevelWindow(non_null Object window)

checkPrintJobAccess

public void checkPrintJobAccess()

checkSystemClipboardAccess

public void checkSystemClipboardAccess()

checkAwtEventQueueAccess

public void checkAwtEventQueueAccess()

checkPackageAccess

public void checkPackageAccess(non_null String pkg)

checkPackageDefinition

public void checkPackageDefinition(non_null String pkg)

checkSetFactory

public void checkSetFactory()

checkMemberAccess

public void checkMemberAccess(non_null Class clazz,
                              int which)

checkSecurityAccess

public void checkSecurityAccess(non_null String target)

getThreadGroup

public ThreadGroup getThreadGroup()
Specifications: non_null

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.