Annotation Support

[model-checker.git] / action.h

diff --git a/action.h b/action.h
index d7d86ced55de125a0a8dbd6e167e30c47bf0bdd8..ad3b828a6a5da33e61140eb0f9fa57831c00fefc 100644 (file)
--- 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;