private Processor.OutputResult CheckRecordEnd(int state) {
Debug.Assert(this.recordState == NoRecord || this.recordState == SomeRecord);
if ((state & StateMachine.EndRecord) != 0) {
this.recordState = HaveRecord;
FinalizeRecord();
SetEmptyFlag(state);
return this.output.RecordDone(this);
}
else {
// For end event, if there is no end token, don't force token
return Processor.OutputResult.Continue;
}
}