2021-06-10 08:00:43 +00:00
|
|
|
version 1 .
|
|
|
|
|
embeddedType EntityRef.Ref .
|
|
|
|
|
|
|
|
|
|
Connection = <connection @handle #!ActiveSocket @spec any>.
|
|
|
|
|
ConnectionPeer = <connection-peer @handle #!ActiveSocket @spec any>.
|
|
|
|
|
|
2021-06-15 10:36:25 +00:00
|
|
|
TcpRemote = <remote @host string @port int>.
|
|
|
|
|
TcpLocal = <local @host string @port int>.
|
2021-06-10 08:00:43 +00:00
|
|
|
|
|
|
|
|
ActiveSocket =
|
|
|
|
|
/ <controller @controller #!Sink>
|
2021-06-10 11:33:16 +00:00
|
|
|
/ <close @message string>
|
2021-06-10 08:00:43 +00:00
|
|
|
/ Socket
|
|
|
|
|
.
|
|
|
|
|
|
2021-06-11 12:18:53 +00:00
|
|
|
Socket =
|
2021-06-11 13:29:12 +00:00
|
|
|
/ <credit @amount CreditAmount @mode Mode>
|
|
|
|
|
/ <data @payload bytes @mode Mode>
|
2021-06-11 12:18:53 +00:00
|
|
|
/ <eof>
|
|
|
|
|
.
|
|
|
|
|
|
|
|
|
|
CreditAmount = @count int / @unbounded =unbounded .
|
2021-06-11 13:29:12 +00:00
|
|
|
|
|
|
|
|
Mode = =bytes / @lines LineMode .
|
|
|
|
|
LineMode = =lf / =crlf .
|
