package linksem
A formalisation of the core ELF and DWARF file formats written in Lem
Install
Dune Dependency
Authors
Maintainers
Sources
0.8.tar.gz
md5=2075c56715539b3b8f54ae65cc808b8c
sha512=f7c16e4036a1440a6a8d13707a43f0f9f9db0c68489215f948cc300b6a164dba5bf852e58f89503e9d9f38180ee658d9478156ca1a1ef64d6861eec5f9cf43d2
doc/src/linksem_zarith/hex_printing.ml.html
Source file hex_printing.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68(*Generated by Lem from hex_printing.lem.*) (** [hex_printing] is a utility module for converting natural numbers and integers * into hex strings of various widths. Split into a new module as both the * validation code and the main program need this functionality. *) open Lem_basic_classes open Lem_list open Lem_num open Lem_string open Missing_pervasives open Elf_types_native_uint (*val hex_string_of_big_int_no_padding : natural -> string*) (* declare ocaml target_rep function hex_string_of_big_int_no_padding = `Ml_bindings.hex_string_of_big_int_no_padding` *) let hex_string_of_big_int_no_padding:Nat_big_num.num ->string= hex_string_of_natural (*val hex_string_of_big_int_no_padding' : integer -> string*) (*val hex_string_of_big_int_pad2 : natural -> string*) (*val hex_string_of_big_int_pad4 : natural -> string*) (*val hex_string_of_big_int_pad5 : natural -> string*) (*val hex_string_of_big_int_pad6 : natural -> string*) (*val hex_string_of_big_int_pad7 : natural -> string*) (*val hex_string_of_big_int_pad8 : natural -> string*) (*val hex_string_of_big_int_pad16 : natural -> string*) (*val hex_string_of_nat_pad2 : nat -> string*) (*val unsafe_hex_string_of_natural : nat -> natural -> string*) let unsafe_hex_string_of_natural pad m:string= (if pad = 2 then Ml_bindings.hex_string_of_big_int_pad2 m else if pad = 5 then Ml_bindings.hex_string_of_big_int_pad5 m else if pad = 4 then Ml_bindings.hex_string_of_big_int_pad4 m else if pad = 6 then Ml_bindings.hex_string_of_big_int_pad6 m else if pad = 7 then Ml_bindings.hex_string_of_big_int_pad7 m else if pad = 8 then Ml_bindings.hex_string_of_big_int_pad8 m else if pad = 16 then Ml_bindings.hex_string_of_big_int_pad16 m else hex_string_of_big_int_no_padding m) (*val unsafe_hex_string_of_uc_list : list unsigned_char -> string*) let rec unsafe_hex_string_of_uc_list xs:string= ((match xs with | [] -> "" | x::y::xs -> let sx = (unsafe_hex_string_of_natural 2 (Uint32_wrapper.to_bigint x)) in let sy = (unsafe_hex_string_of_natural 2 (Uint32_wrapper.to_bigint y)) in let sx = (if String.length sx = 2 then sx else "0" ^ sx) in let sy = (if String.length sy = 2 then sy else "0" ^ sy) in sx ^ (" " ^ (sy ^ (" " ^ unsafe_hex_string_of_uc_list xs))) ))