/** Activates Place and saves event data to deque only if place
* was not active before.
* \param [in] info : the information to use to activate the place */
virtual void activate(EventData& info) {
if(!status_) {
status_ = true;
add_info_(info);
report_(info);
}
}
/** Changes status to false, time and status change is
* recorded in fifo only if Place was active before.
* \param [in] time : the time to deactivate the place */
virtual void deactivate(double time) {
if(status_) {
status_ = false;
EventData info(time, status_);
add_info_(info);
report_(info);
}
}
~ScopeTimer()
{
timer_.Stop();
report_(timer_.GetDuration());
}
