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.



1152
1153
1154
1155
 
# File 'lib/roby/test/execution_expectations.rb', line 1152

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

Instance Method Details

#to_s ⇒ Object 



1165
1166
1167
 
# File 'lib/roby/test/execution_expectations.rb', line 1165

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

#unachievable?(_propagation_info) ⇒ Boolean

Returns:

  • (Boolean) 


1161
1162
1163
 
# File 'lib/roby/test/execution_expectations.rb', line 1161

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

#update_match(_propagation_info) ⇒ Object 



1157
1158
1159
 
# File 'lib/roby/test/execution_expectations.rb', line 1157

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