// // Builder stack // internal void PushOutput(IRecordOutput output) { Debug.Assert(output != null); _builder.OutputState = _xsm.State; RecordBuilder lastBuilder = _builder; _builder = new RecordBuilder(output, _nameTable); _builder.Next = lastBuilder; _xsm.Reset(); }