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