From ed7fb0b676c6b4ad266e2f0cfdaa95a25bf6c9c2 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Fri, 1 Mar 2024 14:58:28 +0100
Subject: [PATCH] Update .prs syntax to use #: instead of #!.

---
 protocols/schemas/hayes.prs           | 4 ++--
 protocols/schemas/samsungGalaxyS7.prs | 8 ++++----
 protocols/schemas/telephony.prs       | 4 ++--
 protocols/schemas/ui.prs              | 4 ++--
 protocols/schemas/userSettings.prs    | 2 +-
 5 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/protocols/schemas/hayes.prs b/protocols/schemas/hayes.prs
index c092e4f..bc444d4 100644
--- a/protocols/schemas/hayes.prs
+++ b/protocols/schemas/hayes.prs
@@ -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> .
 
diff --git a/protocols/schemas/samsungGalaxyS7.prs b/protocols/schemas/samsungGalaxyS7.prs
index ea61e3a..a353f40 100644
--- a/protocols/schemas/samsungGalaxyS7.prs
+++ b/protocols/schemas/samsungGalaxyS7.prs
@@ -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> .
diff --git a/protocols/schemas/telephony.prs b/protocols/schemas/telephony.prs
index 423813f..278a890 100644
--- a/protocols/schemas/telephony.prs
+++ b/protocols/schemas/telephony.prs
@@ -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> .
diff --git a/protocols/schemas/ui.prs b/protocols/schemas/ui.prs
index 2f52ea9..66d4186 100644
--- a/protocols/schemas/ui.prs
+++ b/protocols/schemas/ui.prs
@@ -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> .
diff --git a/protocols/schemas/userSettings.prs b/protocols/schemas/userSettings.prs
index 9ee869f..e39b071 100644
--- a/protocols/schemas/userSettings.prs
+++ b/protocols/schemas/userSettings.prs
@@ -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> .