Ignore:
Timestamp:
Sep 8, 2010, 12:30:28 PM (9 years ago)
Author:
mulligan
Message:

Added pretty printing functions for bits, bytes, words etc.

File:
1 edited

Legend:

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

    r43 r44  
    11open Physical;;
    22open ASM;;
    3 
    4 exception BOO
     3open Pretty;;
     4
     5exception Fetch_exception of string
    56
    67type time = int;;
     
    5657  let pc,v = next pc in
    5758   try pc, byte7_of_byte v
    58    with FOO2 -> raise BOO in
     59   with Byte7_conversion -> raise (Fetch_exception "Cannot convert byte7") in
    5960 let instr = WordMap.find pc pmem in
    6061 let pc = pc ++ 1 in
     
    353354         XRL(`U2(`DIRECT b1, `DATA b2)), pc, 2
    354355 with
    355   Not_found -> raise BOO
     356  Not_found -> raise (Fetch_exception "Key not found")
    356357;;
    357358
Note: See TracChangeset for help on using the changeset viewer.