XML Tracer¶
-
class
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
-