//
// mimicjdk.ssp
//
// Defines safety properties designed to mimick the JDK1.1 Security
// Manager.
//
// Based on output produced by pigen, in ~/naccio/
//
//
helper getSecurityManager () returns SecurityManager {
return naccio.library.Manager.getSecurityManager ();
}
Naccio Home Page
University of Virginia, Computer Science