source: Deliverables/D4.1/ASMInterpret.mli @ 141

open BitVectors;;
open Physical;;

exception CodeTooLarge

type time = int;;
type line = [`P0 | `P1 ];; (* ??? *)
type continuation =
unit (*
 [`In of time * line * byte * continuation] option *
 [`Out of (time -> line -> byte -> continuation) ]
*)

type status = private
 { code_memory: WordMap.map;        (* can be reduced *)
   low_internal_ram: Byte7Map.map;
   high_internal_ram: Byte7Map.map;
   external_ram: WordMap.map;       (* can be reduced *)

   pc: word;

   (* sfr *)
   p0: byte;
   sp: byte;
   dpl: byte;
   dph: byte;
   pcon: byte;
   tcon: byte;
   tmod: byte;
   tl0: byte;
   tl1: byte;
   th0: byte;
   th1: byte;
   p1: byte;
   scon: byte;
   sbuf: byte;
   p2: byte;
   ie: byte;
   p3: byte;
   ip: byte;
   psw: byte;
   acc: byte;
   b: byte;

   clock: time;
   timer0: word;
   timer1: word;
   timer2: word;  (* can be missing *)
   io: continuation
 }

module IntMap: Map.S with type key = int

val assembly:
 ASM.labelled_instruction list -> BitVectors.byte list (*ASM.instruction list * symbol_table *) * string IntMap.t

(*
val link:
 (ASM.instruction list * symbol_table * cost_map) list -> BitVectors.byte list
*)

val initialize: status

val load_mem: Physical.WordMap.map -> status -> status
val load: BitVectors.byte list -> status -> status

exception Halt  (* to be raised to stop execution *)

(* the callback function is used to observe the execution
   trace; it can raise Hold to stop execution. Otherwise
   the processor never halts. *)
val execute: (status -> unit) -> status -> status

val fetch: Physical.WordMap.map -> word -> ASM.instruction * word * int