|
Last change
on this file since 130 was
130,
checked in by mulligan, 11 years ago
|
|
Commit again? Not sure what happened. All Parser files were already
under SVN control.
|
|
File size:
583 bytes
|
| Line | |
|---|
| 1 | open BitVectors;; |
|---|
| 2 | open ASM;; |
|---|
| 3 | open Parser;; |
|---|
| 4 | |
|---|
| 5 | type intel_hex_entry_type = |
|---|
| 6 | Data |
|---|
| 7 | | End |
|---|
| 8 | | ExtendedSeg |
|---|
| 9 | | ExtendedLinear |
|---|
| 10 | ;; |
|---|
| 11 | |
|---|
| 12 | type 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 | |
|---|
| 21 | type intel_hex_format = intel_hex_entry list;; |
|---|
| 22 | |
|---|
| 23 | val string_of_intel_hex_format: intel_hex_format -> string;; |
|---|
| 24 | val prs_intel_hex_format: intel_hex_format parser;; |
|---|
| 25 | |
|---|
| 26 | val vect_of_hex_string: string -> sizes -> sizes vect;; |
|---|
| 27 | val hex_string_of_vect: 'a vect -> string;; |
|---|
Note: See
TracBrowser
for help on using the repository browser.
