action: add is_thread_start()
authorBrian Norris <banorris@uci.edu>
Tue, 4 Dec 2012 02:29:42 +0000 (18:29 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 4 Dec 2012 02:29:42 +0000 (18:29 -0800)
action.cc
action.h

index 41a025ab7e6f463f4e1068b029e6fbf26683d39f..a90878f73d9edc34148359f127df6886d4574cd8 100644 (file)
--- a/action.cc
+++ b/action.cc
@@ -70,6 +70,11 @@ void ModelAction::set_seq_number(modelclock_t num)
        seq_number = num;
 }
 
+bool ModelAction::is_thread_start() const
+{
+       return type == THREAD_START;
+}
+
 bool ModelAction::is_relseq_fixup() const
 {
        return type == MODEL_FIXUP_RELSEQ;
index 82b8532dacb97b4c748620b4b5af8308d377ed6a..be87eca33f7400da44e308a598c6c3084044d620 100644 (file)
--- a/action.h
+++ b/action.h
@@ -96,6 +96,7 @@ public:
        void copy_from_new(ModelAction *newaction);
        void set_seq_number(modelclock_t num);
        void set_try_lock(bool obtainedlock);
+       bool is_thread_start() const;
        bool is_relseq_fixup() const;
        bool is_mutex_op() const;
        bool is_lock() const;