00001
00002 package edu.tum.cs.logic.parser;
00003
00004 public @SuppressWarnings("all") interface FormulaParserConstants {
00005
00006 int EOF = 0;
00007 int NOT = 5;
00008 int OR = 6;
00009 int AND = 7;
00010 int IMPLIES = 8;
00011 int EQUALS = 9;
00012 int IFF = 10;
00013 int EXIST = 11;
00014 int FORALL = 12;
00015 int OPENRB = 13;
00016 int CLOSERB = 14;
00017 int LISTSEP = 15;
00018 int LCCHAR = 16;
00019 int UCCHAR = 17;
00020 int DIGIT = 18;
00021 int IDENTCHAR = 19;
00022 int NUMBER = 20;
00023 int UCIDENT = 21;
00024 int LCIDENT = 22;
00025
00026 int DEFAULT = 0;
00027
00028 String[] tokenImage = {
00029 "<EOF>",
00030 "\" \"",
00031 "\"\\r\"",
00032 "\"\\t\"",
00033 "\"\\n\"",
00034 "\"!\"",
00035 "\"v\"",
00036 "\"^\"",
00037 "\"=>\"",
00038 "\"=\"",
00039 "\"<=>\"",
00040 "<EXIST>",
00041 "\"FORALL\"",
00042 "\"(\"",
00043 "\")\"",
00044 "\",\"",
00045 "<LCCHAR>",
00046 "<UCCHAR>",
00047 "<DIGIT>",
00048 "<IDENTCHAR>",
00049 "<NUMBER>",
00050 "<UCIDENT>",
00051 "<LCIDENT>",
00052 };
00053
00054 }
