Changeset 166 for Deliverables/D4.1/ASMInterpret.mli

Timestamp:

Oct 8, 2010, 6:11:14 PM (9 years ago)

Author:

mulligan

Message:

I/O support added for serial buffer.

File:

• Deliverables/D4.1/ASMInterpret.mli (modified) (2 diffs)

Deliverables/D4.1/ASMInterpret.mli

@@ -5 +5 @@
 
 type time = int;;
-type line = [`P0 | `P1 ];; (* ??? *)
+type line = [ `P0 of byte
+            | `P1 of byte
+            | `SerialBuff of [ `Eight of byte | `Nine of BitVectors.bit * byte ]];;
+(* In:  reception time, line of input, new continuation,
+   Out: transmission time, output line, expected duration until reply,
+        new continuation.
+*)
 type continuation =
-unit (*
- [`In of time * line * byte * continuation] option *
- [`Out of (time -> line -> byte -> continuation) ]
-*)
+  [`In of time * line * continuation] option *
+  [`Out of (time -> line -> time * continuation) ]
 
 type status = private
@@ -52 +56 @@
    timer1: word;
    timer2: word;  (* can be missing *)
+   expected_out_time: [ `None | `Now | `At of time ];
    io: continuation
  }