property NoNetSending {
// Don't allow any data to be sent over the network
check RNetwork.preSend (remote: RNetAddress, nbytes: int) {
violation ("Attempt to send data over the network.");
}
}
Naccio Home Page
University of Virginia, Computer Science