|
|
|
|
|
|
connect()make a connection request listen()respond to a connection request send()send data over a connection receive()receive data over a connection disconnect()end a connection
End-point addresses.
Connection accept-reject.
Stream-message choice.
Other property choices.
client()
connection c
c.connect(server addr, message)
if c.connected
c.send(msg)
r = c.receive()
c.disconnect()
server()
connection c = listen(*)
if ok(c)
c.connect(c)
msg = c.receive()
c.send(f(msg))
c.disconnect()

| This page last modified on 2012 September 26. |