Refactor/repair tcp.prs and tcp.rkt

This commit is contained in:
Tony Garnock-Jones 2021-06-11 15:29:12 +02:00
parent 5850c5b06d
commit afe36c630d
1 changed files with 5 additions and 7 deletions

12
tcp.prs
View File

@ -14,14 +14,12 @@ ActiveSocket =
.
Socket =
/ Credit
/ <line @text string @mode LineMode>
/ <data @payload bytes>
/ <credit @amount CreditAmount @mode Mode>
/ <data @payload bytes @mode Mode>
/ <eof>
.
LineMode = =lf / =crlf .
Credit = <credit @amount CreditAmount @unit CreditMode>.
CreditMode = =bytes / @lines LineMode .
CreditAmount = @count int / @unbounded =unbounded .
Mode = =bytes / @lines LineMode .
LineMode = =lf / =crlf .