Make (p.hardcaml_waveterm.v0.17.0.doc.hardcaml_waveterm.cyclesim.Hardcaml_waveterm

Parameters

module G : sig ... end

Signature

Sourceval get_wave_width : (Base.int * Wave.t) -> Base.int * Base.int

get width code and actual width in chars

Sourceval get_wave_height : (Base.int * Wave.t) -> Base.int * Base.int

get height code and actual height in chars

Sourceval get_max_signal_width : Waves.t -> Base.int

max width of name window

Sourceval get_max_value_width : Waves.t -> Base.int

max width of values window. Needs to evaluate the entire waveform.

Sourceval get_estimated_max_value_width : Waves.t -> Base.int

gets an estimate fo the max with of values. Inaccruate for the constructors U, S and F.

Sourceval get_max_cycles : Waves.t -> Base.int

max no of wave cycles

Sourceval get_max_signals : Waves.t -> Base.int

max no of wave cycles

Sourceval get_max_wave_width : Waves.t -> Base.int

max width of wave window

Sourceval get_max_wave_height : Waves.t -> Base.int -> Base.int

max height of wave window

Source

val draw_clock_cycle : 
  ctx:G.ctx ->
  style:G.style ->
  bounds:Hardcaml_waveterm_kernel__.Draw.rect ->
  w:Base.int ->
  h:Base.int ->
  c:Base.int ->
  Base.unit

draws one clock cycle

Source

val draw_clock_cycles : 
  ctx:G.ctx ->
  style:G.style ->
  bounds:Hardcaml_waveterm_kernel__.Draw.rect ->
  w:Base.int ->
  waw:Base.int ->
  h:Base.int ->
  cnt:Base.int ->
  Base.unit

draws cnt clock cycles

Source

val draw_binary_data : 
  ctx:G.ctx ->
  style:G.style ->
  bounds:Hardcaml_waveterm_kernel__.Draw.rect ->
  w:Base.int ->
  h:Base.int ->
  data:Data.t ->
  off:Base.int ->
  Base.unit

draw binary waveform data

Source

val draw_data : 
  ctx:G.ctx ->
  style:G.style ->
  bounds:Hardcaml_waveterm_kernel__.Draw.rect ->
  to_str:(Hardcaml.Bits.t -> Base.string) ->
  alignment:Hardcaml_waveterm_kernel.Text_alignment.t ->
  w:Base.int ->
  h:Base.int ->
  data:Data.t ->
  off:Base.int ->
  Base.unit

draw arbitrary waveform data

Source

type 'a draw_item =
  ?style:Hardcaml_waveterm_kernel__.Draw.Style.t ->
  ctx:G.ctx ->
  bounds:Hardcaml_waveterm_kernel__.Draw.rect ->
  Waves.t ->
  'a

Source

val with_border : 
  draw:'a draw_item ->
  label:Base.string ->
  ?border:Hardcaml_waveterm_kernel__.Draw.Style.t ->
  'a draw_item

Source

val draw_cursor : 
  ctx:G.ctx ->
  bounds:Hardcaml_waveterm_kernel__.Draw.rect ->
  state:Waves.t ->
  Base.unit

draw cursor

Sourceval draw_wave : Base.unit draw_item

draw waveforms

Source

val draw_signals : 
  ?alignment:Hardcaml_waveterm_kernel.Text_alignment.t ->
  ?style:Hardcaml_waveterm_kernel__.Draw.Style.t ->
  selected_wave_index:Base.int Base.option ->
  ctx:G.ctx ->
  bounds:Hardcaml_waveterm_kernel__.Draw.rect ->
  Waves.t ->
  Base.unit

draw signal names

Sourceval draw_values : Base.int draw_item

draw signal values

Sourceval draw_status : Base.unit draw_item

Source

val draw_ui : 
  ?signals_alignment:Hardcaml_waveterm_kernel.Text_alignment.t ->
  ?style:Styles.t ->
  ?bounds:Bounds.t ->
  ctx:G.ctx ->
  Waves.t ->
  Base.unit

draw standard user inferface (names, values, waveforms left to right

Sourcetype pick =

| Wave of Base.int * Base.int
| Value of Base.int
| Signal of Base.int
| Status
| No_pick

Sourceval pick : bounds:Bounds.t -> r:Base.int -> c:Base.int -> Waves.t -> pick