Ignore:
Timestamp:
Mar 2, 2011, 3:27:41 PM (9 years ago)
Author:
ayache
Message:

Update of D2.2 from Paris.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/ASM/ASMPrinter.mli

    r486 r619  
    1 val 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
    21 val pp_instruction: [< ASM.labelled_instruction] -> string
     1
     2(** This module provides a function to print [ASM] programs. *)
    223
    234val print_program : ASM.program -> string
Note: See TracChangeset for help on using the changeset viewer.