Safety Property: SystemExit



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); 
        }   
    }
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science