Class: Roby::Transaction::ReachabilityTransactionVisitor

Inherits:
ReachabilityVisitor show all
Defined in:
lib/roby/transaction.rb

Instance Attribute Summary collapse

Attributes inherited from ReachabilityVisitor

#start_vertex, #transaction

Instance Method Summary collapse

Methods inherited from ReachabilityVisitor

#handle_start_vertex

Constructor Details

#initialize(graph, transaction, plan_seeds, transaction_set) ⇒ ReachabilityTransactionVisitor 



1033
1034
1035
1036
1037
 
# 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

Instance Attribute Details

#plan_seeds ⇒ Object (readonly)

Returns the value of attribute plan_seeds.



1031
1032
1033
 
# File 'lib/roby/transaction.rb', line 1031

def plan_seeds
  @plan_seeds
end

#transaction_set ⇒ Object (readonly)

Returns the value of attribute transaction_set.



1030
1031
1032
 
# File 'lib/roby/transaction.rb', line 1030

def transaction_set
  @transaction_set
end

Instance Method Details

#handle_examine_vertex(v) ⇒ Object 



1039
1040
1041
1042
1043
1044
1045
 
# 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