stateblock SystemTime augments RSystem { helper getCurrentTime () returns long { // Java-specific implementation return (java.lang.System.currentTimeMillis ()); } }
About this file
Naccio Home Page David Evans University of Virginia, Computer Science