/*
 * Licensed to the Apache Software Foundation (ASF) under one
 * or more contributor license agreements.  See the NOTICE file
 * distributed with this work for additional information
 * regarding copyright ownership.  The ASF licenses this file
 * to you under the Apache License, Version 2.0 (the
 * "License"); you may not use this file except in compliance
 * with the License.  You may obtain a copy of the License at
 *
 *   https://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing,
 * software distributed under the License is distributed on an
 * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
 * KIND, either express or implied.  See the License for the
 * specific language governing permissions and limitations
 * under the License.
 */
/* Generated By:JJTree&JavaCC: Do not edit this line. MiniParserConstants.java */
package Mini;

public interface MiniParserConstants {

    int EOF = 0;
    int SINGLE_LINE_COMMENT = 7;
    int GT = 16;
    int LT = 17;
    int GEQ = 18;
    int LEQ = 19;
    int EQ = 20;
    int NEQ = 21;
    int NOT = 22;
    int FALSE = 23;
    int TRUE = 24;
    int AND = 25;
    int OR = 26;
    int PLUS = 27;
    int MINUS = 28;
    int MULT = 29;
    int MOD = 30;
    int DIV = 31;
    int LPAREN = 32;
    int RPAREN = 33;
    int ASSIGN = 34;
    int COMMA = 35;
    int READ = 36;
    int WRITE = 37;
    int DIGIT = 38;
    int LETTER = 39;
    int IDENT = 40;
    int INTEGER = 41;
    int STRING = 42;

    int DEFAULT = 0;
    int SINGLE_LINE_COMMENT_STATE = 1;

    String[] tokenImage = {"<EOF>", "\" \"", "\"\\t\"", "\"\\n\"", "\"\\r\"", "\"\\f\"", "\"--\"", "<SINGLE_LINE_COMMENT>", "<token of kind 8>", "\"FUN\"",
        "\"IF\"", "\"THEN\"", "\"ELSE\"", "\"FI\"", "\"LET\"", "\"IN\"", "\">\"", "\"<\"", "\">=\"", "\"<=\"", "\"==\"", "\"!=\"", "\"!\"", "\"FALSE\"",
        "\"TRUE\"", "\"AND\"", "\"OR\"", "\"+\"", "\"-\"", "\"*\"", "\"%\"", "\"/\"", "\"(\"", "\")\"", "\"=\"", "\",\"", "\"READ\"", "\"WRITE\"", "<DIGIT>",
        "<LETTER>", "<IDENT>", "<INTEGER>", "<STRING>",};

}