Debugger : Debugger Commands : SET TRACE Command : Format of Trace Messages

Format of Trace Messages

The format of the trace messages is shown in the following examples:

Activity trace:

Activity ews:SET_UP started

Activity ews:SET_UP stopped

 

State trace:

State ews:OFF entered

State ews:OFF exited

Condition trace:

Condition ews:IN_CONNECTED changed value to
TRUE

Condition ews:IN_CONNECTED changed value to
FALSE

Data-item trace:

Event ews:SET_UP generated

Event ews:HALT reset

 

Step trace:

/---------------------\ 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:

Event ews:E generated

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)