Safety Property: LoadClasses



property LoadClasses {
    helper checkLink (s: String) {
        if (naccio.library.NCheck.isInitialized ()) {
            SecurityManager security = getSecurityManager ();
            if (security != null) {    
                security.checkLink (s);
            }   
        }
    }
  
    check RSystem.loadLibrary (s: String) {
        checkLink (s);
    }
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science