Ignore:
Timestamp:
Sep 29, 2010, 12:51:05 PM (10 years ago)
Author:
sacerdot
Message:

More cleanup.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/IntelHex.mli

    r139 r140  
    33open Parser;;
    44
    5 type intel_hex_entry_type =
    6     Data
    7   | End
    8   | ExtendedSeg
    9   | ExtendedLinear
    10 ;;
     5type intel_hex_format
    116
    12 type 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 
    22 type intel_hex_format = intel_hex_entry list;;
    23 
    24 val string_of_intel_hex_format: intel_hex_format -> string;;
    25 val prs_intel_hex_format: intel_hex_format parser;;
    26 
    27 val hex_string_of_vect: 'a vect -> string;;
     7val string_of_intel_hex_format: intel_hex_format -> string
     8val prs_intel_hex_format: intel_hex_format parser
    289
    2910exception WrongFormat of string
     
    3112val intel_hex_of_file: string -> intel_hex_format
    3213val process_intel_hex: intel_hex_format -> Physical.WordMap.map
    33 
    34 val checksum_valid: intel_hex_entry -> bool;;
Note: See TracChangeset for help on using the changeset viewer.