jon.recoil.org

Module Dwarf_attribute_values.Value

type internal_t =
  1. | Dwarf_value of Dwarf_low.Dwarf_value.t
  2. | Single_location_description of Dwarf_low.Single_location_description.t
  3. | Composite_location_description of Dwarf_low.Composite_location_description.t
val flag_true : ?comment:string -> unit -> Dwarf_low.Dwarf_attribute_values.Value.internal_t
val bool : ?comment:string -> bool -> Dwarf_low.Dwarf_attribute_values.Value.internal_t
val string : ?comment:string -> string -> Dwarf_low.Dwarf_attribute_values.Value.internal_t
val indirect_string : ?comment:string -> string -> Dwarf_low.Dwarf_attribute_values.Value.internal_t
val distance_between_symbols_32_bit : ?comment:string -> upper:Asm_targets.Asm_symbol.t -> lower:Asm_targets.Asm_symbol.t -> unit -> Dwarf_low.Dwarf_attribute_values.Value.internal_t
val distance_between_symbols_64_bit : ?comment:string -> upper:Asm_targets.Asm_symbol.t -> lower:Asm_targets.Asm_symbol.t -> unit -> Dwarf_low.Dwarf_attribute_values.Value.internal_t
val distance_between_labels_32_bit : ?comment:string -> upper:Asm_targets.Asm_label.t -> lower:Asm_targets.Asm_label.t -> unit -> Dwarf_low.Dwarf_attribute_values.Value.internal_t
val distance_between_labels_64_bit : ?comment:string -> upper:Asm_targets.Asm_label.t -> lower:Asm_targets.Asm_label.t -> unit -> Dwarf_low.Dwarf_attribute_values.Value.internal_t
val distance_between_labels_64_bit_with_offsets : ?comment:string -> upper:Asm_targets.Asm_label.t -> upper_offset:Targetint.t -> lower:Asm_targets.Asm_label.t -> lower_offset:Targetint.t -> unit -> Dwarf_low.Dwarf_attribute_values.Value.internal_t
val distance_between_label_and_symbol_32_bit : ?comment:string -> upper:Asm_targets.Asm_label.t -> lower:Asm_targets.Asm_symbol.t -> unit -> Dwarf_low.Dwarf_attribute_values.Value.internal_t
val distance_between_label_and_symbol_64_bit : ?comment:string -> upper:Asm_targets.Asm_label.t -> lower:Asm_targets.Asm_symbol.t -> unit -> Dwarf_low.Dwarf_attribute_values.Value.internal_t
val code_address_from_label : ?comment:string -> Asm_targets.Asm_label.t -> Dwarf_low.Dwarf_attribute_values.Value.internal_t
val code_address_from_label_plus_offset : ?comment:string -> Asm_targets.Asm_label.t -> offset_in_bytes:Targetint.t -> Dwarf_low.Dwarf_attribute_values.Value.internal_t
val code_address_from_symbol : ?comment:string -> Asm_targets.Asm_symbol.t -> Dwarf_low.Dwarf_attribute_values.Value.internal_t
val offset_into_debug_info : ?comment:string -> Asm_targets.Asm_label.t -> Dwarf_low.Dwarf_attribute_values.Value.internal_t
val offset_into_debug_info_from_symbol : ?comment:string -> Asm_targets.Asm_symbol.t -> Dwarf_low.Dwarf_attribute_values.Value.internal_t