source: Deliverables/D4.1/IntelHex.mli @ 133

Last change on this file since 133 was 133, checked in by mulligan, 9 years ago

Fixed error in parser for intel hex format entries: entries consist of
lists of *nibbles*, not *bytes*. Changes propagated through rest of
file.

File size: 648 bytes
Line 
1open BitVectors;;
2open ASM;;
3open Parser;;
4
5type intel_hex_entry_type =
6    Data
7  | End
8  | ExtendedSeg
9  | ExtendedLinear
10;;
11
12type intel_hex_entry =
13{
14  record_length: nibble * nibble;
15  record_addr: nibble * nibble * nibble * nibble;
16  record_type: intel_hex_entry_type;
17  data_field: nibble list;
18  data_checksum: nibble * nibble
19};;
20
21type intel_hex_format = intel_hex_entry list;;
22
23val string_of_intel_hex_format: intel_hex_format -> string;;
24val prs_intel_hex_format: intel_hex_format parser;;
25
26val vect_of_hex_string: string -> sizes -> sizes vect;;
27val hex_string_of_vect: 'a vect -> string;;
28
29val checksum_valid: intel_hex_entry -> bool;;
Note: See TracBrowser for help on using the repository browser.