From: Brian Norris <banorris@uci.edu>
Date: Thu, 21 Jun 2012 22:13:56 +0000 (-0700)
Subject: model: make print_list() into a static C function
X-Git-Tag: pldi2013~389^2^2~7
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=6cb1abb7f1f69690ecf78a293744204980912a7d

model: make print_list() into a static C function

This function does not need to be a class member function. It only performs
a standard 'printing' option on a STL list of ModelAction objects.
---

diff --git a/model.cc b/model.cc
index 91ceae4..93e06d0 100644
--- a/model.cc
+++ b/model.cc
@@ -346,19 +346,7 @@ void ModelChecker::build_reads_from_past(ModelAction *curr)
 	}
 }
 
-void ModelChecker::print_summary(void)
-{
-	printf("\n");
-	printf("Number of executions: %d\n", num_executions);
-	printf("Total nodes created: %d\n", node_stack->get_total_nodes());
-
-	scheduler->print();
-
-	print_list(action_trace);
-	printf("\n");
-}
-
-void ModelChecker::print_list(action_list_t *list)
+static void print_list(action_list_t *list)
 {
 	action_list_t::iterator it;
 
@@ -371,6 +359,18 @@ void ModelChecker::print_list(action_list_t *list)
 	printf("---------------------------------------------------------------------\n");
 }
 
+void ModelChecker::print_summary(void)
+{
+	printf("\n");
+	printf("Number of executions: %d\n", num_executions);
+	printf("Total nodes created: %d\n", node_stack->get_total_nodes());
+
+	scheduler->print();
+
+	print_list(action_trace);
+	printf("\n");
+}
+
 int ModelChecker::add_thread(Thread *t)
 {
 	(*thread_map)[id_to_int(t->get_id())] = t;
diff --git a/model.h b/model.h
index ab961f8..4635644 100644
--- a/model.h
+++ b/model.h
@@ -80,8 +80,6 @@ private:
 	ModelAction * get_parent_action(thread_id_t tid);
 	void build_reads_from_past(ModelAction *curr);
 
-	void print_list(action_list_t *list);
-
 	ModelAction *current_action;
 	ModelAction *diverge;
 	thread_id_t nextThread;