source: Deliverables/D4.1/IntelHex.ml @ 123

open BitVectors;;
open ASM;;

type intel_hex_entry_type =
    Data
  | End
  | ExtendedSeg
  | ExtendedLinear

type intel_hex_entry =
{
  record_length: byte * byte;
  record_type: intel_hex_entry_type;
  data_field: byte list;
  data_checksum: byte * byte
};;

let hex_string_of_vect x = "00"

let string_of_intel_hex_entry entry =
  let record_length_l, record_length_r = entry.record_length in
  let data_checksum_l, data_checksum_r = entry.data_checksum in
  let length_string = hex_string_of_vect record_length_l ^ 
                      hex_string_of_vect record_length_l in
  let checksum_string = hex_string_of_vect data_checksum_l ^ 
                        hex_string_of_vect data_checksum_r in
  let type_string =
    match entry.record_type with
      Data -> "00"
    | End -> "01"
    | ExtendedSeg -> "02"
    | ExtendedLinear -> "04" in
  let data_string = String.concat "" (List.map hex_string_of_vect entry.data_field) in
    ":" ^ length_string ^ type_string ^ data_string ^ checksum_string