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. PrologParserConstants.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 PrologParserConstants {
028
029  /** End of File. */
030  int EOF = 0;
031  /** RegularExpression Id. */
032  int SINGLE_LINE_COMMENT = 6;
033  /** RegularExpression Id. */
034  int NOT = 7;
035  /** RegularExpression Id. */
036  int DOUBLE = 8;
037  /** RegularExpression Id. */
038  int NUMBER = 9;
039  /** RegularExpression Id. */
040  int DIGIT = 10;
041  /** RegularExpression Id. */
042  int STRINGCONSTANT = 11;
043  /** RegularExpression Id. */
044  int VAR = 12;
045  /** RegularExpression Id. */
046  int IDENTIFIER = 13;
047  /** RegularExpression Id. */
048  int OPERATOR = 14;
049  /** RegularExpression Id. */
050  int ANYCHAR = 15;
051  /** RegularExpression Id. */
052  int LOCASE = 16;
053  /** RegularExpression Id. */
054  int HICASE = 17;
055  /** RegularExpression Id. */
056  int SPECIALCHAR = 18;
057
058  /** Lexical state. */
059  int DEFAULT = 0;
060
061  /** Literal token values. */
062  String[] tokenImage = {
063    "<EOF>",
064    "\" \"",
065    "\"\\t\"",
066    "\"\\n\"",
067    "\"\\r\"",
068    "\"\\f\"",
069    "<SINGLE_LINE_COMMENT>",
070    "\"not\"",
071    "<DOUBLE>",
072    "<NUMBER>",
073    "<DIGIT>",
074    "<STRINGCONSTANT>",
075    "<VAR>",
076    "<IDENTIFIER>",
077    "<OPERATOR>",
078    "<ANYCHAR>",
079    "<LOCASE>",
080    "<HICASE>",
081    "<SPECIALCHAR>",
082    "\":-\"",
083    "\".\"",
084    "\",\"",
085    "\"(\"",
086    "\")\"",
087    "\"[]\"",
088    "\"[\"",
089    "\"]\"",
090    "\"|\"",
091  };
092
093}