Uses of Class
edu.rice.cs.util.PreventExitSecurityManager

Packages that use PreventExitSecurityManager
edu.rice.cs.drjava The main package for DrJava contains only two classes. 
edu.rice.cs.util A collection of utility classes and packages. 
 

Uses of PreventExitSecurityManager in edu.rice.cs.drjava
 

Fields in edu.rice.cs.drjava declared as PreventExitSecurityManager
private static PreventExitSecurityManager DrJava._manager
           
 

Methods in edu.rice.cs.drjava that return PreventExitSecurityManager
static PreventExitSecurityManager DrJava.getSecurityManager()
           
 

Uses of PreventExitSecurityManager in edu.rice.cs.util
 

Fields in edu.rice.cs.util declared as PreventExitSecurityManager
private  PreventExitSecurityManager PreventExitSecurityManagerTest._manager
           
 

Methods in edu.rice.cs.util that return PreventExitSecurityManager
static PreventExitSecurityManager PreventExitSecurityManager.activate()
          Creates a new exit-preventing security manager, using the previous security manager to delegate to.