NFAStateNameHandler.getOriginalNameFromInternal( computationState.getPreviousState().getName()), computationState.getEvent(), computationState.getTimestamp(), computationState.getCounter(),
convertedStates.get(currentName), previousState, readState.getEvent(), 0, readState.getTimestamp(),
computationState.getEvent(), computationState.getTimestamp(), computationState.getCounter()); NFAStateNameHandler.getOriginalNameFromInternal( newComputationState.getPreviousState().getName()), newComputationState.getEvent(), newComputationState.getTimestamp(), computationState.getCounter()); NFAStateNameHandler.getOriginalNameFromInternal( newComputationState.getPreviousState().getName()), newComputationState.getEvent(), newComputationState.getTimestamp(), computationState.getCounter()); NFAStateNameHandler.getOriginalNameFromInternal( state.getPreviousState().getName()), state.getEvent(), state.getTimestamp(), state.getCounter());
@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); } } }
edge.getTargetState(), computationState.getPreviousState(), computationState.getEvent(), computationState.getCounter(), computationState.getTimestamp(), final State<T> previousState = computationState.getPreviousState(); final T previousEvent = computationState.getEvent(); if (computationState.getEvent() != null) { computationState.getEvent(), computationState.getTimestamp(), computationState.getCounter());