From bad8cc4598438f8b8d9e8fa210e2790f92c9ec44 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 2 Oct 2012 17:58:01 -0700 Subject: [PATCH] action: edit some spacing --- action.cc | 27 +++++++++++++++++---------- 1 file changed, 17 insertions(+), 10 deletions(-) diff --git a/action.cc b/action.cc index 6a18ffee..1655d942 100644 --- a/action.cc +++ b/action.cc @@ -27,31 +27,38 @@ ModelAction::~ModelAction() delete cv; } -void ModelAction::copy_from_new(ModelAction *newaction) { - seq_number=newaction->seq_number; +void ModelAction::copy_from_new(ModelAction *newaction) +{ + seq_number = newaction->seq_number; } -bool ModelAction::is_mutex_op() const { +bool ModelAction::is_mutex_op() const +{ return type == ATOMIC_LOCK || type == ATOMIC_TRYLOCK || type == ATOMIC_UNLOCK; } -bool ModelAction::is_lock() const { +bool ModelAction::is_lock() const +{ return type == ATOMIC_LOCK; } -bool ModelAction::is_unlock() const { +bool ModelAction::is_unlock() const +{ return type == ATOMIC_UNLOCK; } -bool ModelAction::is_trylock() const { +bool ModelAction::is_trylock() const +{ return type == ATOMIC_TRYLOCK; } -bool ModelAction::is_success_lock() const { +bool ModelAction::is_success_lock() const +{ return type == ATOMIC_LOCK || (type == ATOMIC_TRYLOCK && value == VALUE_TRYSUCCESS); } -bool ModelAction::is_failed_trylock() const { +bool ModelAction::is_failed_trylock() const +{ return (type == ATOMIC_TRYLOCK && value == VALUE_TRYFAILED); } @@ -130,8 +137,8 @@ bool ModelAction::same_thread(const ModelAction *act) const } void ModelAction::copy_typeandorder(ModelAction * act) { - this->type=act->type; - this->order=act->order; + this->type = act->type; + this->order = act->order; } /** This method changes an existing read part of an RMW action into either: -- 2.34.1