/**
 * Copyright 2010 JBoss Inc
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

package org.drools.lang;

import org.antlr.runtime.CharStream;
import org.antlr.runtime.CommonToken;
import org.antlr.runtime.Token;

/**
 * An extension of the CommonToken class that keeps the char offset information
 * 
 * @author porcelli
 * 
 */
public class DroolsToken extends CommonToken {

	private static final long serialVersionUID = 510l;

	/**
	 * editor type
	 * 
	 * @see DroolsEditorType
	 */
	private DroolsEditorType editorType = DroolsEditorType.IDENTIFIER;

	public DroolsToken(int type) {
		super(type);
	}

	public DroolsToken(CharStream input, int type, int channel, int start,
			int stop) {
		super(input, type, channel, start, stop);
	}

	public DroolsToken(int type, String text) {
		super(type, text);
	}

	/**
	 * Constructor that preserves the char offset
	 * 
	 * @param oldToken
	 */
	public DroolsToken(Token oldToken) {
		super(oldToken);
		if (null != oldToken
				&& (oldToken.getClass().equals(CommonToken.class) || oldToken
						.getClass().equals(DroolsToken.class))) {
			start = ((CommonToken) oldToken).getStartIndex();
			stop = ((CommonToken) oldToken).getStopIndex();
		}
	}

	/**
	 * getter of editor type
	 * 
	 * @return editor type
	 * @see DroolsEditorType
	 */
	public DroolsEditorType getEditorType() {
		return editorType;
	}

	/**
	 * setter of editor type
	 * 
	 * @param editorElementType
	 *            editor type
	 * @see DroolsEditorType
	 */
	public void setEditorType(DroolsEditorType editorType) {
		this.editorType = editorType;
	}
}