class Roby::DRoby::V5::ExecutionExceptionDumper::DRoby

Attributes

exception[R]
handled[R]
trace[R]

Public Class Methods

new(trace, exception, handled) click to toggle source
# File lib/roby/droby/v5/droby_dump.rb, line 178
def initialize(trace, exception, handled)
    @trace, @exception, @handled = trace, exception, handled
end

Public Instance Methods

proxy(peer) click to toggle source
# File lib/roby/droby/v5/droby_dump.rb, line 182
def proxy(peer)
    trace     = peer.local_object(self.trace)
    exception = peer.local_object(self.exception)
    result = ExecutionException.new(exception)
    result.trace.replace(trace)
    result.handled = self.handled
    result
end