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

diff --git a/Makefile b/Makefile
index 2196e9029430197595029cda66489761922eae56..6c52f671d92023ca361bf395fbe5677986c8e3a4 100644 (file)
--- 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 (file)
index 858b919..0000000
--- 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 (file)
index 0000000..858b919
--- /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;
+}