diff options
Diffstat (limited to 'src/systemc/tests/systemc/compliance_1666/test200/test200.cpp')
| -rw-r--r-- | src/systemc/tests/systemc/compliance_1666/test200/test200.cpp | 194 |
1 files changed, 194 insertions, 0 deletions
diff --git a/src/systemc/tests/systemc/compliance_1666/test200/test200.cpp b/src/systemc/tests/systemc/compliance_1666/test200/test200.cpp new file mode 100644 index 000000000..5f68240aa --- /dev/null +++ b/src/systemc/tests/systemc/compliance_1666/test200/test200.cpp @@ -0,0 +1,194 @@ +#include <systemc.h>
+
+// Multiple tests for Annex D.1 and D.2
+
+struct i_f: virtual sc_interface
+{
+};
+
+struct Chan: i_f, sc_object
+{
+};
+
+struct Port: sc_port<i_f>
+{
+ Chan chan;
+};
+
+void check_form_of_suffix(std::string s)
+{
+ std::string charset = "0123456789";
+ while (!s.empty())
+ {
+ sc_assert(s[0] == '_');
+ s = s.substr(1);
+ sc_assert(!s.empty());
+ do
+ {
+ sc_assert(charset.find(s[0]) < charset.size());
+ s = s.substr(1);
+ } while (!s.empty() && (s[0] != '_'));
+ }
+}
+
+SC_MODULE(M)
+{
+ Port port;
+
+ SC_CTOR(M)
+ {
+ SC_THREAD(T);
+ std::string s1 = std::string(sc_get_current_process_handle().name());
+ sc_assert(s1.substr(0,7) == "top.m.T");
+ check_form_of_suffix(s1.substr(7));
+
+ SC_THREAD(T);
+ std::string s2 = std::string(sc_get_current_process_handle().name());
+ sc_assert(s2.substr(0,7) == "top.m.T");
+ check_form_of_suffix(s2.substr(7));
+
+ SC_THREAD(T);
+ std::string s3 = std::string(sc_get_current_process_handle().name());
+ sc_assert(s3.substr(0,7) == "top.m.T");
+ check_form_of_suffix(s3.substr(7));
+
+ sc_assert(s1 != s2);
+ sc_assert(s2 != s3);
+ sc_assert(s3 != s1);
+
+ SC_THREAD(R);
+ }
+
+ void end_of_elaboration()
+ {
+ sc_assert(port.get_parent_object() == this);
+ sc_assert(port.chan.get_parent_object() == this);
+ sc_assert(get_child_objects().size() == 6);
+ }
+
+ void T()
+ {
+ int i_count = sc_report_handler::get_count(SC_INFO);
+ int w_count = sc_report_handler::get_count(SC_WARNING);
+ int e_count = sc_report_handler::get_count(SC_ERROR);
+ int f_count = sc_report_handler::get_count(SC_FATAL);
+
+ sc_report_handler::set_actions(SC_INFO, SC_DO_NOTHING);
+ sc_report_handler::set_actions(SC_WARNING, SC_DO_NOTHING);
+ sc_report_handler::set_actions(SC_ERROR, SC_DO_NOTHING);
+ sc_report_handler::set_actions(SC_FATAL, SC_DO_NOTHING);
+
+ SC_REPORT_INFO("type", "msg");
+
+ sc_assert(sc_report_handler::get_count(SC_INFO) == i_count + 1);
+ sc_assert(sc_report_handler::get_count(SC_WARNING) == w_count);
+ sc_assert(sc_report_handler::get_count(SC_ERROR) == e_count);
+ sc_assert(sc_report_handler::get_count(SC_FATAL) == f_count);
+
+ SC_REPORT_WARNING("type", "msg");
+
+ sc_assert(sc_report_handler::get_count(SC_INFO) == i_count + 1);
+ sc_assert(sc_report_handler::get_count(SC_WARNING) == w_count + 1);
+ sc_assert(sc_report_handler::get_count(SC_ERROR) == e_count);
+ sc_assert(sc_report_handler::get_count(SC_FATAL) == f_count);
+
+ SC_REPORT_ERROR("type", "msg");
+
+ sc_assert(sc_report_handler::get_count(SC_INFO) == i_count + 1);
+ sc_assert(sc_report_handler::get_count(SC_WARNING) == w_count + 1);
+ sc_assert(sc_report_handler::get_count(SC_ERROR) == e_count + 1);
+ sc_assert(sc_report_handler::get_count(SC_FATAL) == f_count);
+
+ SC_REPORT_FATAL("type", "msg");
+
+ sc_assert(sc_report_handler::get_count(SC_INFO) == i_count + 1);
+ sc_assert(sc_report_handler::get_count(SC_WARNING) == w_count + 1);
+ sc_assert(sc_report_handler::get_count(SC_ERROR) == e_count + 1);
+ sc_assert(sc_report_handler::get_count(SC_FATAL) == f_count + 1);
+
+ sc_report_handler::set_actions(SC_INFO, SC_DISPLAY);
+ sc_report_handler::set_actions(SC_WARNING, SC_DISPLAY);
+ sc_report_handler::set_actions(SC_ERROR, SC_DISPLAY);
+ sc_report_handler::set_actions(SC_FATAL, SC_DISPLAY);
+
+ SC_REPORT_INFO("type", "msg");
+
+ sc_assert(sc_report_handler::get_count(SC_INFO) == i_count + 2);
+ sc_assert(sc_report_handler::get_count(SC_WARNING) == w_count + 1);
+ sc_assert(sc_report_handler::get_count(SC_ERROR) == e_count + 1);
+ sc_assert(sc_report_handler::get_count(SC_FATAL) == f_count + 1);
+
+ SC_REPORT_WARNING("type", "msg");
+
+ sc_assert(sc_report_handler::get_count(SC_INFO) == i_count + 2);
+ sc_assert(sc_report_handler::get_count(SC_WARNING) == w_count + 2);
+ sc_assert(sc_report_handler::get_count(SC_ERROR) == e_count + 1);
+ sc_assert(sc_report_handler::get_count(SC_FATAL) == f_count + 1);
+
+ SC_REPORT_ERROR("type", "msg");
+
+ sc_assert(sc_report_handler::get_count(SC_INFO) == i_count + 2);
+ sc_assert(sc_report_handler::get_count(SC_WARNING) == w_count + 2);
+ sc_assert(sc_report_handler::get_count(SC_ERROR) == e_count + 2);
+ sc_assert(sc_report_handler::get_count(SC_FATAL) == f_count + 1);
+
+ SC_REPORT_FATAL("type", "msg");
+
+ sc_assert(sc_report_handler::get_count(SC_INFO) == i_count + 2);
+ sc_assert(sc_report_handler::get_count(SC_WARNING) == w_count + 2);
+ sc_assert(sc_report_handler::get_count(SC_ERROR) == e_count + 2);
+ sc_assert(sc_report_handler::get_count(SC_FATAL) == f_count + 2);
+ }
+ void R()
+ {
+ wait(100, SC_NS);
+
+ int i_count = sc_report_handler::get_count(SC_INFO);
+ int w_count = sc_report_handler::get_count(SC_WARNING);
+ int e_count = sc_report_handler::get_count(SC_ERROR);
+ int f_count = sc_report_handler::get_count(SC_FATAL);
+
+ try {
+ SC_REPORT_ERROR("type", "msg");
+ }
+ catch (sc_report& rpt) {
+ sc_assert(rpt.get_severity() == SC_ERROR);
+ sc_assert(strcmp(rpt.get_msg_type(), "type") == 0);
+ sc_assert(strcmp(rpt.get_msg(), "msg") == 0);
+ sc_assert(rpt.get_time() == sc_time(0, SC_NS));
+ sc_assert(strcmp(rpt.get_process_name(), "top.m.R") == 0);
+ }
+
+ sc_assert(sc_report_handler::get_count(SC_INFO) == i_count);
+ sc_assert(sc_report_handler::get_count(SC_WARNING) == w_count);
+ sc_assert(sc_report_handler::get_count(SC_ERROR) == e_count + 1);
+ sc_assert(sc_report_handler::get_count(SC_FATAL) == f_count);
+ }
+};
+
+SC_MODULE(Top)
+{
+ M *m;
+ Chan *chan;
+ SC_CTOR(Top)
+ {
+ m = new M("m");
+ chan = new Chan;
+ m->port.bind(*chan);
+ }
+ void end_of_elaboration()
+ {
+ sc_assert(get_child_objects().size() == 2);
+ }
+};
+
+int sc_main(int argc, char* argv[])
+{
+ cout << "Should be silent except for reports ..." << endl;
+
+ Top top("top");
+ sc_start();
+
+ cout << endl << "Success" << endl;
+ return 0;
+}
|