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.



1209
1210
1211
1212
 
# File 'lib/roby/test/execution_expectations.rb', line 1209

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

Instance Method Details

#to_s ⇒ Object 



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

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

#unachievable?(_propagation_info) ⇒ Boolean

Returns:

  • (Boolean) 


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

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

#update_match(_propagation_info) ⇒ Object 



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

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