if (computationState.getPreviousState() == null) { return new HashMap<>(); computationState.getPreviousState().getName()), computationState.getEvent(), computationState.getTimestamp(),
NFAStateNameHandler.getOriginalNameFromInternal(computationState.getPreviousState().getName()), computationState.getEvent(), computationState.getTimestamp(), newComputationState.getPreviousState().getName()), newComputationState.getEvent(), newComputationState.getTimestamp(), eventSharedBuffer.release( NFAStateNameHandler.getOriginalNameFromInternal( newComputationState.getPreviousState().getName()), newComputationState.getEvent(), newComputationState.getTimestamp(), eventSharedBuffer.release( NFAStateNameHandler.getOriginalNameFromInternal( state.getPreviousState().getName()), state.getEvent(), state.getTimestamp(),
@Override public void serialize(NFA<T> record, DataOutputView target) throws IOException { serializeStates(record.states, target); target.writeLong(record.windowTime); target.writeBoolean(record.handleTimeout); sharedBufferSerializer.serialize(record.eventSharedBuffer, target); target.writeInt(record.computationStates.size()); StringSerializer stateNameSerializer = StringSerializer.INSTANCE; LongSerializer timestampSerializer = LongSerializer.INSTANCE; DeweyNumber.DeweyNumberSerializer versionSerializer = new DeweyNumber.DeweyNumberSerializer(); for (ComputationState<T> computationState: record.computationStates) { stateNameSerializer.serialize(computationState.getState().getName(), target); stateNameSerializer.serialize(computationState.getPreviousState() == null ? null : computationState.getPreviousState().getName(), target); timestampSerializer.serialize(computationState.getTimestamp(), target); versionSerializer.serialize(computationState.getVersion(), target); timestampSerializer.serialize(computationState.getStartTimestamp(), target); target.writeInt(computationState.getCounter()); if (computationState.getEvent() == null) { target.writeBoolean(false); } else { target.writeBoolean(true); eventSerializer.serialize(computationState.getEvent(), target); } } }
resultingComputationStates, edge.getTargetState(), computationState.getPreviousState(), computationState.getEvent(), computationState.getCounter(), final State<T> nextState = edge.getTargetState(); final State<T> currentState = edge.getSourceState(); final State<T> previousState = computationState.getPreviousState(); computationState.getPreviousState().getName()), computationState.getEvent(), computationState.getTimestamp(),