@Override public void accept(EventVisitor visitor) { visitor.visit(this); } }
private void validateTimestampHigherThanReadsCompletedBeforeInvoke(InvokeEvent invoke, OkEvent event) { OkEvent lastAcknowledgedRead = lastAcknowledgedReadBefore(invoke.time()); if (lastAcknowledgedRead != null) { long timestamp = Long.parseLong(event.value()); long lastAcknowledgedTimestamp = Long.parseLong(lastAcknowledgedRead.value()); if (lastAcknowledgedTimestamp >= timestamp) { errors.add(lastAcknowledgedRead); errors.add(invoke); errors.add(event); } } }
private static CheckerResult runIsolatedProcessRefreshSuccessChecker(List<Event> events) { Checker isolatedProcessCorrectnessChecker = new PartitionByInvokeNameCheckerHelper(IsolatedProcessCorrectnessChecker::new); return isolatedProcessCorrectnessChecker.check(events); }
@Override public void visit(InvokeEvent event) { int process = event.process(); pendingForProcess.put(process, event); }
@Override public void visit(OkEvent event) { if (awaitingInvokeOkCycle && processesPendingReads.contains(event.process())) { awaitingInvokeOkCycle = false; } }
@Override public void visit(FailEvent event) { Integer process = event.process(); pendingReadForProcess.remove(process); }
@Override public void accept(EventVisitor visitor) { visitor.visit(this); } }
@Override public void visit(InvokeEvent event) { if (awaitingInvokeOkCycle) { processesPendingReads.add(event.process()); } }
@Override public void accept(EventVisitor visitor) { visitor.visit(this); } }
@Override public void visit(InvokeEvent event) { Integer process = event.process(); pendingReadForProcess.put(process, event); }
@Override public void accept(EventVisitor visitor) { visitor.visit(this); } }
@Override public void visit(InvokeEvent event) { pendingForProcess.put(event.process(), event); }