001    /* Generated By:JavaCC: Do not edit this line. ConfParserConstants.java */
002    package org.dllearner.parser;
003    
004    
005    /** 
006     * Token literal values and constants.
007     * Generated by org.javacc.parser.OtherFilesGen#start()
008     */
009    public interface ConfParserConstants {
010    
011      /** End of File. */
012      int EOF = 0;
013      /** RegularExpression Id. */
014      int SINGLE_LINE_COMMENT = 5;
015      /** RegularExpression Id. */
016      int FORMAL_COMMENT = 6;
017      /** RegularExpression Id. */
018      int MULTI_LINE_COMMENT = 7;
019      /** RegularExpression Id. */
020      int COMMAND_END = 8;
021      /** RegularExpression Id. */
022      int CONF_END = 9;
023      /** RegularExpression Id. */
024      int POS_EX = 10;
025      /** RegularExpression Id. */
026      int NEG_EX = 11;
027      /** RegularExpression Id. */
028      int ID = 12;
029      /** RegularExpression Id. */
030      int NUMBER = 13;
031      /** RegularExpression Id. */
032      int DOUBLE = 14;
033      /** RegularExpression Id. */
034      int TOP = 15;
035      /** RegularExpression Id. */
036      int BOTTOM = 16;
037      /** RegularExpression Id. */
038      int AND = 17;
039      /** RegularExpression Id. */
040      int OR = 18;
041      /** RegularExpression Id. */
042      int EXISTS = 19;
043      /** RegularExpression Id. */
044      int ALL = 20;
045      /** RegularExpression Id. */
046      int NOT = 21;
047      /** RegularExpression Id. */
048      int GE = 22;
049      /** RegularExpression Id. */
050      int LE = 23;
051      /** RegularExpression Id. */
052      int STRING = 24;
053    
054      /** Lexical state. */
055      int DEFAULT = 0;
056    
057      /** Literal token values. */
058      String[] tokenImage = {
059        "<EOF>",
060        "\" \"",
061        "\"\\t\"",
062        "\"\\n\"",
063        "\"\\r\"",
064        "<SINGLE_LINE_COMMENT>",
065        "<FORMAL_COMMENT>",
066        "<MULTI_LINE_COMMENT>",
067        "\".\"",
068        "\";\"",
069        "\"+\"",
070        "\"-\"",
071        "<ID>",
072        "<NUMBER>",
073        "<DOUBLE>",
074        "\"TOP\"",
075        "\"BOTTOM\"",
076        "\"AND\"",
077        "\"OR\"",
078        "<EXISTS>",
079        "<ALL>",
080        "<NOT>",
081        "\">=\"",
082        "\"<=\"",
083        "<STRING>",
084        "\"=\"",
085        "\"{\"",
086        "\"[\"",
087        "\"(\"",
088        "\",\"",
089        "\")\"",
090        "\"}\"",
091        "\"]\"",
092      };
093    
094    }