add more stuff to spec-compiler.jj

diff --git a/grammer/spec-compiler.jj b/grammer/spec-compiler.jj
index 45960880b935606614470f42822555d1aea74a53..9627a89eb92534aebd95313c4cc4adaf977a8ed6 100644 (file)
--- 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:">
        
 }