Platform Interface: java.lang.Runtime

wrapper java.lang.Runtime {
    requires java.lang.RuntimeHelp;
    
    passwrapper void initializeLinker (); 
    
    wrapper void exit (int status) {
        RSystem.exit (status);
        #;
    }
    
    wrapper static void runFinalizersOnExit (boolean value) {
        // enable or disables finalizer execution
        if (value) {
            RSystem.enableFinalizers ();
        } else {
            RSystem.disableFinalizers ();
        }
        
        #;
    }
    
    wrapper Process exec (String command) {
        RSystem.exec (command); // All policies should disallow this.
        #;
    }
    
    wrapper Process exec (String command, String envp[]) {
        RSystem.exec (command); // All policies should disallow this.
        #;
    }
    
    wrapper Process exec (String cmdarray[]) {
        RSystem.exec (RuntimeHelp.flattenStringArray (cmdarray));
        #;
    }
    
    wrapper Process exec (String cmdarray[], String envp[]) {
        RSystem.exec (RuntimeHelp.flattenStringArray (cmdarray));
        #;
    }
    
    wrapper void load (String filename) {
        RSystem.load (filename);
        #;
    }
    
    wrapper void loadLibrary (String libname) {
        RSystem.loadLibrary (libname);
        #;
    }
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science