From: Peizhao Ou <peizhaoo@uci.edu>
Date: Wed, 9 Oct 2013 03:25:14 +0000 (-0700)
Subject: add more stuff to spec-compiler.jj
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=commitdiff_plain;h=ee6ddc5f746aed2d554684557faad6733c3570af;ds=sidebyside

add more stuff to spec-compiler.jj
---

diff --git a/grammer/spec-compiler.jj b/grammer/spec-compiler.jj
index 4596088..9627a89 100644
--- a/grammer/spec-compiler.jj
+++ b/grammer/spec-compiler.jj
@@ -34,6 +34,25 @@ TOKEN :
 |
 	<END: "@End">
 |
+	<ID: "@ID:">
+|
+	<CONDITION: "@Condition:">
+|
+	<CHECK: "@Check:">
+|
+	<ACTION: "@Action:">
+|
+	<POST_ACTION: "@Post_action:">
+|
+	<POST_CHECK: "@Post_check:">
+|
+	<GLOBAL_DEFINE: "@Global_define:">
+|
+	<HAPPENS_BEFORE: "@Happens_before:">
+|
+	<INTERFACE_CLUSTER: "@Interface_cluster:">
+|
+	<POTENTIAL_COMMIT_POINT: "@Potential_commit_point:">
 	
 }