property NoNetReceiving { // Don't allow any data to be received from the net
check RNetwork.preReceive (remote: RNetAddress, nbytes: int) {
violation ("Attempt to receive data over the network.");
}
}
Naccio Home Page
University of Virginia, Computer Science