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 00033 package theoremprover; 00034 00035 public class CharacterToken extends GenericToken 00036 { 00037 public CharacterToken (String str, int i) 00038 { 00039 super(str,i); 00040 } 00041 00042 // Testing... 00043 00044 public boolean isCharacter () 00045 { 00046 return true; 00047 } 00048 00049 // Printing... 00050 00051 public String print () 00052 { 00053 return "character(" + value + ")"; 00054 } 00055 00056 00057 } 00058