XML Tracer¶
- class pypdevs.tracers.tracerXML.TracerXML(uid, server, filename)[source]¶
A tracer for XML tracing output
- __init__(uid, server, filename)[source]¶
Constructor
- Parameters
uid – the UID of this tracer
server – the server to make remote calls on
filename – file to save the trace to
- startTracer(recover)[source]¶
Starts up the tracer
- Parameters
recover – whether or not this is a recovery call (so whether or not the file should be appended to)
- trace(model_name, timestamp, event_kind, port_info, xml_state, str_state)[source]¶
Save an XML entry for the provided parameters, basically wraps it in the necessary tags
- Parameters
model_name – name of the model
timestamp – timestamp of the transition
event_kind – kind of event that happened, e.g. internal, external, …
port_info – actual information about the port
xml_state – XML representation of the state
str_state – normal string representation of the state
- traceConfluent(aDEVS)[source]¶
The trace functionality for XML output at a confluent transition
- Parameters
aDEVS – the model that transitioned
- traceExternal(aDEVS)[source]¶
The trace functionality for XML output at an external transition
- Parameters
aDEVS – the model that transitioned