Type hash in interface codegen (rep2011)

README.md

@@ -13,6 +13,8 @@ See [documentation](https://docs.ros.org/en/rolling/Concepts/About-Internal-Inte
   * Generate the ROS interfaces in C
 * [rosidl_generator_cpp](./rosidl_generator_cpp)
   * Generate the ROS interfaces in C++
+* [rosidl_generator_type_hash](./rosidl_generator_type_hash)
+  * Generate SHA256 hash values for ROS 2 interface descriptions for use by other generators
 * [rosidl_parser](./rosidl_parser)
   * Parser for `.idl` ROS interface files
 * [rosidl_runtime_c](./rosidl_runtime_c)

rosidl_cmake/cmake/rosidl_write_generator_arguments.cmake

@@ -32,6 +32,8 @@ function(rosidl_write_generator_arguments output_file)
   set(OPTIONAL_MULTI_VALUE_KEYWORDS
     "ROS_INTERFACE_DEPENDENCIES"  # since the dependencies can be empty
     "TARGET_DEPENDENCIES"
+    "TYPE_HASH_TUPLES"
+    "INCLUDE_PATHS"
     "ADDITIONAL_FILES")
 
   cmake_parse_arguments(

rosidl_generator_c/cmake/register_c.cmake

@@ -14,6 +14,7 @@
 
 macro(rosidl_generator_c_extras BIN GENERATOR_FILES TEMPLATE_DIR)
   find_package(ament_cmake_core QUIET REQUIRED)
+  find_package(rosidl_generator_type_hash QUIET REQUIRED)
   ament_register_extension(
     "rosidl_generate_idl_interfaces"
     "rosidl_generator_c"

rosidl_generator_c/cmake/rosidl_generator_c_generate_interfaces.cmake

@@ -83,6 +83,7 @@ rosidl_write_generator_arguments(
   OUTPUT_DIR "${_output_path}"
   TEMPLATE_DIR "${rosidl_generator_c_TEMPLATE_DIR}"
   TARGET_DEPENDENCIES ${target_dependencies}
+  TYPE_HASH_TUPLES "${${rosidl_generate_interfaces_TARGET}__HASH_TUPLES}"
 )
 
 find_package(Python3 REQUIRED COMPONENTS Interpreter)
@@ -142,6 +143,9 @@ target_link_libraries(${rosidl_generate_interfaces_TARGET}${_target_suffix} PUBL
   rosidl_runtime_c::rosidl_runtime_c
   rosidl_typesupport_interface::rosidl_typesupport_interface
   rcutils::rcutils)
+add_dependencies(
+  ${rosidl_generate_interfaces_TARGET}${_target_suffix}
+  ${rosidl_generate_interfaces_TARGET}__rosidl_generator_type_hash)
 
 # Make top level generation target depend on this generated library
 add_dependencies(

rosidl_generator_c/package.xml

@@ -24,13 +24,15 @@
   <buildtool_export_depend>python3</buildtool_export_depend>
   <buildtool_export_depend>rosidl_pycommon</buildtool_export_depend>
 
+  <build_export_depend>rosidl_generator_type_hash</build_export_depend>
   <build_export_depend>rosidl_typesupport_interface</build_export_depend>
   <build_export_depend>rcutils</build_export_depend>
 
   <exec_depend>ament_index_python</exec_depend>
   <exec_depend>rosidl_cli</exec_depend>
   <exec_depend>rosidl_parser</exec_depend>
   <exec_depend>rcutils</exec_depend>
+  <exec_depend>rosidl_generator_type_hash</exec_depend>
 
   <test_depend>ament_lint_auto</test_depend>
   <test_depend>ament_lint_common</test_depend>

rosidl_generator_c/resource/idl__struct.h.em

@@ -11,6 +11,8 @@
 @#  - content (IdlContent, list of elements, e.g. Messages or Services)
 @#######################################################################
 @{
+from rosidl_generator_c import idl_structure_type_to_c_typename
+from rosidl_generator_c import type_hash_to_c_definition
 from rosidl_pycommon import convert_camel_case_to_lower_case_underscore
 include_parts = [package_name] + list(interface_path.parents[0].parts) + [
     'detail', convert_camel_case_to_lower_case_underscore(interface_path.stem)]
@@ -32,6 +34,8 @@ extern "C"
 #include <stddef.h>
 #include <stdint.h>
 
+#include "rosidl_runtime_c/type_hash.h"
+
 @#######################################################################
 @# Handle message
 @#######################################################################
@@ -43,7 +47,7 @@ from rosidl_parser.definition import Message
 TEMPLATE(
     'msg__struct.h.em',
     package_name=package_name, interface_path=interface_path,
-    message=message, include_directives=include_directives)
+    message=message, include_directives=include_directives, type_hash=type_hash)
 }@
 
 @[end for]@
@@ -55,25 +59,30 @@ TEMPLATE(
 from rosidl_parser.definition import Service
 }@
 @[for service in content.get_elements_of_type(Service)]@
+static const @(type_hash_to_c_definition(idl_structure_type_to_c_typename(service.namespaced_type) + "__TYPE_VERSION_HASH", type_hash['service']))@
+
 @{
 TEMPLATE(
     'msg__struct.h.em',
     package_name=package_name, interface_path=interface_path,
-    message=service.request_message, include_directives=include_directives)
+    message=service.request_message, include_directives=include_directives,
+    type_hash=type_hash['request_message'])
 }@
 
 @{
 TEMPLATE(
     'msg__struct.h.em',
     package_name=package_name, interface_path=interface_path,
-    message=service.response_message, include_directives=include_directives)
+    message=service.response_message, include_directives=include_directives,
+    type_hash=type_hash['response_message'])
 }@
 
 @{
 TEMPLATE(
     'msg__struct.h.em',
     package_name=package_name, interface_path=interface_path,
-    message=service.event_message, include_directives=include_directives)
+    message=service.event_message, include_directives=include_directives,
+    type_hash=type_hash['event_message'])
 }@
 
 @[end for]@
@@ -85,74 +94,86 @@ TEMPLATE(
 from rosidl_parser.definition import Action
 }@
 @[for action in content.get_elements_of_type(Action)]@
+static const @(type_hash_to_c_definition(idl_structure_type_to_c_typename(action.namespaced_type) + "__TYPE_VERSION_HASH", type_hash['action']))@
+
 @{
 TEMPLATE(
     'msg__struct.h.em',
     package_name=package_name, interface_path=interface_path,
-    message=action.goal, include_directives=include_directives)
+    message=action.goal, include_directives=include_directives,
+    type_hash=type_hash['goal'])
 }@
 
 @{
 TEMPLATE(
     'msg__struct.h.em',
     package_name=package_name, interface_path=interface_path,
-    message=action.result, include_directives=include_directives)
+    message=action.result, include_directives=include_directives,
+    type_hash=type_hash['result'])
 }@
 
 @{
 TEMPLATE(
     'msg__struct.h.em',
     package_name=package_name, interface_path=interface_path,
-    message=action.feedback, include_directives=include_directives)
+    message=action.feedback, include_directives=include_directives,
+    type_hash=type_hash['feedback'])
 }@
 
 @{
 TEMPLATE(
     'msg__struct.h.em',
     package_name=package_name, interface_path=interface_path,
-    message=action.send_goal_service.request_message, include_directives=include_directives)
+    message=action.send_goal_service.request_message, include_directives=include_directives,
+    type_hash=type_hash['send_goal_service']['request_message'])
 }@
 
 @{
 TEMPLATE(
     'msg__struct.h.em',
     package_name=package_name, interface_path=interface_path,
-    message=action.send_goal_service.response_message, include_directives=include_directives)
+    message=action.send_goal_service.response_message, include_directives=include_directives,
+    type_hash=type_hash['send_goal_service']['response_message'])
 }@
 
 @{
 TEMPLATE(
     'msg__struct.h.em',
     package_name=package_name, interface_path=interface_path,
-    message=action.send_goal_service.event_message, include_directives=include_directives)
+    message=action.send_goal_service.event_message, include_directives=include_directives,
+    type_hash=type_hash['send_goal_service']['event_message'])
 }@
 
 @{
 TEMPLATE(
     'msg__struct.h.em',
     package_name=package_name, interface_path=interface_path,
-    message=action.get_result_service.request_message, include_directives=include_directives)
+    message=action.get_result_service.request_message, include_directives=include_directives,
+    type_hash=type_hash['get_result_service']['request_message'])
 }@
 
 @{
 TEMPLATE(
     'msg__struct.h.em',
     package_name=package_name, interface_path=interface_path,
-    message=action.get_result_service.response_message, include_directives=include_directives)
+    message=action.get_result_service.response_message, include_directives=include_directives,
+    type_hash=type_hash['get_result_service']['response_message'])
 }@
 
 @{
 TEMPLATE(
     'msg__struct.h.em',
     package_name=package_name, interface_path=interface_path,
-    message=action.get_result_service.event_message, include_directives=include_directives)
+    message=action.get_result_service.event_message, include_directives=include_directives,
+    type_hash=type_hash['get_result_service']['event_message'])
 }@
 
 @{
 TEMPLATE(
     'msg__struct.h.em',
     package_name=package_name, interface_path=interface_path,
-    message=action.feedback_message, include_directives=include_directives)
+    message=action.feedback_message, include_directives=include_directives,
+    type_hash=type_hash['feedback_message'])
 }@
 
 @[end for]@

rosidl_generator_c/resource/msg__struct.h.em

@@ -21,6 +21,7 @@ from rosidl_generator_c import idl_structure_type_sequence_to_c_typename
 from rosidl_generator_c import idl_structure_type_to_c_include_prefix
 from rosidl_generator_c import idl_structure_type_to_c_typename
 from rosidl_generator_c import interface_path_to_string
+from rosidl_generator_c import type_hash_to_c_definition
 from rosidl_generator_c import value_to_c
 }@
 @#<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
@@ -177,6 +178,9 @@ typedef struct @(idl_structure_type_to_c_typename(message.structure.namespaced_t
   @(idl_declaration_to_c(member.type, member.name));
 @[end for]@
 } @(idl_structure_type_to_c_typename(message.structure.namespaced_type));
+
+// Type Version Hash for interface
+static const @(type_hash_to_c_definition(idl_structure_type_to_c_typename(message.structure.namespaced_type) + "__TYPE_VERSION_HASH", type_hash['message']))@
 @#>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
 
 @#<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<

rosidl_generator_c/rosidl_generator_c/__init__.py

@@ -12,6 +12,8 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 
+import re
+
 from rosidl_parser.definition import AbstractGenericString
 from rosidl_parser.definition import AbstractSequence
 from rosidl_parser.definition import AbstractString
@@ -219,3 +221,26 @@ def escape_string(s):
 
 def escape_wstring(s):
     return escape_string(s)
+
+
+def type_hash_to_c_definition(variable_name, hash_string, indent=0):
+    """Generate empy for rosidl_type_hash_t instance with 8 bytes per line for readability."""
+    hash_length = 32
+    bytes_per_line = 8
+
+    indent_str = ' ' * (indent + 2)
+    pattern = re.compile(r'RIHS([0-9a-f]{2})_([0-9a-f]{64})')
+    match = pattern.match(hash_string)
+    if not match:
+        raise Exception('Type hash string does not match expected RIHS format')
+    version, value = match.group(1, 2)
+
+    result = f'rosidl_type_hash_t {variable_name} = {{{version}, {{'
+    for i in range(hash_length):
+        if i % bytes_per_line == 0:
+            result += f'\n{indent_str}  '
+        result += f'0x{value[i * 2:i * 2 + 2]},'
+        if i % bytes_per_line != bytes_per_line - 1:
+            result += ' '
+    result += f'\n{indent_str}}}}};\n'
+    return result

rosidl_generator_cpp/cmake/register_cpp.cmake

@@ -14,6 +14,7 @@
 
 macro(rosidl_generator_cpp_extras BIN GENERATOR_FILES TEMPLATE_DIR)
   find_package(ament_cmake_core QUIET REQUIRED)
+  find_package(rosidl_generator_type_hash QUIET REQUIRED)
   ament_register_extension(
     "rosidl_generate_idl_interfaces"
     "rosidl_generator_cpp"

rosidl_generator_cpp/cmake/rosidl_generator_cpp_generate_interfaces.cmake

@@ -75,6 +75,7 @@ rosidl_write_generator_arguments(
   OUTPUT_DIR "${_output_path}"
   TEMPLATE_DIR "${rosidl_generator_cpp_TEMPLATE_DIR}"
   TARGET_DEPENDENCIES ${target_dependencies}
+  TYPE_HASH_TUPLES "${${rosidl_generate_interfaces_TARGET}__HASH_TUPLES}"
 )
 
 find_package(Python3 REQUIRED COMPONENTS Interpreter)
@@ -99,6 +100,9 @@ add_custom_target(
   DEPENDS
   ${_generated_headers}
 )
+add_dependencies(
+  ${rosidl_generate_interfaces_TARGET}__cpp
+  ${rosidl_generate_interfaces_TARGET}__rosidl_generator_type_hash)
 
 set(_target_suffix "__rosidl_generator_cpp")
 add_library(${rosidl_generate_interfaces_TARGET}${_target_suffix} INTERFACE)

rosidl_generator_cpp/package.xml

@@ -28,6 +28,7 @@
 
   <exec_depend>ament_index_python</exec_depend>
   <exec_depend>rosidl_cli</exec_depend>
+  <exec_depend>rosidl_generator_type_hash</exec_depend>
   <exec_depend>rosidl_parser</exec_depend>
 
   <test_depend>ament_lint_auto</test_depend>

rosidl_generator_cpp/resource/action__struct.hpp.em

@@ -1,5 +1,6 @@
 @# Included from rosidl_generator_cpp/resource/idl__struct.hpp.em
 @{
+from rosidl_generator_c import type_hash_to_c_definition
 from rosidl_parser.definition import ACTION_FEEDBACK_MESSAGE_SUFFIX
 from rosidl_parser.definition import ACTION_FEEDBACK_SUFFIX
 from rosidl_parser.definition import ACTION_GOAL_SERVICE_SUFFIX
@@ -17,42 +18,48 @@ action_name = '::'.join(action.namespaced_type.namespaced_name())
 TEMPLATE(
     'msg__struct.hpp.em',
     package_name=package_name, interface_path=interface_path,
-    message=action.goal, include_directives=include_directives)
+    message=action.goal, include_directives=include_directives,
+    type_hash=type_hash['goal'])
 }@
 
 @{
 TEMPLATE(
     'msg__struct.hpp.em',
     package_name=package_name, interface_path=interface_path,
-    message=action.result, include_directives=include_directives)
+    message=action.result, include_directives=include_directives,
+    type_hash=type_hash['result'])
 }@
 
 @{
 TEMPLATE(
     'msg__struct.hpp.em',
     package_name=package_name, interface_path=interface_path,
-    message=action.feedback, include_directives=include_directives)
+    message=action.feedback, include_directives=include_directives,
+    type_hash=type_hash['feedback'])
 }@
 
 @{
 TEMPLATE(
     'srv__struct.hpp.em',
     package_name=package_name, interface_path=interface_path,
-    service=action.send_goal_service, include_directives=include_directives)
+    service=action.send_goal_service, include_directives=include_directives,
+    type_hash=type_hash['send_goal_service'])
 }@
 
 @{
 TEMPLATE(
     'srv__struct.hpp.em',
     package_name=package_name, interface_path=interface_path,
-    service=action.get_result_service, include_directives=include_directives)
+    service=action.get_result_service, include_directives=include_directives,
+    type_hash=type_hash['get_result_service'])
 }@
 
 @{
 TEMPLATE(
     'msg__struct.hpp.em',
     package_name=package_name, interface_path=interface_path,
-    message=action.feedback_message, include_directives=include_directives)
+    message=action.feedback_message, include_directives=include_directives,
+    type_hash=type_hash['feedback_message'])
 }@
 
 @[for header_file in action_includes]@
@@ -72,6 +79,8 @@ namespace @(ns)
 @[end for]@
 struct @(action.namespaced_type.name)
 {
+  static constexpr const @(type_hash_to_c_definition("TYPE_VERSION_HASH", type_hash['action'], indent=2))@
+
   /// The goal message defined in the action definition.
   using Goal = @(action_name)@(ACTION_GOAL_SUFFIX);
   /// The result message defined in the action definition.