|
@@ -80,6 +80,22 @@ namespace artis {
|
|
|
}
|
|
|
}
|
|
|
|
|
|
+ virtual void finish(const typename Time::type& t)
|
|
|
+ {
|
|
|
+#ifndef WITH_TRACE
|
|
|
+ (void) t;
|
|
|
+#endif
|
|
|
+
|
|
|
+#ifdef WITH_TRACE
|
|
|
+ common::Trace<Time>::trace()
|
|
|
+ << common::TraceElement<Time>(type::get_name(), t,
|
|
|
+ common::FormalismType::PDEVS,
|
|
|
+ common::FunctionType::FINISH,
|
|
|
+ common::LevelType::FORMALISM);
|
|
|
+ common::Trace<Time>::trace().flush();
|
|
|
+#endif
|
|
|
+ }
|
|
|
+
|
|
|
typename Time::type start(const typename Time::type& t)
|
|
|
{
|
|
|
// When i-message (i, t) at time t
|