VCD Tracer

class tracers.tracerVCD.TracerVCD(uid, server, filename)[source]

A tracer for VCD output. Should only be used for binary signals!

__init__(uid, server, filename)[source]

Constructor

Parameters:
  • uid – the UID of the tracer
  • server – the server to make remote requests 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, time, port_name, vcd_state)[source]

Trace a VCD entry

Parameters:
  • model_name – name of the model
  • time – time at which transition happened
  • port_name – name of the port
  • vcd_state – state to trace on the specified port
traceConfluent(aDEVS)[source]

The trace functionality for VCD output at a confluent transition

Parameters:aDEVS – the model that transitioned
traceExternal(aDEVS)[source]

The trace functionality for VCD output at an external transition

Parameters:aDEVS – the model that transitioned
traceInit(aDEVS, t)[source]

The trace functionality for VCD output at initialisation

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

The trace functionality for VCD output at an internal transition

Parameters:aDEVS – the model that transitioned
vcdHeader()[source]

Create the VCD file header by doing calls to the coordinator