Module `Input_list`Source

Sourcetype input_blob =

| Reloc of Byte_sequence.byte_sequence0
| Shared of Byte_sequence.byte_sequence0
| Script of Byte_sequence.byte_sequence0
| ControlScript

Sourcetype origin_coord =

| InArchive of Nat_big_num.num * Nat_big_num.num * string * Nat_big_num.num
| InGroup of Nat_big_num.num * Nat_big_num.num
| InCommandLine of Nat_big_num.num
| Builtin

Sourceval string_of_origin_coord : origin_coord -> string

val instance_Show_Show_Input_list_origin_coord_dict : 
  origin_coord Show.show_class

Sourcetype input_origin = Command_line.input_unit * origin_coord list

Sourcetype input_item = string * input_blob * input_origin

Sourceval string_of_input_blob : input_blob -> string

Sourceval instance_Show_Show_Input_list_input_blob_dict : input_blob Show.show_class

Source

val short_string_of_input_item : 
  (string * 'a * ('b * origin_coord list)) ->
  string

Sourcetype can_supply_function = input_item list -> int -> bool list

Sourcetype input_options = {

item_fmt : string;
item_check_sections : bool;
item_copy_dt_needed : bool;
item_force_output : bool;

}

Sourceval null_input_options : input_options

Sourceval string_of_input_options : 'a -> string

Source

val instance_Show_Show_Input_list_input_options_dict : 
  input_options Show.show_class

Sourcetype input_list = (input_item * input_options) list

Sourceval toplevel_dot_o_can_supply : 'a list -> 'b -> bool list

Sourceval toplevel_shared_can_supply : 'a list -> Nat_num.nat -> bool list

Sourceval toplevel_archive_can_supply : 'a list -> Nat_num.nat -> bool list

Sourceval lib_filename_from_spec : string -> string -> string

Sourceval find_library_in : string -> string list -> string list -> string option

Source

val find_one_library_filename : 
  Command_line.input_file_options ->
  string ->
  string

Source

val is_elf64_with_type : 
  Uint32_wrapper.uint32 ->
  Byte_sequence_wrapper.byte_sequence ->
  bool

Sourceval is_archive : Byte_sequence_wrapper.byte_sequence -> bool

Source

val open_file_and_expand : 
  string ->
  Command_line.input_unit ->
  Nat_big_num.num ->
  (string * input_blob * (Command_line.input_unit * origin_coord list)) list

Source

val make_input_items_and_options : 
  (string * input_blob * (Command_line.input_unit * origin_coord list)) list ->
  Command_line.input_file_options ->
  origin_coord list ->
  ((string * input_blob * (Command_line.input_unit * origin_coord list))
   * input_options)
    list

Source

val elaborate_input_helper : 
  Nat_big_num.num ->
  Command_line.input_unit list ->
  (input_item * input_options) list ->
  (input_item * input_options) list

Source

val elaborate_input : 
  Command_line.input_unit list ->
  (input_item * input_options) list

Install

Dune Dependency

Authors

Maintainers

Sources

doc/linksem_zarith/Input_list/index.html

Module `Input_list`Source

package linksem

Install

Dune Dependency

Authors

Maintainers

Sources

doc/linksem_zarith/Input_list/index.html

Module Input_listSource

Module `Input_list`Source