From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Mar 2012 22:07:04 +0000 (-0700)
Subject: model: move model.c --> model.cc
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=bb44088ca96e320475d4ebd11f8868ac4b452fbb

model: move model.c --> model.cc
---

diff --git a/Makefile b/Makefile
index 2196e902..6c52f671 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 CC=g++
 BIN=libthreads
-SOURCE=libthreads.c schedule.c libatomic.c userprog.c model.c
+SOURCE=libthreads.c schedule.c libatomic.c userprog.c model.cc
 HEADERS=libthreads.h schedule.h common.h libatomic.h model.h
 FLAGS=-Wall
 
diff --git a/model.c b/model.c
deleted file mode 100644
index 858b9198..00000000
--- a/model.c
+++ /dev/null
@@ -1,33 +0,0 @@
-#include "model.h"
-#include "schedule.h"
-#include <stdlib.h>
-#include <string.h>
-
-ModelChecker *model;
-
-ModelChecker::ModelChecker()
-{
-	/* First thread created (system_thread) will have id 1 */
-	this->used_thread_id = 0;
-
-	scheduler_init(this);
-}
-
-ModelChecker::~ModelChecker()
-{
-	struct scheduler *sched = model->scheduler;
-
-	if (sched->exit)
-		sched->exit();
-	free(sched);
-}
-
-void ModelChecker::assign_id(struct thread *t)
-{
-	t->id = ++this->used_thread_id;
-}
-
-void ModelChecker::add_system_thread(struct thread *t)
-{
-	model->system_thread = t;
-}
diff --git a/model.cc b/model.cc
new file mode 100644
index 00000000..858b9198
--- /dev/null
+++ b/model.cc
@@ -0,0 +1,33 @@
+#include "model.h"
+#include "schedule.h"
+#include <stdlib.h>
+#include <string.h>
+
+ModelChecker *model;
+
+ModelChecker::ModelChecker()
+{
+	/* First thread created (system_thread) will have id 1 */
+	this->used_thread_id = 0;
+
+	scheduler_init(this);
+}
+
+ModelChecker::~ModelChecker()
+{
+	struct scheduler *sched = model->scheduler;
+
+	if (sched->exit)
+		sched->exit();
+	free(sched);
+}
+
+void ModelChecker::assign_id(struct thread *t)
+{
+	t->id = ++this->used_thread_id;
+}
+
+void ModelChecker::add_system_thread(struct thread *t)
+{
+	model->system_thread = t;
+}