Platform Interface: java.lang.System

wrapper java.lang.System {
    import java.util.Properties;
    import java.io.InputStream;
    import java.io.PrintStream;
    
    wrapper static void setIn (java.io.InputStream in) {
        RSystem.setStandardInput (in);
        #;
    }
    
    wrapper static void setOut (java.io.PrintStream out) {
        RSystem.setStandardOutput (out);
        #;
    }
    
    wrapper static void setErr (java.io.PrintStream err) {
        RSystem.setStandardError (err);
        #;
    }
    
    wrapper static void setSecurityManager (SecurityManager s) {
        RSystem.setSecurityManager (s);
        #;
    }
    
    wrapper static long currentTimeMillis () {
        RSystem.observeCurrentTime ();
        #;
    }
    
    wrapper static java.util.Properties getProperties() {
        RSystem.observeAllProperties ();
        #;
    }
    
    wrapper static void setProperties (java.util.Properties props) {
        RSystem.setAllProperties ();
        #;
    }
    
    wrapper static String getProperty (String key) {
        RSystem.observeProperty (key);
        #;
    }
    
    wrapper static String getProperty (String key, String def) {
        RSystem.observeProperty (key);
        #;
    }
    
    wrapper static void exit (int status) {
        RSystem.exit (status);
        RSystem.terminate ();
        #;
    }
    
    wrapper static void gc () {
        RSystem.runGC ();
        #;
    }
    
    wrapper static void runFinalization () {
        RSystem.runFinalization ();
        #;
    }
    
    wrapper static void runFinalizersOnExit (boolean value) {
        if (value) {
            RSystem.enableFinalizers ();
        } else {
            RSystem.disableFinalizers ();
        }

        #;
    }

    wrapper static void load (String filename) {
        RSystem.load (filename);
        NCheck.fatalViolation (NCheck.concat ("Attempt to load class dynamically: ", filename));
        #;
    }
    
    wrapper static void loadLibrary (String libname) {
        RSystem.loadLibrary (libname);
        NCheck.fatalViolation (NCheck.concat ("Attempt to load library dynamically: ", libname));
       #;
   }
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science