Module `Dwarf_state`

State that is shared amongst the various dwarf_* modules.

module Diagnostics : sig ... end

type t

val create : 
  compilation_unit_header_label:Asm_targets.Asm_label.t ->
  compilation_unit_proto_die:Dwarf_high.Proto_die.t ->
  value_type_proto_die:Dwarf_high.Proto_die.t ->
  start_of_code_symbol:Asm_targets.Asm_symbol.t ->
  Dwarf_low.Debug_loc_table.t ->
  Dwarf_low.Debug_ranges_table.t ->
  Dwarf_low.Address_table.t ->
  Dwarf_low.Location_list_table.t ->
  get_file_num:(string -> int) ->
  sourcefile:string ->
  Dwarf_state.t

val compilation_unit_header_label : Dwarf_state.t -> Asm_targets.Asm_label.t

val compilation_unit_proto_die : Dwarf_state.t -> Dwarf_high.Proto_die.t

val value_type_proto_die : Dwarf_state.t -> Dwarf_high.Proto_die.t

val start_of_code_symbol : Dwarf_state.t -> Asm_targets.Asm_symbol.t

val debug_loc_table : Dwarf_state.t -> Dwarf_low.Debug_loc_table.t

val debug_ranges_table : Dwarf_state.t -> Dwarf_low.Debug_ranges_table.t

val address_table : Dwarf_state.t -> Dwarf_low.Address_table.t

val location_list_table : Dwarf_state.t -> Dwarf_low.Location_list_table.t

val function_abstract_instances : 
  Dwarf_state.t ->
  (Dwarf_high.Proto_die.t * Asm_targets.Asm_symbol.t)
    Asm_targets.Asm_symbol.Tbl.t

val can_reference_dies_across_units : Dwarf_state.t -> bool

val get_file_num : Dwarf_state.t -> string -> int

val sourcefile : Dwarf_state.t -> string

val diagnostics : Dwarf_state.t -> Dwarf_state.Diagnostics.t

val add_variable_reduction_diagnostic : 
  Dwarf_state.t ->
  Dwarf_state.Diagnostics.variable_reduction ->
  unit

module Debug : sig ... end

Module Dwarf_state

Module `Dwarf_state`