Method |
Description |
|
ReachabilityTable_must_be_pruned_when_all_records_of_an_observer_are_reachable ( ) : void |
|
|
ReachabilityTable_must_be_reachable_when_empty ( ) : void |
|
|
ReachabilityTable_must_be_unreachable_when_one_observed_unreachable ( ) : void |
|
|
ReachabilityTable_must_be_unreachable_when_some_observed_unreachable_and_other_reachable ( ) : void |
|
|
ReachabilityTable_must_have_correct_aggregated_status ( ) : void |
|
|
ReachabilityTable_must_have_correct_status_for_a_mix_of_nodes ( ) : void |
|
|
ReachabilityTable_must_merge_by_taking_allowed_set_into_account ( ) : void |
|
|
ReachabilityTable_must_merge_correctly_after_pruning ( ) : void |
|
|
ReachabilityTable_must_merge_versions_correctly ( ) : void |
|
|
ReachabilityTable_must_not_be_reachable_when_terminated ( ) : void |
|
|
ReachabilityTable_must_not_change_terminated_entry ( ) : void |
|
|
ReachabilityTable_must_not_change_when_same_status ( ) : void |
|
|
ReachabilityTable_must_reachable_when_all_observed_reachable_again ( ) : void |
|
|
ReachabilityTable_must_remove_node ( ) : void |
|
|