X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=action.h;h=ad3b828a6a5da33e61140eb0f9fa57831c00fefc;hp=d7d86ced55de125a0a8dbd6e167e30c47bf0bdd8;hb=2d0d4ac38e05905a6633b3f2d5112ccadd45c27f;hpb=5c4efe5cd8bdfe1e85138396109876a121ca61d1

diff --git a/action.h b/action.h
index d7d86ce..ad3b828 100644
--- a/action.h
+++ b/action.h
@@ -70,7 +70,9 @@ typedef enum action_type {
 	ATOMIC_UNLOCK,        /**< An unlock action */
 	ATOMIC_NOTIFY_ONE,    /**< A notify_one action */
 	ATOMIC_NOTIFY_ALL,    /**< A notify all action */
-	ATOMIC_WAIT           /**< A wait action */
+	ATOMIC_WAIT,          /**< A wait action */
+	ATOMIC_ANNOTATION     /**< An annotation action to pass information
+													 to a trace analysis */
 } action_type_t;
 
 /* Forward declaration */
@@ -142,6 +144,7 @@ public:
 	bool is_rmw() const;
 	bool is_fence() const;
 	bool is_initialization() const;
+	bool is_annotation() const;
 	bool is_relaxed() const;
 	bool is_acquire() const;
 	bool is_release() const;