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)
stopTracer()[source]

Stop the tracer

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
traceInit(aDEVS, t)[source]

The trace functionality for XML output at initialization

Parameters:
  • aDEVS – the model that transitioned
  • t – time at which it should be traced
traceInternal(aDEVS)[source]

The trace functionality for XML output at an internal transition

Parameters:aDEVS – the model that transitioned