From cad5bc81bb49b5cb7ce58cef0d59d345dfda5519 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jonas=20=C3=85dahl?= Date: Thu, 23 Feb 2023 13:40:42 +0100 Subject: [PATCH] protocol: Make integer explicitly sized This means 'int' is explicitly 'int32' and 'uint' is explicitly 'uint32' in the protocol XML files. --- proto/ei-scanner | 12 ++-- proto/protocol.xml | 158 ++++++++++++++++++++++----------------------- 2 files changed, 85 insertions(+), 85 deletions(-) diff --git a/proto/ei-scanner b/proto/ei-scanner index 4d8b3ae..24c3475 100755 --- a/proto/ei-scanner +++ b/proto/ei-scanner @@ -35,8 +35,8 @@ Mapping of allowed protocol types to the single-character signature strings used in the various code pieces. """ PROTOCOL_TYPES = { - "uint": "u", - "int": "i", + "uint32": "u", + "int32": "i", "float": "f", "fd": "h", "new_id": "n", @@ -90,8 +90,8 @@ class Argument: @property def c_type(self) -> str: return { - "uint": "uint32_t", - "int": "int32_t", + "uint32": "uint32_t", + "int32": "int32_t", "string": "const char *", "fd": "int", "float": "float", @@ -742,8 +742,8 @@ def main() -> None: the interface, depending on the component. - argument.signature: a single-character signature type mapping from the protocol XML type: - uint -> "u" - int -> "i" + uint32 -> "u" + int32 -> "i" float -> "f" fd -> "h" new_id -> "n" diff --git a/proto/protocol.xml b/proto/protocol.xml index 0c138f1..4f6452e 100644 --- a/proto/protocol.xml +++ b/proto/protocol.xml @@ -46,8 +46,8 @@ - arguments is a variable number of arguments specific to the message. Types: - - 'uint': a 32-bit unsigned integer - - 'int': a 32-bit signed integer + - 'uint32': a 32-bit unsigned integer + - 'int32': a 32-bit signed integer - 'float': a 32-bit IEEE-754 float - 'fd': a file descriptor. Zero bytes in the message itself, transmitted in the overhead @@ -181,7 +181,7 @@ This request must not be sent more than once and must be sent before ei_connection_setup.done. - + @@ -224,7 +224,7 @@ sent before ei_connection_setup.done. - + @@ -260,7 +260,7 @@ interfaces) before the ei_connection_setup.connection event. - + @@ -279,10 +279,10 @@ interface as announced by ei_connection_setup.interface_version, or any lower version. - + - + @@ -383,8 +383,8 @@ There is no guarantee this event is sent - the connection may be closed without a disconnection event. - - + + @@ -401,7 +401,7 @@ interface. - + @@ -421,8 +421,8 @@ It is the client's responsibilty to unwind any state changes done to the object since the last successful message. - - + + @@ -444,7 +444,7 @@ - + @@ -466,7 +466,7 @@ the ei_callback object is destroyed by the EIS implementation and as such the client must not attempt to use it after that point. - + @@ -488,7 +488,7 @@ the ei_callback object is destroyed by the client and as such must not be used any further. - + @@ -553,7 +553,7 @@ is interested in. If capabilities are dropped, the EIS implementation may ei_device.remove devices that have these capabilities. - + @@ -567,7 +567,7 @@ after this event is sent and as such the client must not attempt to use it after that point. - + @@ -590,7 +590,7 @@ It is a protocol violation to send this event after the ei_seat.done event. - + @@ -613,7 +613,7 @@ interface. - + @@ -673,8 +673,8 @@ It is a protocol violation to send this request for a client of an ei_connection_setup.context_type other than sender. - - + + @@ -685,7 +685,7 @@ It is a protocol violation to send this request for a client of an ei_connection_setup.context_type other than sender. - + @@ -705,9 +705,9 @@ It is a protocol violation to send this request for a client of an ei_connection_setup.context_type other than sender. - - - + + + @@ -721,7 +721,7 @@ after this event is sent and as such the client must not attempt to use it after that point. - + @@ -751,7 +751,7 @@ This event must be is sent once immediately after object creation. It is a protocol violation to send this event after the ei_device.done event. - + @@ -780,7 +780,7 @@ This event is sent once immediately after object creation. It is a protocol violation to send this event after the ei_device.done event. - + @@ -792,8 +792,8 @@ It is a protocol violation to send this event after the ei_device.done event. - - + + @@ -828,10 +828,10 @@ has multiple regions, this event is sent once for each region. It is a protocol violation to send this event after the ei_device.done event. - - - - + + + + @@ -853,7 +853,7 @@ It is a protocol violation to send this event after the ei_device.done event. - + @@ -873,7 +873,7 @@ It is a protocol violation to send this event after the ei_device.done event. - + @@ -893,7 +893,7 @@ It is a protocol violation to send this event after the ei_device.done event. - + @@ -917,7 +917,7 @@ A newly advertised device is in the ei_device.paused state. - + @@ -946,7 +946,7 @@ A newly advertised device is in the ei_device.paused state. - + @@ -956,8 +956,8 @@ It is a protocol violation to send this event for a client of an ei_connection_setup.context_type other than receiver. - - + + @@ -967,7 +967,7 @@ It is a protocol violation to send this event for a client of an ei_connection_setup.context_type other than receiver. - + @@ -977,9 +977,9 @@ It is a protocol violation to send this event for a client of an ei_connection_setup.context_type other than receiver. - - - + + + @@ -1077,8 +1077,8 @@ It is a protocol violation to send this request for a client of an ei_connection_setup.context_type other than sender. - - + + @@ -1106,9 +1106,9 @@ It is a protocol violation to send this request for a client of an ei_connection_setup.context_type other than sender. - - - + + + @@ -1128,8 +1128,8 @@ It is a protocol violation to send this request for a client of an ei_connection_setup.context_type other than sender. - - + + @@ -1143,7 +1143,7 @@ after this event is sent and as such the client must not attempt to use it after that point. - + @@ -1186,8 +1186,8 @@ It is a protocol violation to send this request for a client of an ei_connection_setup.context_type other than receiver. - - + + @@ -1197,9 +1197,9 @@ It is a protocol violation to send this request for a client of an ei_connection_setup.context_type other than receiver. - - - + + + @@ -1209,8 +1209,8 @@ It is a protocol violation to send this request for a client of an ei_connection_setup.context_type other than receiver. - - + + @@ -1257,8 +1257,8 @@ It is a protocol violation to send this request for a client of an ei_connection_setup.context_type other than sender. - - + + @@ -1272,7 +1272,7 @@ after this event is sent and as such the client must not attempt to use it after that point. - + @@ -1297,8 +1297,8 @@ and before the ei_device.done event. It is a protocol violation to send this event after the ei_device.done event. - - + + @@ -1309,8 +1309,8 @@ It is a protocol violation to send this request for a client of an ei_connection_setup.context_type other than receiver. - - + + @@ -1329,11 +1329,11 @@ This event is only sent for devices with an ei_device.keymap. - - - - - + + + + + @@ -1370,7 +1370,7 @@ The x/y coordinates must be within the device's regions or the event and future ei_touchscreen.motion events with the same touchid are silently discarded. - + @@ -1384,7 +1384,7 @@ The x/y coordinates must be within the device's regions or the event is silently discarded. - + @@ -1397,7 +1397,7 @@ The touchid may be re-used after this request. - + @@ -1411,7 +1411,7 @@ after this event is sent and as such the client must not attempt to use it after that point. - + @@ -1421,7 +1421,7 @@ It is a protocol violation to send this request for a client of an ei_connection_setup.context_type other than receiver. - + @@ -1433,7 +1433,7 @@ It is a protocol violation to send this request for a client of an ei_connection_setup.context_type other than receiver. - + @@ -1445,7 +1445,7 @@ It is a protocol violation to send this request for a client of an ei_connection_setup.context_type other than receiver. - +