cparser/Cprint.mli

   1 (* *********************************************************************)
   2 (*                                                                     *)
   3 (*              The Compcert verified compiler                         *)
   4 (*                                                                     *)
   5 (*          Xavier Leroy, INRIA Paris-Rocquencourt                     *)
   6 (*                                                                     *)
   7 (*  Copyright Institut National de Recherche en Informatique et en     *)
   8 (*  Automatique.  All rights reserved.  This file is distributed       *)
   9 (*  under the terms of the GNU General Public License as published by  *)
  10 (*  the Free Software Foundation, either version 2 of the License, or  *)
  11 (*  (at your option) any later version.  This file is also distributed *)
  12 (*  under the terms of the INRIA Non-Commercial License Agreement.     *)
  13 (*                                                                     *)
  14 (* *********************************************************************)
  15
  16 val print_idents_in_full : bool ref
  17 val print_line_numbers : bool ref
  18
  19 val location : Format.formatter -> C.location -> unit
  20 val typ : Format.formatter -> C.typ -> unit
  21 val simple_decl : Format.formatter -> C.ident * C.typ -> unit
  22 val full_decl: Format.formatter -> C.decl -> unit
  23 val const : Format.formatter -> C.constant -> unit
  24 val exp : Format.formatter -> int * C.exp -> unit
  25 val opt_exp : Format.formatter -> C.stmt -> unit
  26 val stmt : Format.formatter -> C.stmt -> unit
  27 val fundef : Format.formatter -> C.fundef -> unit
  28 val init : Format.formatter -> C.init -> unit
  29 val storage : Format.formatter -> C.storage -> unit
  30 val field : Format.formatter -> C.field -> unit
  31 val globdecl : Format.formatter -> C.globdecl -> unit
  32 val program : Format.formatter -> C.program -> unit