]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - src/ASM/IntelHex.mli
first version of the package
[pkg-cerco/acc.git] / src / ASM / IntelHex.mli
1 open BitVectors;;
2 open ASM;;
3 open Parser;;
4
5 exception WrongFormat of string
6
7 type intel_hex_format
8
9 val string_of_intel_hex_format: intel_hex_format -> string
10 val prs_intel_hex_format: intel_hex_format parser
11
12 val intel_hex_of_file: string -> intel_hex_format
13 val file_of_intel_hex: string -> intel_hex_format -> unit
14 val process_intel_hex: intel_hex_format -> Physical.WordMap.map
15
16 val pack_exported_code_memory: int -> int -> Physical.WordMap.map -> intel_hex_format
17 val file_of_intel_hex: string -> intel_hex_format -> unit