as2fm.jani_generator.ros_helpers.ros_communication_handler.update_ros_communication_handlers_servers

as2fm.jani_generator.ros_helpers.ros_communication_handler.update_ros_communication_handlers_servers(automaton_name: str, handler_class: Type[RosCommunicationHandler], handlers_dict: Dict[str, RosCommunicationHandler], server_decl: RosDeclaration)

Update the ROS communication handlers with the given server declaration.

Parameters:

• automaton_name – The name of the automaton where the interfaces are declared.

• handlers_dict – The dictionary of ROS communication handlers to update.

• server_decl – Declaration of the new server to add.