src/edu/uci/eecs/specCompiler/grammerParser/SpecParserConstants.java

   1 /* Generated By:JavaCC: Do not edit this line. SpecParserConstants.java */
   2 package edu.uci.eecs.specCompiler.grammerParser;
   3
   4
   5 /**
   6  * Token literal values and constants.
   7  * Generated by org.javacc.parser.OtherFilesGen#start()
   8  */
   9 public interface SpecParserConstants {
  10
  11   /** End of File. */
  12   int EOF = 0;
  13   /** RegularExpression Id. */
  14   int SPACE = 5;
  15   /** RegularExpression Id. */
  16   int COMMENT = 6;
  17   /** RegularExpression Id. */
  18   int HEAD = 7;
  19   /** RegularExpression Id. */
  20   int TAIL = 8;
  21   /** RegularExpression Id. */
  22   int BEGIN = 9;
  23   /** RegularExpression Id. */
  24   int END = 10;
  25   /** RegularExpression Id. */
  26   int ID = 11;
  27   /** RegularExpression Id. */
  28   int CONDITION = 12;
  29   /** RegularExpression Id. */
  30   int CHECK = 13;
  31   /** RegularExpression Id. */
  32   int ACTION = 14;
  33   /** RegularExpression Id. */
  34   int POST_ACTION = 15;
  35   /** RegularExpression Id. */
  36   int POST_CHECK = 16;
  37   /** RegularExpression Id. */
  38   int GLOBAL_DEFINE = 17;
  39   /** RegularExpression Id. */
  40   int HAPPENS_BEFORE = 18;
  41   /** RegularExpression Id. */
  42   int INTERFACE_CLUSTER = 19;
  43   /** RegularExpression Id. */
  44   int POTENTIAL_COMMIT_POINT = 20;
  45
  46   /** Lexical state. */
  47   int DEFAULT = 0;
  48
  49   /** Literal token values. */
  50   String[] tokenImage = {
  51     "<EOF>",
  52     "\" \"",
  53     "\"\\n\"",
  54     "\"\\r\"",
  55     "\"\\r\\n\"",
  56     "<SPACE>",
  57     "<COMMENT>",
  58     "\"/**\"",
  59     "\"*/\"",
  60     "\"@Begin\"",
  61     "\"@End\"",
  62     "\"@ID:\"",
  63     "\"@Condition:\"",
  64     "\"@Check:\"",
  65     "\"@Action:\"",
  66     "\"@Post_action:\"",
  67     "\"@Post_check:\"",
  68     "\"@Global_define:\"",
  69     "\"@Happens_before:\"",
  70     "\"@Interface_cluster:\"",
  71     "\"@Potential_commit_point:\"",
  72   };
  73
  74 }