50a51,52
> class TraceFile;
>
282a285
> scheduleTimeAdvancesEvent();
359a363,365
> void registerTraceFile(TraceFile *tf) { traceFiles.insert(tf); }
> void unregisterTraceFile(TraceFile *tf) { traceFiles.erase(tf); }
>
368a375
> static Priority TimeAdvancesPriority = EventBase::Maximum_Pri;
442a450,458
> void timeAdvances() { trace(false); }
> EventWrapper<Scheduler, &Scheduler::timeAdvances> timeAdvancesEvent;
> void
> scheduleTimeAdvancesEvent()
> {
> if (!traceFiles.empty() && !timeAdvancesEvent.scheduled())
> schedule(&timeAdvancesEvent);
> }
>
459a476,479
>
> std::set<TraceFile *> traceFiles;
>
> void trace(bool delta);