resource RNetAddress
// Platform-specific network address identifier.
operations
RNetAddress (adr: java.net.InetAddress, p: int)
"Create a new RNetAddress corresponding to adr and port p."
RNetAddress (name: String, p: int)
"Create a new RNetAddress corresponding to name and port p."
RNetAddress (adr: java.net.InetAddress)
"Create a new RNetAddress corresponding to adr."
setPort (p: int)
"Set the port to p."
Naccio Home Page
University of Virginia, Computer Science