From fe45c6f997fc39b80e8cfeb326b7cd514c0eda3b Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Mon, 3 Dec 2012 18:29:42 -0800 Subject: [PATCH] action: add is_thread_start() --- action.cc | 5 +++++ action.h | 1 + 2 files changed, 6 insertions(+) diff --git a/action.cc b/action.cc index 41a025a..a90878f 100644 --- 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; diff --git a/action.h b/action.h index 82b8532..be87eca 100644 --- 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; -- 2.34.1