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

File:

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

sources/src/serialization.cc

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