Module `Section_table`

Construction of ELF section tables. *

type t

val create : unit -> Section_table.t

val add_section : 
  Section_table.t ->
  X86_proc.Section_name.t ->
  ?body:bytes ->
  Compiler_owee.Owee_elf.section ->
  unit

val current_offset : Section_table.t -> int64

val num_sections : Section_table.t -> int

val get_sec_idx : Section_table.t -> X86_proc.Section_name.t -> int

val get_section : 
  Section_table.t ->
  X86_proc.Section_name.t ->
  Compiler_owee.Owee_elf.section

val get_section_opt : 
  Section_table.t ->
  X86_proc.Section_name.t ->
  Compiler_owee.Owee_elf.section option

val get_sections : Section_table.t -> Compiler_owee.Owee_elf.section array

val write_bodies : Section_table.t -> Compiler_owee.Owee_buf.t -> unit

Module Section_table