00001 /* 00002 * (c) copyright 2008, Technische Universitaet Graz and Technische Universitaet Wien 00003 * 00004 * This file is part of jdiagengine. 00005 * 00006 * jdiagengine is free software: you can redistribute it and/or modify 00007 * it under the terms of the GNU General Public License as published by 00008 * the Free Software Foundation, either version 3 of the License, or 00009 * (at your option) any later version. 00010 * 00011 * jdiagengine is distributed in the hope that it will be useful, 00012 * but WITHOUT ANY WARRANTY; without even the implied warranty of 00013 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00014 * GNU General Public License for more details. 00015 * You should have received a copy of the GNU General Public License 00016 * along with jdiagengine. If not, see <http://www.gnu.org/licenses/>. 00017 * 00018 * Authors: Joerg Weber, Franz Wotawa 00019 * Contact: jweber@ist.tugraz.at (preferred), or fwotawa@ist.tugraz.at 00020 * 00021 */ 00022 00023 00034 package theoremprover; 00035 00036 import java.lang.*; // Java language classes 00037 import java.awt.*; // User Interface components 00038 import java.io.*; // IO specific classes (File, Stream,..) 00039 import java.awt.event.*; // Event handling 00040 00041 import theoremprover.*; 00042 00043 public class ParserErrorException extends Exception 00044 { 00045 // Instance creation and initialization 00046 00047 public ParserErrorException() { 00048 super(); 00049 } 00050 00051 public ParserErrorException(String str) { 00052 super(str); 00053 } 00054 }