Esempio n. 1
0
 public Scanner(Stream file)
 {
     this._currentStart = 23;
     this.handler       = null;
     this.buffer        = TextBuffer.NewTextBuff(file);
     this._cNum         = -1;
     this._chr          = 10;
     this.GetChr();
 }
Esempio n. 2
0
 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();
 }
Esempio n. 3
0
		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();
		}
Esempio n. 4
0
		public Scanner(Stream file)
		{
			this._currentStart = 23;
			this.handler = null;
			this.buffer = TextBuffer.NewTextBuff(file);
			this._cNum = -1;
			this._chr = 10;
			this.GetChr();
		}