19 lines
733 B
Plaintext
19 lines
733 B
Plaintext
version 1 .
|
|
; Definitions for the internal workings of the Samsung Galaxy S7 modem driver.
|
|
|
|
; Assertion. Declares presence of a Hayes modem.
|
|
ModemPresent = <modem =samsung-galaxy-s7 @devicePath string @dataspace #!InternalProtocol> .
|
|
|
|
; TODO not yet properly specified
|
|
InternalProtocol = any .
|
|
|
|
ModemPacket = @in <from-modem @packet any> / @out <to-modem @packet any> .
|
|
|
|
; The bodies are instances of SamsungFmtMessage and SamsungRfsMessage, respectively.
|
|
FmtPacket = <fmt @body #!any> .
|
|
RfsPacket = <rfs @body #!any> .
|
|
|
|
; Assertion. Asks the modem to execute the given command.
|
|
ExecuteCommand = <execute-command @command FmtPacket @replyTo CommandContinuation> .
|
|
CommandContinuation = @replyWanted #!FmtPacket / @fireAndForget #f .
|