protected AbstractOrigin(string[] sourceLines)
{
this.begin = new OriginLocation(this, new OriginPosition(0, 0));
this.sourceLines = sourceLines;
int nLines = sourceLines.Length;
if (nLines == 0)
{
this.end = begin;
}
else
{
this.end = new OriginLocation(this, new OriginPosition(nLines - 1, sourceLines[nLines - 1].Length));
}
}
public OriginReader(AbstractOrigin origin)
{
this.origin = origin;
this.curLocation = origin.begin;
}
