module Roby::DRoby::V5::PlanDumper

Public Instance Methods

droby_dump(peer) click to toggle source
# File lib/roby/droby/v5/droby_dump.rb, line 570
def droby_dump(peer)
    peer.dump_groups(tasks, task_events, free_events) do |tasks, task_events, free_events|
        mission_tasks = peer.dump(self.mission_tasks)
        permanent_tasks  = peer.dump(self.permanent_tasks)
        permanent_events = peer.dump(self.permanent_events)
        task_relation_graphs = each_task_relation_graph.map do |g|
            edges = peer.dump(g.each_edge.flat_map { |*args| args })
            [peer.dump_model(g.class), edges]
        end
        event_relation_graphs = each_event_relation_graph.map do |g|
            edges = peer.dump(g.each_edge.flat_map { |*args| args })
            [peer.dump_model(g.class), edges]
        end

        DRoby.new(
            DRobyConstant.new(self.class), droby_id,
            tasks, task_events, free_events,
            mission_tasks, permanent_tasks, permanent_events,
            task_relation_graphs, event_relation_graphs)
    end
end