class Roby::Transaction::ReachabilityTransactionVisitor

Attributes

plan_seeds[R]
transaction_set[R]

Public Class Methods

new(graph, transaction, plan_seeds, transaction_set) click to toggle source
# File lib/roby/transaction.rb, line 1033
def initialize(graph, transaction, plan_seeds, transaction_set)
    super(graph, transaction)
    @plan_seeds = plan_seeds
    @transaction_set = transaction_set
end

Public Instance Methods

handle_examine_vertex(v) click to toggle source
# File lib/roby/transaction.rb, line 1039
def handle_examine_vertex(v)
    if (start_vertex != v) && transaction_set.include?(v)
        throw :reachable, true
    elsif v.transaction_proxy?
        plan_seeds << v.__getobj__
    end
end