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

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

99}
100
101SensitivityEventOrList::~SensitivityEventOrList()
102{
103 for (auto e: list->events)
104 Event::getFromScEvent(e)->delSensitivity(this);
105}
106
107void
108SensitivityTimeoutAndEventAndList::notifyWork(Event *e)
109{
110 if (e) {
111 // An event went off which must be part of the sc_event_and_list.
112 SensitivityEventAndList::notifyWork(e);
113 } else {
114 // There's no inciting event, so this must be a timeout.
115 SensitivityTimeout::notifyWork(e);
116 }
117}
118
119
120class UnwindExceptionReset : public ::sc_core::sc_unwind_exception
121{
122 public:
123 UnwindExceptionReset() { _isReset = true; }
124};
125
126class UnwindExceptionKill : public ::sc_core::sc_unwind_exception
127{

--- 280 unchanged lines hidden ---