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}