stateblock NetListenerState augments RNetListener {
requires NetAddressNames;
addstate RNetListener.address: RNetAddress;
precode RNetListener (adr: RNetAddress) {
address = adr;
}
precode setPort (p: int) {
address.setPort (p);
}
helper getPort () returns int {
return address.getPort ();
}
helper getAddress () returns RNetAddress {
return address;
}
helper toString () returns String {
return ("{ listener: " + address.toString () + " }");
}
}
Naccio Home Page
University of Virginia, Computer Science