bundles/org.eclipse.emf.emfatic.core/grammar/javaccParser/ExtSimpleCharStream.java

/**
 * @generated by Gymnast from Emfatic.ast on 09.02.2007 13:03:05
 */

package org.eclipse.emf.emfatic.core.lang.gen.parser;

public class ExtSimpleCharStream extends SimpleCharStream {

	/**
	 * The current character position in the input stream.
	 */
	public int inputOffset = -1;
	
	/**
	 * The start position of the current token in the input stream.
	 */
	public int tokenBeginOffset;
	
	
	public ExtSimpleCharStream(java.io.Reader dstream) {
		super(dstream);
	}
	
	public char BeginToken() throws java.io.IOException {
		tokenBegin = -1;
		tokenBeginOffset = -1;
		
		char c = readChar();
		
		tokenBegin = bufpos;
		tokenBeginOffset = inputOffset;

		return c;
	}
	
	protected void UpdateLineColumn(char c) {
		inputOffset++;
		super.UpdateLineColumn(c);
	}
	
}