source: Deliverables/D2.2/8051/src/ASM/Pretty.mli @ 627

Last change on this file since 627 was 627, checked in by mulligan, 10 years ago

Fixed bug in ASMInterpret.ml. Added pretty printing module.

File size: 666 bytes
Line 
1val pp_arg:
2    [< `A
3     | `ADDR11 of 'a BitVectors.vect
4     | `ADDR16 of 'b BitVectors.vect
5     | `A_DPTR
6     | `A_PC
7     | `B
8     | `BIT of BitVectors.byte
9     | `C
10     | `DATA of 'c BitVectors.vect
11     | `DATA16 of 'd BitVectors.vect
12     | `DIRECT of BitVectors.byte
13     | `DPTR
14     | `EXT_INDIRECT of bool
15     | `EXT_IND_DPTR
16     | `INDIRECT of bool
17     | `IND_DPTR
18     | `NBIT of BitVectors.byte
19     | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit
20     | `REL of 'e BitVectors.vect ] -> string
21val pp_instruction: [< ASM.labelled_instruction] -> string
22
23val print_program : [< ASM.labelled_instruction] ASM.pretty_program -> string
Note: See TracBrowser for help on using the repository browser.