process.cc (12998:68d2c7538b82) process.cc (12999:1325c18d9ffd)
1/*
2 * Copyright 2018 Google, Inc.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are
6 * met: redistributions of source code must retain the above copyright
7 * notice, this list of conditions and the following disclaimer;
8 * redistributions in binary form must reproduce the above copyright

--- 164 unchanged lines hidden (view full) ---

173}
174
175void
176Process::disable(bool inc_kids)
177{
178 if (inc_kids)
179 forEachKid([](Process *p) { p->disable(true); });
180
1/*
2 * Copyright 2018 Google, Inc.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are
6 * met: redistributions of source code must retain the above copyright
7 * notice, this list of conditions and the following disclaimer;
8 * redistributions in binary form must reproduce the above copyright

--- 164 unchanged lines hidden (view full) ---

173}
174
175void
176Process::disable(bool inc_kids)
177{
178 if (inc_kids)
179 forEachKid([](Process *p) { p->disable(true); });
180
181 if (!::sc_core::sc_allow_process_control_corners &&
182 dynamic_cast<SensitivityTimeout *>(dynamicSensitivity)) {
183 std::string message("attempt to disable a thread with timeout wait: ");
184 message += name();
185 SC_REPORT_ERROR("Undefined process control interaction",
186 message.c_str());
187 }
188
181 _disabled = true;
182}
183
184void
185Process::enable(bool inc_kids)
186{
187
188 if (inc_kids)

--- 201 unchanged lines hidden --- 		189 _disabled = true;
190}
191
192void
193Process::enable(bool inc_kids)
194{
195
196 if (inc_kids)

--- 201 unchanged lines hidden ---