Changes in sources/src/serialization.cc [12:27]

File:

• sources/src/serialization.cc (modified) (5 diffs)

sources/src/serialization.cc

@@ -35 +35 @@
 
 
-#include<map>
-#include<fstream>
-//#include<vector> // save_module_hierarchy
-
-#include"internal_ext.h" // tab_t
-#include"serialization.h"
-#include"entity.h"
-#include"sc_module.h"
-#include"sc_object.h"
-#include"hex2string.h"
-#include"assert.h"
+#include "internal_ext.h" // tab_t
+#include "serialization.h"
+#include "entity.h"
+#include "sc_module.h"
+#include "sc_object.h"
+#include "hex2string.h"
+
+#include <cassert>
+#include <map>
+#include <fstream>
+//#include <vector> // save_module_hierarchy
+
+#ifdef HAVE_CONFIG_H
+#include "config.h"
+#endif
 
 using namespace std;
@@ -84 +88 @@
             int          bit_number)
 {
-  ASSERT(bit_number <= 64);
+  assert(bit_number <= 64);
   if (bit_number == 1) {
     bool v = *((const bool*) val);
@@ -140 +144 @@
                     save_fct_t1      fct)
 {
-  //ASSERT(fct != NULL);
+  //assert(fct != NULL);
   //sc_module2save_fct_t1::value_type pair(&mod,fct);
   //save_handler_table.insert (pair);
@@ -158 +162 @@
     const sc_module *mod = it->first;
     save_fct_t1      fct = it->second;
-    ASSERT(mod != NULL);
-//    ASSERT(fct != NULL);
+    assert(mod != NULL);
+//    assert(fct != NULL);
     //o << mod->name () << endl;
     fprintf (o,"module\n%s\n",mod->name ());
@@ -185 +189 @@
   file.close ();
   FILE *f = fopen (filename, "a+");
-  ASSERT(f != NULL);
+  assert(f != NULL);
   save_modules (f);
   fclose (f);