add setup-env.sh

[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / grammerParser / SpecParserConstants.java

diff --git a/src/edu/uci/eecs/specCompiler/grammerParser/SpecParserConstants.java b/src/edu/uci/eecs/specCompiler/grammerParser/SpecParserConstants.java
index 3e64f0484df00d2250855c67b79c47cc9d77b789..aadfd4f9152736184174983a6407bb1e76ef38ad 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/grammerParser/SpecParserConstants.java
+++ b/src/edu/uci/eecs/specCompiler/grammerParser/SpecParserConstants.java
@@ -13,15 +13,35 @@ public interface SpecParserConstants {
   /** RegularExpression Id. */
   int SPACE = 5;
   /** RegularExpression Id. */
-  int HEAD = 6;
+  int COMMENT = 6;
   /** RegularExpression Id. */
-  int TAIL = 7;
+  int HEAD = 7;
   /** RegularExpression Id. */
-  int BEGIN = 8;
+  int TAIL = 8;
   /** RegularExpression Id. */
-  int END = 9;
+  int BEGIN = 9;
   /** RegularExpression Id. */
-  int COMMENT = 10;
+  int END = 10;
+  /** RegularExpression Id. */
+  int ID = 11;
+  /** RegularExpression Id. */
+  int CONDITION = 12;
+  /** RegularExpression Id. */
+  int CHECK = 13;
+  /** RegularExpression Id. */
+  int ACTION = 14;
+  /** RegularExpression Id. */
+  int POST_ACTION = 15;
+  /** RegularExpression Id. */
+  int POST_CHECK = 16;
+  /** RegularExpression Id. */
+  int GLOBAL_DEFINE = 17;
+  /** RegularExpression Id. */
+  int HAPPENS_BEFORE = 18;
+  /** RegularExpression Id. */
+  int INTERFACE_CLUSTER = 19;
+  /** RegularExpression Id. */
+  int POTENTIAL_COMMIT_POINT = 20;
 
   /** Lexical state. */
   int DEFAULT = 0;
@@ -34,11 +54,21 @@ public interface SpecParserConstants {
     "\"\\r\"",
     "\"\\r\\n\"",
     "<SPACE>",
+    "<COMMENT>",
     "\"/**\"",
     "\"*/\"",
     "\"@Begin\"",
     "\"@End\"",
-    "<COMMENT>",
+    "\"@ID:\"",
+    "\"@Condition:\"",
+    "\"@Check:\"",
+    "\"@Action:\"",
+    "\"@Post_action:\"",
+    "\"@Post_check:\"",
+    "\"@Global_define:\"",
+    "\"@Happens_before:\"",
+    "\"@Interface_cluster:\"",
+    "\"@Potential_commit_point:\"",
   };
 
 }