public Scanner(Stream file) { this._currentStart = 23; this.handler = null; this.buffer = TextBuffer.NewTextBuff(file); this._cNum = -1; this._chr = 10; this.GetChr(); }
public void SetSource(string source, int offset) { this.buffer = new StringBuffer(source); this.buffer.Position = offset; if (offset == 0) { this._cNum = -1; } else { this._cNum = offset - 1; } this._chr = 10; this.GetChr(); }