private void InputStreamMark(out positionMarker m)
{
m.Pointer = streamInPtr;
m.Terminal = symbol.Terminal;
m.OValue = symbol.OValue;
m.Start = symbol.Start;
m.Final = symbol.Final;
m.FinalPlus = symbol.FinalPlus;
m.PrevFinal = symbol.PrevFinal;
m.LineNo = symbol.LineNo;
m.AbsSeqNo = symbol.AbsSeqNo;
m.RelSeqNo = symbol.RelSeqNo;
m.LineStart = symbol.LineStart;
m.HasIdFormat = symbol.HasIdFormat;
m.Processed = symbol.IsProcessed;
m.IsSet = true;
}
private void InputStreamRedo(positionMarker m, int n)
{
if (!m.IsSet)
throw new Exception("REDO Error: positionMarker " + n.ToString() + " is not set");
InitCh(m.Pointer);
symbol.Terminal = m.Terminal;
symbol.OValue = m.OValue;
symbol.Start = m.Start;
symbol.Final = m.Final;
symbol.FinalPlus = m.FinalPlus;
symbol.PrevFinal = m.PrevFinal;
symbol.LineNo = m.LineNo;
symbol.AbsSeqNo = m.AbsSeqNo;
symbol.RelSeqNo = m.RelSeqNo;
symbol.LineStart = m.LineStart;
symbol.HasIdFormat = m.HasIdFormat;
symbol.SetProcessed(m.Processed);
}
private void InitPositionMarkers(positionMarker[] ma)
{
for (int i = 0; i < 4; i++) ma[i].Start = UNDEF;
}