path: root/plugins/org.eclipse.gmt.tcs.builder/src/org/eclipse/gmt/tcs/builder/ParserGeneratorErrorListener.java

/**
 * Copyright (c) 2008 INRIA.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 * 
 * Contributors:
 *     INRIA - initial API and implementation
 *
 * $Id: ParserGeneratorErrorListener.java,v 1.1 2008/06/28 17:15:27 fjouault Exp $
 */
package org.eclipse.gmt.tcs.builder;

/**
 * 
 * @author Frédéric Jouault
 * 
 */
public interface ParserGeneratorErrorListener {

	public void addError(String message, int lineNumber, int charStart, int charEnd);

	public void addInfo(String message, int lineNumber, int charStart, int charEnd);

	public void addWarning(String message, int lineNumber, int charStart, int charEnd);
}