From ee6ddc5f746aed2d554684557faad6733c3570af Mon Sep 17 00:00:00 2001
From: Peizhao Ou <peizhaoo@uci.edu>
Date: Tue, 8 Oct 2013 20:25:14 -0700
Subject: [PATCH] add more stuff to spec-compiler.jj

---
 grammer/spec-compiler.jj | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

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:">
 	
 }
 
-- 
2.34.1