State Maintainer: SystemTime

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