property SystemExit {
check RSystem.exit (status: int) {
SecurityManager security = getSecurityManager ();
if (security != null) {
security.checkExit (status);
}
}
check RSystem.enableFinalizers (), RSystem.disableFinalizers () {
SecurityManager security = getSecurityManager ();
if (security != null) {
security.checkExit (0);
}
}
}
Naccio Home Page
University of Virginia, Computer Science