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

Last change on this file since 139 was 139, checked in by sacerdot, 10 years ago

More cleanup.

File size: 688 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;
15  record_addr: word;
16  record_type: intel_hex_entry_type;
17  data_field: byte list;
18  data_checksum: byte
19}
20;;
21
22type intel_hex_format = intel_hex_entry list;;
23
24val string_of_intel_hex_format: intel_hex_format -> string;;
25val prs_intel_hex_format: intel_hex_format parser;;
26
27val hex_string_of_vect: 'a vect -> string;;
28
29exception WrongFormat of string
30
31val intel_hex_of_file: string -> intel_hex_format
32val process_intel_hex: intel_hex_format -> Physical.WordMap.map
33
34val checksum_valid: intel_hex_entry -> bool;;
Note: See TracBrowser for help on using the repository browser.