001/** 002 * Copyright (C) 2007 - 2016, Jens Lehmann 003 * 004 * This file is part of DL-Learner. 005 * 006 * DL-Learner is free software; you can redistribute it and/or modify 007 * it under the terms of the GNU General Public License as published by 008 * the Free Software Foundation; either version 3 of the License, or 009 * (at your option) any later version. 010 * 011 * DL-Learner is distributed in the hope that it will be useful, 012 * but WITHOUT ANY WARRANTY; without even the implied warranty of 013 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 014 * GNU General Public License for more details. 015 * 016 * You should have received a copy of the GNU General Public License 017 * along with this program. If not, see <http://www.gnu.org/licenses/>. 018 */ 019/* Generated By:JavaCC: Do not edit this line. KBParserConstants.java */ 020package org.dllearner.parser; 021 022/** 023 * Token literal values and constants. 024 * Generated by org.javacc.parser.OtherFilesGen#start() 025 */ 026@SuppressWarnings("all") 027public interface KBParserConstants { 028 029 /** End of File. */ 030 int EOF = 0; 031 /** RegularExpression Id. */ 032 int SINGLE_LINE_COMMENT = 5; 033 /** RegularExpression Id. */ 034 int FORMAL_COMMENT = 6; 035 /** RegularExpression Id. */ 036 int MULTI_LINE_COMMENT = 7; 037 /** RegularExpression Id. */ 038 int COMMAND_END = 8; 039 /** RegularExpression Id. */ 040 int ID = 9; 041 /** RegularExpression Id. */ 042 int NUMBER = 10; 043 /** RegularExpression Id. */ 044 int DOUBLE = 11; 045 /** RegularExpression Id. */ 046 int TOP = 12; 047 /** RegularExpression Id. */ 048 int BOTTOM = 13; 049 /** RegularExpression Id. */ 050 int AND = 14; 051 /** RegularExpression Id. */ 052 int OR = 15; 053 /** RegularExpression Id. */ 054 int EXISTS = 16; 055 /** RegularExpression Id. */ 056 int ALL = 17; 057 /** RegularExpression Id. */ 058 int NOT = 18; 059 /** RegularExpression Id. */ 060 int GE = 19; 061 /** RegularExpression Id. */ 062 int LE = 20; 063 /** RegularExpression Id. */ 064 int STRING = 21; 065 066 /** Lexical state. */ 067 int DEFAULT = 0; 068 069 /** Literal token values. */ 070 String[] tokenImage = { 071 "<EOF>", 072 "\" \"", 073 "\"\\t\"", 074 "\"\\n\"", 075 "\"\\r\"", 076 "<SINGLE_LINE_COMMENT>", 077 "<FORMAL_COMMENT>", 078 "<MULTI_LINE_COMMENT>", 079 "\".\"", 080 "<ID>", 081 "<NUMBER>", 082 "<DOUBLE>", 083 "\"TOP\"", 084 "\"BOTTOM\"", 085 "\"AND\"", 086 "\"OR\"", 087 "<EXISTS>", 088 "<ALL>", 089 "<NOT>", 090 "\">=\"", 091 "\"<=\"", 092 "<STRING>", 093 "\"(\"", 094 "\")\"", 095 "\",\"", 096 "\"=\"", 097 "\"SUBCLASSOF\"", 098 "\"SUB\"", 099 "\"Transitive\"", 100 "\"Functional\"", 101 "\"Symmetric\"", 102 "\"Inverse\"", 103 "\"Subrole\"", 104 "\"SUBCONCEPTOF\"", 105 "\"DOMAIN\"", 106 "\"OPDOMAIN\"", 107 "\"OBJECTPROPERTYDOMAIN\"", 108 "\"DPDOMAIN\"", 109 "\"DATATYPEPROPERTYDOMAIN\"", 110 "\"RANGE\"", 111 "\"OPRANGE\"", 112 "\"OBJECTPROPERTYRANGE\"", 113 "\"DPRANGE\"", 114 "\"DATATYPEPROPERTYRANGE\"", 115 "\"DOUBLE\"", 116 "\"BOOLEAN\"", 117 "\"INTEGER\"", 118 "\"IS\"", 119 "\"TRUE\"", 120 "\"FALSE\"", 121 "\"HASVALUE\"", 122 "\"STRINGVALUE\"", 123 }; 124 125}