| 18 | #include "state_tracker/event_state.h" |
| 19 | |
| 20 | bool EventSignalState::HasKnownEffect(const EventSignalState* prior_state) const { |
| 21 | // After a reset, later signal/reset commands define the event state |
| 22 | if (was_reset) { |
| 23 | return true; |
| 24 | } |
| 25 | // If the prior state ended unsignaled, this state cannot be a repeated |
| 26 | // signal and defines the event state |
| 27 | const bool is_prior_unsignaled = prior_state && !prior_state->signaled; |
| 28 | return is_prior_unsignaled; |
| 29 | } |
| 30 | |
| 31 | const EventSignalState* ResolveSecondarySignal(const EventSignalState* prior_state, const EventSignalState* secondary_state) { |
| 32 | if (secondary_state && secondary_state->HasKnownEffect(prior_state)) { |
no outgoing calls
no test coverage detected