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; }