The format of the trace messages is shown in the following examples:
Condition ews:IN_CONNECTED changed value to
TRUECondition ews:IN_CONNECTED changed value to
FALSE/---------------------\ starting step 1
\---------------------/ ending step 1
Timeout events are a special case. Each timeout event causes two trace messages. The first message is printed when the timeout is triggered and the second message is printed when the timeout expires and the corresponding timeout event is generated.
For example, suppose that the specification contains an event TMO defined as “timeout(E,5)” where E is external and that tracing of events is requested. Assuming that the time unit specified is 2.5 seconds, whenever event E occurs, the following message appears:
Timeout ews:TMO on event ews:E started for 5
time units (12.5 seconds)and then, after 5 time units elapse and the timeout occurs:
Timeout ews:TMO on event ews:E ended after 5
time units (12.5 seconds)