57a58,64
> Sensitivity::notifyWork(Event *e)
> {
> satisfy();
> return true;
> }
>
> bool
59a67,76
> if (scheduler.current() == process) {
> static bool warned = false;
> if (!warned) {
> SC_REPORT_WARNING("(W536) immediate self-notification ignored "
> "as of IEEE 1666-2011", process->name());
> warned = true;
> }
> return false;
> }
>
62,63c79,80
< satisfy();
< return true;
---
>
> return notifyWork(e);
206c223
< DynamicSensitivityEventOrList::notify(Event *e)
---
> DynamicSensitivityEventOrList::notifyWork(Event *e)
208,210d224
< if (process->disabled())
< return false;
<
228c242
< DynamicSensitivityEventAndList::notify(Event *e)
---
> DynamicSensitivityEventAndList::notifyWork(Event *e)
230,232d243
< if (process->disabled())
< return false;
<