private IsEarlierThan ( |
||
ev | ||
Résultat | bool |
public void Push(PendingEvent ev) { if (ev == null) { throw new ArgumentNullException(nameof(ev)); } var ei = Add(ev); while (ei > 0) { var pi = ParentIndex(ei); if (ev.IsEarlierThan(_events[pi])) { Swap(ei, pi); ei = pi; } else { break; } } }
public void Push(PendingEvent ev) { if (ev == null) throw new ArgumentNullException(nameof(ev)); var ei = Add(ev); while (ei > 0) { var pi = ParentIndex(ei); if (ev.IsEarlierThan(_events[pi])) { Swap(ei, pi); ei = pi; } else { break; } } }