Class: Roby::Test::ExecutionExpectations::NotBecomeUnreachable

Inherits:
Expectation show all
Defined in:
lib/roby/test/execution_expectations.rb

Instance Attribute Summary

Attributes inherited from Expectation

#backtrace

Instance Method Summary collapse

Methods inherited from Expectation

#explain_unachievable, #filter_result, #filter_result_with, #format_unachievable_explanation, #relates_to_error?

Constructor Details

#initialize(generator, backtrace) ⇒ NotBecomeUnreachable

Returns a new instance of NotBecomeUnreachable.



1214
1215
1216
1217
 
# File 'lib/roby/test/execution_expectations.rb', line 1214

def initialize(generator, backtrace)
    super(backtrace)
    @generator = generator
end

Instance Method Details

#to_s ⇒ Object 



1227
1228
1229
 
# File 'lib/roby/test/execution_expectations.rb', line 1227

def to_s
    "#{@generator} should not be unreachable"
end

#unachievable?(_propagation_info) ⇒ Boolean

Returns:

  • (Boolean) 


1223
1224
1225
 
# File 'lib/roby/test/execution_expectations.rb', line 1223

def unachievable?(_propagation_info)
    @generator.unreachable?
end

#update_match(_propagation_info) ⇒ Object 



1219
1220
1221
 
# File 'lib/roby/test/execution_expectations.rb', line 1219

def update_match(_propagation_info)
    !@generator.unreachable?
end