Changeset 140 for Deliverables/D4.1/IntelHex.mli

Timestamp:

Sep 29, 2010, 12:51:05 PM (10 years ago)

Author:

sacerdot

Message:

More cleanup.

File:

• Deliverables/D4.1/IntelHex.mli (modified) (2 diffs)

Deliverables/D4.1/IntelHex.mli

@@ -3 +3 @@
 open Parser;;
 
-type intel_hex_entry_type =
-    Data
-  | End
-  | ExtendedSeg
-  | ExtendedLinear
-;;
+type intel_hex_format
 
-type intel_hex_entry =
-{
-  record_length: byte;
-  record_addr: word;
-  record_type: intel_hex_entry_type;
-  data_field: byte list;
-  data_checksum: byte
-}
-;;
-
-type intel_hex_format = intel_hex_entry list;;
-
-val string_of_intel_hex_format: intel_hex_format -> string;;
-val prs_intel_hex_format: intel_hex_format parser;;
-
-val hex_string_of_vect: 'a vect -> string;;
+val string_of_intel_hex_format: intel_hex_format -> string
+val prs_intel_hex_format: intel_hex_format parser
 
 exception WrongFormat of string
@@ -31 +12 @@
 val intel_hex_of_file: string -> intel_hex_format
 val process_intel_hex: intel_hex_format -> Physical.WordMap.map
-
-val checksum_valid: intel_hex_entry -> bool;;