| 1791 | } |
| 1792 | |
| 1793 | void resetFrame(Context* c, Event* e) |
| 1794 | { |
| 1795 | for (FrameIterator it(c, e->stackBefore, e->localsBefore); it.hasMore();) { |
| 1796 | FrameIterator::Element el = it.next(c); |
| 1797 | el.value->clearSites(c); |
| 1798 | } |
| 1799 | |
| 1800 | while (c->acquiredResources) { |
| 1801 | c->acquiredResources->value->clearSites(c); |
| 1802 | } |
| 1803 | } |
| 1804 | |
| 1805 | void setSites(Context* c, Event* e, Site** sites) |
| 1806 | { |
no test coverage detected