|
@@ -70,7 +70,9 @@ namespace artis {
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
- common::TraceType::DELTA_INT);
|
|
|
|
|
|
+ common::FormalismType::PDEVS,
|
|
|
|
+ common::FunctionType::DELTA_INT,
|
|
|
|
+ common::LevelType::USER);
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
|
|
|
|
@@ -92,7 +94,9 @@ namespace artis {
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
- common::TraceType::DELTA_EXT)
|
|
|
|
|
|
+ common::FormalismType::PDEVS,
|
|
|
|
+ common::FunctionType::DELTA_EXT,
|
|
|
|
+ common::LevelType::USER)
|
|
<< "messages = " << bag.to_string();
|
|
<< "messages = " << bag.to_string();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
@@ -113,7 +117,9 @@ namespace artis {
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
- common::TraceType::DELTA_CONF)
|
|
|
|
|
|
+ common::FormalismType::PDEVS,
|
|
|
|
+ common::FunctionType::DELTA_CONF,
|
|
|
|
+ common::LevelType::USER)
|
|
<< "messages = " << bag.to_string();
|
|
<< "messages = " << bag.to_string();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
@@ -130,7 +136,9 @@ namespace artis {
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
- common::TraceType::START);
|
|
|
|
|
|
+ common::FormalismType::PDEVS,
|
|
|
|
+ common::FunctionType::START,
|
|
|
|
+ common::LevelType::USER);
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
_phase = WAIT;
|
|
_phase = WAIT;
|
|
@@ -146,7 +154,10 @@ namespace artis {
|
|
|
|
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
- << common::TraceElement<common::DoubleTime>(get_name(), t, common::TraceType::TA);
|
|
|
|
|
|
+ << common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
|
|
+ common::FormalismType::PDEVS,
|
|
|
|
+ common::FunctionType::TA,
|
|
|
|
+ common::LevelType::USER);
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
if (_phase == WAIT) {
|
|
if (_phase == WAIT) {
|
|
@@ -171,7 +182,9 @@ namespace artis {
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
- common::TraceType::LAMBDA)
|
|
|
|
|
|
+ common::FormalismType::PDEVS,
|
|
|
|
+ common::FunctionType::LAMBDA,
|
|
|
|
+ common::LevelType::USER)
|
|
<< "messages = " << bag.to_string();
|
|
<< "messages = " << bag.to_string();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
@@ -219,7 +232,9 @@ namespace artis {
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
- common::TraceType::DELTA_INT);
|
|
|
|
|
|
+ common::FormalismType::PDEVS,
|
|
|
|
+ common::FunctionType::DELTA_INT,
|
|
|
|
+ common::LevelType::USER);
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
|
|
|
|
@@ -236,7 +251,9 @@ namespace artis {
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
- common::TraceType::DELTA_EXT)
|
|
|
|
|
|
+ common::FormalismType::PDEVS,
|
|
|
|
+ common::FunctionType::DELTA_EXT,
|
|
|
|
+ common::LevelType::USER)
|
|
<< "messages = " << bag.to_string();
|
|
<< "messages = " << bag.to_string();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
@@ -261,7 +278,9 @@ namespace artis {
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
- common::TraceType::DELTA_CONF)
|
|
|
|
|
|
+ common::FormalismType::PDEVS,
|
|
|
|
+ common::FunctionType::DELTA_CONF,
|
|
|
|
+ common::LevelType::USER)
|
|
<< "messages = " << bag.to_string();
|
|
<< "messages = " << bag.to_string();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
@@ -282,7 +301,9 @@ namespace artis {
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
- common::TraceType::START);
|
|
|
|
|
|
+ common::FormalismType::PDEVS,
|
|
|
|
+ common::FunctionType::START,
|
|
|
|
+ common::LevelType::USER);
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
|
|
|
|
@@ -301,7 +322,10 @@ namespace artis {
|
|
|
|
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
- << common::TraceElement<common::DoubleTime>(get_name(), t, common::TraceType::TA);
|
|
|
|
|
|
+ << common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
|
|
+ common::FormalismType::PDEVS,
|
|
|
|
+ common::FunctionType::TA,
|
|
|
|
+ common::LevelType::USER);
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
|
|
|
|
@@ -326,7 +350,9 @@ namespace artis {
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
- common::TraceType::LAMBDA)
|
|
|
|
|
|
+ common::FormalismType::PDEVS,
|
|
|
|
+ common::FunctionType::LAMBDA,
|
|
|
|
+ common::LevelType::USER)
|
|
<< "messages = " << bag.to_string();
|
|
<< "messages = " << bag.to_string();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
@@ -378,7 +404,9 @@ namespace artis {
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
- common::TraceType::TRANSITION)
|
|
|
|
|
|
+ common::FormalismType::DTSS,
|
|
|
|
+ common::FunctionType::TRANSITION,
|
|
|
|
+ common::LevelType::USER)
|
|
<< "x = " << x.to_string();
|
|
<< "x = " << x.to_string();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
@@ -396,7 +424,9 @@ namespace artis {
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
- common::TraceType::START);
|
|
|
|
|
|
+ common::FormalismType::DTSS,
|
|
|
|
+ common::FunctionType::START,
|
|
|
|
+ common::LevelType::USER);
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
|
|
|
|
@@ -417,7 +447,9 @@ namespace artis {
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
- common::TraceType::LAMBDA)
|
|
|
|
|
|
+ common::FormalismType::DTSS,
|
|
|
|
+ common::FunctionType::LAMBDA,
|
|
|
|
+ common::LevelType::USER)
|
|
<< "messages = " << bag.to_string();
|
|
<< "messages = " << bag.to_string();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
@@ -464,7 +496,9 @@ namespace artis {
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
- common::TraceType::TRANSITION)
|
|
|
|
|
|
+ common::FormalismType::DTSS,
|
|
|
|
+ common::FunctionType::TRANSITION,
|
|
|
|
+ common::LevelType::USER)
|
|
<< "x = " << x.to_string();
|
|
<< "x = " << x.to_string();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
@@ -482,7 +516,10 @@ namespace artis {
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
<< common::TraceElement<common::DoubleTime>(
|
|
<< common::TraceElement<common::DoubleTime>(
|
|
- get_name(), t, common::TraceType::START);
|
|
|
|
|
|
+ get_name(), t,
|
|
|
|
+ common::FormalismType::DTSS,
|
|
|
|
+ common::FunctionType::START,
|
|
|
|
+ common::LevelType::USER);
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
|
|
|
|
@@ -503,7 +540,9 @@ namespace artis {
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
- common::TraceType::LAMBDA)
|
|
|
|
|
|
+ common::FormalismType::DTSS,
|
|
|
|
+ common::FunctionType::LAMBDA,
|
|
|
|
+ common::LevelType::USER)
|
|
<< "messages = " << bag.to_string();
|
|
<< "messages = " << bag.to_string();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
@@ -546,7 +585,9 @@ namespace artis {
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
- common::TraceType::DELTA_INT);
|
|
|
|
|
|
+ common::FormalismType::PDEVS,
|
|
|
|
+ common::FunctionType::DELTA_INT,
|
|
|
|
+ common::LevelType::USER);
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
|
|
|
|
@@ -568,7 +609,9 @@ namespace artis {
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
- common::TraceType::DELTA_EXT)
|
|
|
|
|
|
+ common::FormalismType::PDEVS,
|
|
|
|
+ common::FunctionType::DELTA_EXT,
|
|
|
|
+ common::LevelType::USER)
|
|
<< "messages = " << bag.to_string();
|
|
<< "messages = " << bag.to_string();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
@@ -589,7 +632,9 @@ namespace artis {
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
- common::TraceType::DELTA_CONF)
|
|
|
|
|
|
+ common::FormalismType::PDEVS,
|
|
|
|
+ common::FunctionType::DELTA_CONF,
|
|
|
|
+ common::LevelType::USER)
|
|
<< "messages = " << bag.to_string();
|
|
<< "messages = " << bag.to_string();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
@@ -607,7 +652,9 @@ namespace artis {
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
- common::TraceType::START);
|
|
|
|
|
|
+ common::FormalismType::PDEVS,
|
|
|
|
+ common::FunctionType::START,
|
|
|
|
+ common::LevelType::USER);
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
|
|
|
|
@@ -625,7 +672,10 @@ namespace artis {
|
|
|
|
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
- << common::TraceElement<common::DoubleTime>(get_name(), t, common::TraceType::TA);
|
|
|
|
|
|
+ << common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
|
|
+ common::FormalismType::PDEVS,
|
|
|
|
+ common::FunctionType::TA,
|
|
|
|
+ common::LevelType::USER);
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|
|
|
|
|
|
@@ -650,7 +700,9 @@ namespace artis {
|
|
#ifdef WITH_TRACE
|
|
#ifdef WITH_TRACE
|
|
common::Trace<common::DoubleTime>::trace()
|
|
common::Trace<common::DoubleTime>::trace()
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
<< common::TraceElement<common::DoubleTime>(get_name(), t,
|
|
- common::TraceType::LAMBDA)
|
|
|
|
|
|
+ common::FormalismType::PDEVS,
|
|
|
|
+ common::FunctionType::LAMBDA,
|
|
|
|
+ common::LevelType::USER)
|
|
<< "messages = " << bag.to_string();
|
|
<< "messages = " << bag.to_string();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
common::Trace<common::DoubleTime>::trace().flush();
|
|
#endif
|
|
#endif
|