synit
/
synit
1
0
Fork 1
Code Issues 2 Pull Requests 1 Projects Releases Wiki Activity

Update .prs syntax to use #: instead of #!.

This commit is contained in:
Tony Garnock-Jones 2024-03-01 14:58:28 +01:00
parent a2ecd8a4e4
commit ed7fb0b676
5 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
protocols/schemas/hayes.prs
View File

@ -2,7 +2,7 @@ version 1 .
# Definitions for the internal workings of the Hayes modem driver.
# Assertion. Declares presence of a Hayes modem.
ModemPresent = <modem =hayes @devicePath string @dataspace #!InternalProtocol> .
ModemPresent = <modem =hayes @devicePath string @dataspace #:InternalProtocol> .
# TODO not yet properly specified
InternalProtocol = any .
@ -11,7 +11,7 @@ InternalProtocol = any .
UnsolicitedResultCode = <unsolicited @result Result> .
# Assertion. Asks the modem to execute the given command.
CommandRPC = <execute-command @commandText string @replyTo #!CommandResult> .
CommandRPC = <execute-command @commandText string @replyTo #:CommandResult> .
# Message. Asks the modem to execute the given command, but not to send back the reply.
CommandEvent = <execute-command @commandText string> .

8
protocols/schemas/samsungGalaxyS7.prs
View File

@ -2,7 +2,7 @@ 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> .
ModemPresent = <modem =samsung-galaxy-s7 @devicePath string @dataspace #:InternalProtocol> .
# TODO not yet properly specified
InternalProtocol = any .
@ -10,10 +10,10 @@ 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> .
FmtPacket = <fmt @body #:any> .
RfsPacket = <rfs @body #:any> .
# Assertion. Asks the modem to execute the given command.
CommandRPC = <execute-command @command FmtPacket @replyTo #!FmtPacket> .
CommandRPC = <execute-command @command FmtPacket @replyTo #:FmtPacket> .
# Message. Asks the modem to execute the given command, but not to send back the reply.
CommandEvent = <execute-command @command FmtPacket> .

4
protocols/schemas/telephony.prs
View File

@ -1,7 +1,7 @@
version 1 .
# Definitions for non-modem-hardware-specific telephony interactions.
ModemPresent = <modem @type symbol @devicePath string @dataspace #!any> .
ModemPresent = <modem @type symbol @devicePath string @dataspace #:any> .
Address = <address @numberType NumberType @number string> .
NumberType = =unknown / =international / =national / =gsm0338 .
@ -46,7 +46,7 @@ PeerRinging = <peer-ringing> .
SmsDelivery = <sms-delivery @smsc Address @peer Address @timestamp time.Stamp @body string> .
# Assertion. An outgoing SMS should be transmitted.
SmsTransmission = <sms-transmission @smsc Address @peer Address @body string @continuation #!=ok > .
SmsTransmission = <sms-transmission @smsc Address @peer Address @body string @continuation #:=ok > .
# Assertion. Enable speakerphone mode, if available.
Speakerphone = <speakerphone> .

4
protocols/schemas/ui.prs
View File

@ -1,7 +1,7 @@
version 1 .
# Assertion. Creates a space for Widget/Parent/Attribute assertions etc.
Window = <window @id WidgetId @space #!any> .
Window = <window @id WidgetId @space #:any> .
# Assertions, within the space created as part of a Window assertion.
Widget = <widget @id WidgetId @type WidgetType> .
@ -10,7 +10,7 @@ Root = <root @id WidgetId @order SortKey> .
Attribute = <attribute @id WidgetId @key symbol @value any> .
# Assertion
WidgetInstance = <widget-instance @id WidgetId @instance #!any> .
WidgetInstance = <widget-instance @id WidgetId @instance #:any> .
# Assertion
Touch = <touch @widget WidgetId @touchId any> .

2
protocols/schemas/userSettings.prs
View File

@ -1,7 +1,7 @@
version 1 .
# Assertion.
CommandRPC = <user-settings-command @action Action @reply #!CommandReply> .
CommandRPC = <user-settings-command @action Action @reply #:CommandReply> .
# Message.
CommandEvent = <user-settings-command @action Action> .