Changeset 140 for Deliverables/D4.1/IntelHex.mli
- Timestamp:
- Sep 29, 2010, 12:51:05 PM (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/IntelHex.mli
r139 r140 3 3 open Parser;; 4 4 5 type intel_hex_entry_type = 6 Data 7 | End 8 | ExtendedSeg 9 | ExtendedLinear 10 ;; 5 type intel_hex_format 11 6 12 type intel_hex_entry = 13 { 14 record_length: byte; 15 record_addr: word; 16 record_type: intel_hex_entry_type; 17 data_field: byte list; 18 data_checksum: byte 19 } 20 ;; 21 22 type intel_hex_format = intel_hex_entry list;; 23 24 val string_of_intel_hex_format: intel_hex_format -> string;; 25 val prs_intel_hex_format: intel_hex_format parser;; 26 27 val hex_string_of_vect: 'a vect -> string;; 7 val string_of_intel_hex_format: intel_hex_format -> string 8 val prs_intel_hex_format: intel_hex_format parser 28 9 29 10 exception WrongFormat of string … … 31 12 val intel_hex_of_file: string -> intel_hex_format 32 13 val process_intel_hex: intel_hex_format -> Physical.WordMap.map 33 34 val checksum_valid: intel_hex_entry -> bool;;
Note: See TracChangeset
for help on using the changeset viewer.