Changeset 27 for sources/src/sc_port.cc
- Timestamp:
- May 4, 2009, 8:51:56 PM (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
sources/src/sc_port.cc
r12 r27 36 36 37 37 38 #include<iomanip> 39 #include<map> 40 41 #include"sc_port.h" 42 #include"sc_signal.h" 43 #include"sc_module.h" 44 #include"entity.h" 45 #include"global_functions.h" 46 #include"assert.h" 38 #include <iomanip> 39 #include <map> 40 #include <cassert> 41 42 #include "sc_port.h" 43 #include "sc_signal.h" 44 #include "sc_module.h" 45 #include "entity.h" 46 #include "global_functions.h" 47 48 #ifdef HAVE_CONFIG_H 49 #include "config.h" 50 #endif 47 51 48 52 extern "C" { … … 54 58 using namespace std; 55 59 56 #ifdef C HECK_FSM_RULES57 #include "fsm_rules.h"60 #ifdef CONFIG_CHECK_FSM_RULES 61 #include "fsm_rules.h" 58 62 namespace sc_core { 59 63 casc_fsm_step_t casc_fsm_step = ELABORATION; … … 108 112 sc_port_base::init () 109 113 { 110 #ifdef DEBUG114 #ifdef CONFIG_DEBUG 111 115 if (modules_stack.empty ()) { 112 116 cerr << "Internal error : modules stack empty\n"; … … 233 237 #endif 234 238 #define iter (sc_core::pending_write_vector[i]) 235 #ifdef DEBUG239 #ifdef CONFIG_DEBUG 236 240 if (iter.pointer == NULL) { 237 241 cerr << "Internal error : trying to apply a posted write from an unassigned signal/port\n"; … … 255 259 cerr << "done.\n"; 256 260 #endif 257 #if defined(C HECK_MULTIWRITING2REGISTER)261 #if defined(CONFIG_CHECK_MULTIWRITING2REGISTER) 258 262 sc_core::pending_writing2register_clear (); 259 263 #endif … … 310 314 { 311 315 const tab_t *pointer = port.get_pointer (); 312 // ASSERT(pointer != NULL);316 //assert(pointer != NULL); 313 317 if (pointer == NULL) 314 318 return false; // case : sc_in not bound … … 343 347 { 344 348 /*const*/ sc_port_base *port = i->first; 345 ASSERT(port != NULL);349 assert(port != NULL); 346 350 check_port (*port); 347 351 } … … 350 354 } 351 355 352 #if defined(C HECK_MULTIWRITING2REGISTER)356 #if defined(CONFIG_CHECK_MULTIWRITING2REGISTER) 353 357 typedef set<const tab_t*> pending_writing2register_set_t; 354 358 pending_writing2register_set_t pending_writing2register_set;
Note: See TracChangeset
for help on using the changeset viewer.