Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00014 #include "during-thread.h"
00015 #include "utils/io-lock.h"
00016
00017 using namespace std;
00018
00019 sc_during_thread::sc_during_thread() {
00020
00021 task_manager::get_instance();
00022 L_COUT << "// TEST-IGNORE: sc_during_thread instanciated" << endl;
00023 m_current_thread = NULL;
00024 }
00025
00026 void sc_during_thread::extra_time(const sc_core::sc_time & t) {
00027 task_manager::get_instance()->get_current_task()->extra_time(t);
00028 }
00029
00030 void sc_during_thread::catch_up(const sc_core::sc_time & t) {
00031 task_manager::get_instance()->get_current_task()->catch_up(t);
00032 };
00033
00034 void sc_during_thread::sc_call(const boost::function<void()> & f) {
00035 task_manager::get_instance()->get_current_task()->sc_call(f);
00036 };