property NetListerMinPort (p: int) {
check RNetwork.preOpenListener (listener: RNetListener) {
if (listener.getPort () < p) {
violation
("Attempt to open listener on illegal port " + listener.getPort () +
". Listeners are allowed only on ports " + p + " and above.");
}
}
}
Naccio Home Page
University of Virginia, Computer Science