From 9e48f3b0ad6b84ad90d085a55611b60467ebe6dd Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 3 Jul 2012 14:57:40 -0700 Subject: [PATCH] model: make set_current_action() private It's only used within ModelChecker... --- model.h | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/model.h b/model.h index 22430378..4ea55903 100644 --- a/model.h +++ b/model.h @@ -41,13 +41,6 @@ public: /** @returns the context for the main model-checking system thread */ ucontext_t * get_system_context(void) { return system_context; } - /** - * Stores the ModelAction for the current thread action. Call this - * immediately before switching from user- to system-context to pass - * data between them. - * @param act The ModelAction created by the user-thread action - */ - void set_current_action(ModelAction *act) { current_action = act; } void check_current_action(void); void print_summary(void); Thread * schedule_next_thread(); @@ -70,6 +63,14 @@ private: modelclock_t used_sequence_numbers; int num_executions; + /** + * Stores the ModelAction for the current thread action. Call this + * immediately before switching from user- to system-context to pass + * data between them. + * @param act The ModelAction created by the user-thread action + */ + void set_current_action(ModelAction *act) { current_action = act; } + ModelAction * get_last_conflict(ModelAction *act); void set_backtracking(ModelAction *act); thread_id_t get_next_replay_thread(); -- 2.34.1