Changeset 443

Timestamp:

01/13/11 11:35:18 (2 years ago)

Author:

mulligan

Message:

Wrote exportation code. Need to test it.

Location:

Deliverables/D4.1

Files:

• IntelHex.ml (modified) (2 diffs)
• IntelHex.mli (modified) (1 diff)

Deliverables/D4.1/IntelHex.ml

@@ -195 +195 @@
      unitialized zone in the code memory.
 *)
-let export_intel_hex chunk_size max_addressable code_mem =
-  let rec aux chunk_size address rbuff lbuff =
+let export_code_memory chunk_size max_addressable code_mem =
+  let rec aux chunk_size address start_address rbuff lbuff =
     if chunk_size = 0 or address = max_addressable then
       lbuff
@@ -202 +202 @@
       let code = Physical.WordMap.find (vect_of_int address `Sixteen) code_mem in
         if code = zero `Eight then
-          aux chunk_size (address + 1) [] (rbuff::lbuff)
+          aux chunk_size (address + 1) address [] ((start_address, rbuff)::lbuff)
         else
-          aux (chunk_size - 1) (address + 1) (code::rbuff) lbuff
+          aux (chunk_size - 1) (address + 1) start_address (code::rbuff) lbuff
   in
-    aux chunk_size 0 [] []
+    aux chunk_size 0 0 [] []
+;;
+
+let clean_exported_code_memory = List.filter (fun x -> snd x <> [])
+;;
+
+let process_exported_code_memory =
+  List.map (fun x ->
+    { record_length = vect_of_int (List.length (snd x)) `Eight;
+      record_addr = vect_of_int (fst x) `Sixteen;
+      record_type = Data;
+      data_field = snd x;
+      data_checksum = zero `Eight (* for the time being *)
+    })
+;;
+
+let pack_exported_code_memory chunk_size max_addressable code_mem =
+  let export = export_code_memory chunk_size max_addressable code_mem in
+  let cleaned = clean_exported_code_memory export in
+  let processed = process_exported_code_memory cleaned in
+  let end_buffer =
+    [{ record_length = zero `Eight;
+      record_addr = zero `Sixteen;
+      record_type = End;
+      data_field = [];
+      data_checksum = zero `Eight
+    }] in
+    processed @ end_buffer
+;;

Deliverables/D4.1/IntelHex.mli

@@ -12 +12 @@
 val intel_hex_of_file: string -> intel_hex_format
 val process_intel_hex: intel_hex_format -> Physical.WordMap.map
-val export_intel_hex: int -> int -> Physical.WordMap.map -> byte list list
+
+val pack_exported_code_memory: int -> int -> Physical.WordMap.map -> intel_hex_format