Ignore:
Timestamp:
Oct 8, 2010, 6:11:14 PM (9 years ago)
Author:
mulligan
Message:

I/O support added for serial buffer.

File:
1 edited

Legend:

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

    r143 r166  
    55
    66type time = int;;
    7 type line = [`P0 | `P1 ];; (* ??? *)
     7type line = [ `P0 of byte
     8            | `P1 of byte
     9            | `SerialBuff of [ `Eight of byte | `Nine of BitVectors.bit * byte ]];;
     10(* In:  reception time, line of input, new continuation,
     11   Out: transmission time, output line, expected duration until reply,
     12        new continuation.
     13*)
    814type continuation =
    9 unit (*
    10  [`In of time * line * byte * continuation] option *
    11  [`Out of (time -> line -> byte -> continuation) ]
    12 *)
     15  [`In of time * line * continuation] option *
     16  [`Out of (time -> line -> time * continuation) ]
    1317
    1418type status = private
     
    5256   timer1: word;
    5357   timer2: word;  (* can be missing *)
     58   expected_out_time: [ `None | `Now | `At of time ];
    5459   io: continuation
    5560 }
Note: See TracChangeset for help on using the changeset viewer.