Header menu logo issie

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

clkCycleNumberRow wsModel

Full Usage: clkCycleNumberRow wsModel

Parameters:
Returns: ReactElement

Generate a row of numbers in the waveforms column. Numbers correspond to clock cycles multiplied by the current multiplier

wsModel : WaveSimModel
Returns: ReactElement

highlightCircuit fs comps wave dispatch

Full Usage: highlightCircuit fs comps wave dispatch

Parameters:
Returns: Unit
fs : FastSimulation
comps : ComponentId list
wave : Wave
dispatch : Msg -> Unit
Returns: Unit

nameRows model wsModel dispatch

Full Usage: nameRows model wsModel dispatch

Parameters:
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.

model : Model
wsModel : WaveSimModel
dispatch : Msg -> Unit
Returns: ReactElement list

namesColumn model wsModel dispatch

Full Usage: namesColumn model wsModel dispatch

Parameters:
Returns: ReactElement

Create column of waveform names

model : Model
wsModel : WaveSimModel
dispatch : Msg -> Unit
Returns: ReactElement

radixButtons wsModel dispatch

Full Usage: radixButtons wsModel dispatch

Parameters:
Returns: ReactElement

ReactElement of the tabs for changing displayed radix

wsModel : WaveSimModel
dispatch : Msg -> unit
Returns: ReactElement

showWaveforms model wsModel dispatch

Full Usage: showWaveforms model wsModel dispatch

Parameters:
Returns: ReactElement

Display the names, waveforms, and values of selected waveforms

model : Model
wsModel : WaveSimModel
dispatch : Msg -> unit
Returns: ReactElement

valueRows wsModel

Full Usage: valueRows wsModel

Parameters:
Returns: int * ReactElement list

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.

wsModel : WaveSimModel
Returns: int * ReactElement list

waveformColumn wsModel dispatch

Full Usage: waveformColumn wsModel dispatch

Parameters:
Returns: ReactElement

Generate a column of waveforms corresponding to selected waves.

wsModel : WaveSimModel
dispatch : Msg -> unit
Returns: ReactElement

Type something to start searching.