/* Generated By:JavaCC: Do not edit this line. ExpressionParserConstants.java */
package dfatool.parser;


/**
 * Token literal values and constants.
 * Generated by org.javacc.parser.OtherFilesGen#start()
 */
public interface ExpressionParserConstants {

  /** End of File. */
  int EOF = 0;
  /** RegularExpression Id. */
  int EQUAL = 5;
  /** RegularExpression Id. */
  int DIFF = 6;
  /** RegularExpression Id. */
  int DOT = 7;
  /** RegularExpression Id. */
  int COMMA = 8;
  /** RegularExpression Id. */
  int VERTBAR = 9;
  /** RegularExpression Id. */
  int DOTDOT = 10;
  /** RegularExpression Id. */
  int LBRAC = 11;
  /** RegularExpression Id. */
  int RBRAC = 12;
  /** RegularExpression Id. */
  int LBRACBAR = 13;
  /** RegularExpression Id. */
  int RBRACBAR = 14;
  /** RegularExpression Id. */
  int LANGLE = 15;
  /** RegularExpression Id. */
  int RANGLE = 16;
  /** RegularExpression Id. */
  int TWOPOINTS = 17;
  /** RegularExpression Id. */
  int LPAR = 18;
  /** RegularExpression Id. */
  int RPAR = 19;
  /** RegularExpression Id. */
  int PLUS = 20;
  /** RegularExpression Id. */
  int MINUS = 21;
  /** RegularExpression Id. */
  int MOD = 22;
  /** RegularExpression Id. */
  int IF = 23;
  /** RegularExpression Id. */
  int THEN = 24;
  /** RegularExpression Id. */
  int ELSE = 25;
  /** RegularExpression Id. */
  int CONSTANT = 26;
  /** RegularExpression Id. */
  int DIGIT = 27;
  /** RegularExpression Id. */
  int LETTER = 28;
  /** RegularExpression Id. */
  int IDENTIFIER = 29;

  /** Lexical state. */
  int DEFAULT = 0;

  /** Literal token values. */
  String[] tokenImage = {
    "<EOF>",
    "\" \"",
    "\"\\r\"",
    "\"\\t\"",
    "\"\\n\"",
    "\"==\"",
    "\"!=\"",
    "\".\"",
    "\",\"",
    "\"|\"",
    "\"..\"",
    "\"{\"",
    "\"}\"",
    "\"{|\"",
    "\"|}\"",
    "\"<\"",
    "\">\"",
    "\":\"",
    "\"(\"",
    "\")\"",
    "\"+\"",
    "\"-\"",
    "\"%\"",
    "\"if\"",
    "\"then\"",
    "\"else\"",
    "<CONSTANT>",
    "<DIGIT>",
    "<LETTER>",
    "<IDENTIFIER>",
    "\"<-\"",
  };

}
