public void doDiscards() { if (nodeSetListener != null) { for (long order : mayHits) nodeSetListener.discard(order); } }
@Override public void discard(long order) { mayHits.remove(order); nodeSetListener.discard(order); }
@Override public void mayHit() { mayHits.add(event.order()); nodeSetListener.mayHit(); }