source: Deliverables/D2.2/8051/src/ASM/ASMPrinter.mli @ 486

Last change on this file since 486 was 486, checked in by ayache, 9 years ago

Deliverable D2.2

File size: 630 bytes
RevLine 
[486]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.program -> string
Note: See TracBrowser for help on using the repository browser.