Module `Bytesections`

module Name : sig ... end

Recording sections written to a bytecode executable file

type toc_writer

val init_record : Stdlib.out_channel -> Bytesections.toc_writer

Start recording sections from the current position in out_channel

val record : Bytesections.toc_writer -> Bytesections.Name.t -> unit

Record the current position in the out_channel as the end of the section with the given name.

val write_toc_and_trailer : Bytesections.toc_writer -> unit

Write the table of contents and the standard trailer for bytecode executable files

Reading sections from a bytecode executable file

type section_entry = {

name : Bytesections.Name.t;
(*
name of the section.
*)
pos : int;
(*
byte offset at which the section starts.
*)
len : int;
(*
length of the section.
*)

}

type section_table

exception Bad_magic_number

val read_toc : Stdlib.in_channel -> Bytesections.section_table

Read the table of sections from a bytecode executable. Raise Bad_magic_number if magic number doesn't match

val seek_section : 
  Bytesections.section_table ->
  Stdlib.in_channel ->
  Bytesections.Name.t ->
  int

Position the input channel at the beginning of the section named "name", and return the length of that section. Raise Not_found if no such section exists.

val read_section_string : 
  Bytesections.section_table ->
  Stdlib.in_channel ->
  Bytesections.Name.t ->
  string

Return the contents of a section, as a string.

val read_section_struct : 
  Bytesections.section_table ->
  Stdlib.in_channel ->
  Bytesections.Name.t ->
  'a

Return the contents of a section, as marshalled data.

val all : Bytesections.section_table -> Bytesections.section_entry list

Returns all section_entry from a section_table in increasing position order.

val pos_first_section : Bytesections.section_table -> int

Return the position of the beginning of the first section

Module Bytesections

Module `Bytesections`