class Roby::DRoby::V5::DistributedObjectDumper::DRoby

Attributes

owners[R]

The set of owners for that object.

remote_siblings[R]

The set of remote siblings for that object, as known by the peer who called droby_dump. This is used to match object identity among plan managers.

Public Class Methods

new(remote_siblings, owners) click to toggle source

Create a DistributedObject::DRoby object with the given information

# File lib/roby/droby/v5/droby_dump.rb, line 273
def initialize(remote_siblings, owners)
    @remote_siblings, @owners = remote_siblings, owners
end

Public Instance Methods

update(peer, proxy, fresh_proxy: false) click to toggle source

Update an existing proxy, using the information stored in this DRoby object.

# File lib/roby/droby/v5/droby_dump.rb, line 279
def update(peer, proxy, fresh_proxy: false)
    proxy.clear_owners
    owners.each do |m_owner|
        proxy.add_owner(peer.local_object(m_owner))
    end
end