State Maintainer: NoteNetworkUse

stateblock NoteNetworkUse augments RNetwork {
  addstate RNetwork.touched: boolean = false;
  precode preOpenConnection (connection: RNetConnection),
          preOpenEnd (end: RNetEnd),
          preOpenListener (listener: RNetListener) {
    touched = true;
  }
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science