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)
-
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
-