VCD Tracer¶
- class pypdevs.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