class Roby::DRoby::V5::Queries::ExecutionExceptionMatcherDumper::DRoby

An intermediate representation of ExecutionExceptionMatcher objects suitable to be sent to our peers.

Attributes

exception_matcher[R]
involved_tasks_matchers[R]

Public Class Methods

new(exception_matchers, involved_tasks_matchers) click to toggle source
# File lib/roby/droby/v5/droby_dump.rb, line 855
def initialize(exception_matchers, involved_tasks_matchers)
    @exception_matcher = exception_matcher
    @involved_tasks_matchers = involved_tasks_matchers
end

Public Instance Methods

proxy(peer) click to toggle source
# File lib/roby/droby/v5/droby_dump.rb, line 859
def proxy(peer)
    matcher = Roby::Queries::ExecutionExceptionMatcher.new
    matcher.with_exception(peer.local_object(exception_matcher))
    involved_tasks_matchers.each do |m|
        matcher.involving(peer.local_object(m))
    end
    matcher
end