bugmessage: move struct to header file

diff --git a/bugmessage.h b/bugmessage.h
new file mode 100644 (file)
index 0000000..bd7d0b6
--- /dev/null
+++ b/bugmessage.h
@@ -0,0 +1,21 @@
+#ifndef __BUGMESSAGE_H__
+#define __BUGMESSAGE_H__
+
+#include "common.h"
+#include "mymemory.h"
+
+struct bug_message {
+       bug_message(const char *str) {
+               const char *fmt = "  [BUG] %s\n";
+               msg = (char *)snapshot_malloc(strlen(fmt) + strlen(str));
+               sprintf(msg, fmt, str);
+       }
+       ~bug_message() { if (msg) snapshot_free(msg); }
+
+       char *msg;
+       void print() { model_print("%s", msg); }
+
+       SNAPSHOTALLOC
+};
+
+#endif /* __BUGMESSAGE_H__ */

diff --git a/model.cc b/model.cc
index eed548cc0c906b0d50b6c78f89e51e15aa4b4e1b..826497945556055254e7ef8a0a32507fc7bc4716 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -17,25 +17,12 @@
 #include "threads-model.h"
 #include "output.h"
 #include "traceanalysis.h"
 #include "threads-model.h"
 #include "output.h"
 #include "traceanalysis.h"

+#include "bugmessage.h"

 
 #define INITIAL_THREAD_ID      0
 
 ModelChecker *model;
 
 
 #define INITIAL_THREAD_ID      0
 
 ModelChecker *model;
 

-struct bug_message {
-       bug_message(const char *str) {
-               const char *fmt = "  [BUG] %s\n";
-               msg = (char *)snapshot_malloc(strlen(fmt) + strlen(str));
-               sprintf(msg, fmt, str);
-       }
-       ~bug_message() { if (msg) snapshot_free(msg); }
-
-       char *msg;
-       void print() { model_print("%s", msg); }
-
-       SNAPSHOTALLOC
-};
-

 /**
  * Structure for holding small ModelChecker members that should be snapshotted
  */
 /**
  * Structure for holding small ModelChecker members that should be snapshotted
  */