Changeset 47 for sources/src/sc_port_ext.h

Timestamp:

Oct 26, 2009, 7:07:37 PM (15 years ago)

Author:

buchmann

Message:

This patch simplifies SystemCASS.

Remove:

• ckeckings about multiwriting on registers and ports
• checkings related to FSM modeling
• regression tests related to the checkings

File:

• sources/src/sc_port_ext.h (modified) (5 diffs)

sources/src/sc_port_ext.h

@@ -22 +22 @@
 #endif
 
-#include "fsm_rules.h"
 #include "internal_ext.h"
 #include "port_dependency_ext.h"
@@ -56 +55 @@
   ((value_type_&) (*((value_type_*) (pointer_))))
 
-  ///////////////////// DEPRECATED
+///////////////////// DEPRECATED
 // C ANSI-only since it is needed to link with extern "C"
-// this declaration is not in casc.h since the CONFIG_CHECK_FSM_RULES macro
-// is not defined.
 
 extern void bind (sc_port_base&,sc_port_base&);
@@ -188 +185 @@
      << " on signal " << name () << "\n";
 #endif
-#ifdef CONFIG_CHECK_FSM_RULES
-  if (casc_fsm_step == GEN_MOORE) {
-    std::cerr << "FSM rules error : trying to read on input port '" 
-              << name ()
-        << "' from " <<  get_step_name () << " function.\n";
-    exit (-1);
-  }    
-#endif
   return READ_SIGNAL(const T, get_pointer());
 }
@@ -298 +287 @@
      << " on signal " << name () << "\n";
 #endif
-#ifdef CONFIG_CHECK_FSM_RULES
-  if (casc_fsm_step == GEN_MOORE) {
-    std::cerr << "FSM rules error : trying to read on input/output port " 
-      << name () //get_name (get_pointer()) 
-      << " from " << get_step_name () << " function.\n";
-    exit (-1);
-  }    
-#endif
 //  return val; 
   return READ_SIGNAL(const T, get_pointer());
@@ -320 +301 @@
             << " on in/out port (writing into a signal) '" << name () << "'\n";
 #endif
-#ifdef CONFIG_CHECK_FSM_RULES
-  if ((casc_fsm_step != GEN_MOORE) && ( casc_fsm_step != GEN_MEALY)) {
-    std::cerr << "FSM rules error : trying to write on output port " 
-      << name () 
-      << " from an " << get_step_name () << " function.\n";
-    exit (-1);
-  }    
-#endif
 //  T& ref = *(T*)(get_pointer());
-#if defined(CONFIG_CHECK_MULTIWRITING2PORT)
-  check_multiwriting2port ();
-#endif
 #ifndef USE_PORT_DEPENDENCY
   unstable |= (value_) != val; //ref;