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

Last change on this file since 131 was 131, checked in by mulligan, 10 years ago

Changes from this morning: checking checksum is correct for a
intel_hex_entry. Also some new useful functions in Util and elsewhere.

File size: 630 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: byte * byte;
15  record_addr: byte * byte * byte * byte;
16  record_type: intel_hex_entry_type;
17  data_field: byte list;
18  data_checksum: byte * byte
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.