WaveSimWaveforms Module
showWaveforms and subfunctions to display in DOM the waveforms Waveform SVGs themselves are generated from simulation in WaveSimWaves module
Functions and values
| Function or value | Description |
|
|
|
What the schematic shows picked out because of the waveform viewer: the component a hovered wave comes from, and the net that wave runs on. **This is the whole of the hover highlight, and it is a function of the model.** SheetDisplay's view is given the answer on every render, so there is no message that paints it and none that has to remember to unpaint it: the highlight is on exactly while HoveredLabel names a wave and off the instant it does not. That is also why it survives a change of sheet - the button that takes the user to a wave's component leaves HoveredLabel alone, and the new sheet draws whatever it has of the same net without being told.
|
Full Usage:
nameRows model wsModel dispatch
Parameters:
Model
wsModel : WaveSimModel
dispatch : Msg -> Unit
Returns: ReactElement list
|
Create label of waveform name for each selected wave. Note that this is generated after calling selectedWaves. Any changes to this function must also be made to valueRows and waveRows, as the order of the waves matters here. This is because the wave viewer is comprised of three columns of many rows, rather than many rows of three columns.
|
Full Usage:
namesColumn model wsModel dispatch
Parameters:
Model
wsModel : WaveSimModel
dispatch : Msg -> Unit
Returns: ReactElement
|
|
Full Usage:
radixButtons wsModel dispatch
Parameters:
WaveSimModel
dispatch : Msg -> unit
Returns: ReactElement
|
|
Full Usage:
showWaveforms model wsModel dispatch
Parameters:
Model
wsModel : WaveSimModel
dispatch : Msg -> unit
Returns: ReactElement
|
|
|
Create label of waveform value for each selected wave at a given clk cycle. Note that this is generated after calling selectedWaves. Any changes to this function must also be made to nameRows and waveRows, as the order of the waves matters here. This is because the wave viewer is comprised of three columns of many rows, rather than many rows of three columns. Return required width of values column in pixels, and list of cloumn react elements.
|
Full Usage:
waveformColumn wsModel dispatch
Parameters:
WaveSimModel
dispatch : Msg -> unit
Returns: ReactElement
|