HCoop / bpt / coccinelle.git / blame
| Commit | Line | Data |
|---|---|---|
| 978fd7e5 | 1 | type type_with_ident = |
| 113803cf | 2 | (string * Ast_c.info) option -> |
| ae4735db | 3 | (Ast_c.storage * Ast_c.il) option -> |
| 978fd7e5 C |
4 | Ast_c.fullType -> |
| 5 | Ast_c.attribute list -> unit | |
| 6 | ||
| ae4735db | 7 | type 'a printer = 'a -> unit |
| 978fd7e5 C |
8 | |
| 9 | type pretty_printers = { | |
| 10 | expression : Ast_c.expression printer; | |
| 11 | arg_list : (Ast_c.argument Ast_c.wrap2 list) printer; | |
| 12 | statement : Ast_c.statement printer; | |
| 13 | decl : Ast_c.declaration printer; | |
| 413ffc02 | 14 | field : Ast_c.field printer; |
| 190f1acf | 15 | field_list : Ast_c.field list printer; |
| 978fd7e5 | 16 | init : Ast_c.initialiser printer; |
| 8f657093 | 17 | init_list : (Ast_c.initialiser Ast_c.wrap2 list) printer; |
| 978fd7e5 | 18 | param : Ast_c.parameterType printer; |
| 413ffc02 | 19 | paramlist : (Ast_c.parameterType Ast_c.wrap2 list) printer; |
| 978fd7e5 C |
20 | ty : Ast_c.fullType printer; |
| 21 | type_with_ident : type_with_ident; | |
| 22 | toplevel : Ast_c.toplevel printer; | |
| 23 | flow : Control_flow_c.node printer | |
| 24 | } | |
| 25 | ||
| 26 | val mk_pretty_printers : | |
| ae4735db | 27 | pr_elem:Ast_c.info printer -> |
| 978fd7e5 | 28 | pr_space:unit printer -> |
| ae4735db | 29 | pr_nl: unit printer -> |
| 978fd7e5 | 30 | pr_indent: unit printer -> |
| ae4735db C |
31 | pr_outdent: unit printer -> |
| 32 | pr_unindent: unit printer -> | |
| 978fd7e5 C |
33 | pretty_printers |
| 34 | ||
| 35 | (* used in pycocci mostly *) | |
| ae4735db | 36 | val pp_expression_gen: pr_elem:Ast_c.info printer -> pr_space: unit printer -> |
| 978fd7e5 | 37 | Ast_c.expression printer |
| 413ffc02 C |
38 | val pp_arg_list_gen: pr_elem:Ast_c.info printer -> pr_space: unit printer -> |
| 39 | (Ast_c.argument Ast_c.wrap2 list) printer | |
| 40 | val pp_decl_gen: pr_elem:Ast_c.info printer -> pr_space: unit printer -> | |
| 41 | Ast_c.declaration printer | |
| 42 | val pp_field_gen: pr_elem:Ast_c.info printer -> pr_space: unit printer -> | |
| 43 | Ast_c.field printer | |
| 190f1acf C |
44 | val pp_field_list_gen: pr_elem:Ast_c.info printer -> pr_space: unit printer -> |
| 45 | Ast_c.field list printer | |
| ae4735db | 46 | val pp_statement_gen: pr_elem:Ast_c.info printer -> pr_space: unit printer -> |
| 978fd7e5 | 47 | Ast_c.statement printer |
| ae4735db C |
48 | val pp_param_gen: pr_elem:Ast_c.info printer -> pr_space: unit printer -> |
| 49 | Ast_c.parameterType printer | |
| 413ffc02 C |
50 | val pp_param_list_gen: pr_elem:Ast_c.info printer -> pr_space: unit printer -> |
| 51 | (Ast_c.parameterType Ast_c.wrap2 list) printer | |
| ae4735db C |
52 | val pp_type_gen: pr_elem:Ast_c.info printer -> pr_space:unit printer -> |
| 53 | Ast_c.fullType printer | |
| 54 | val pp_init_gen: pr_elem:Ast_c.info printer -> pr_space:unit printer -> | |
| 55 | Ast_c.initialiser printer | |
| 8f657093 C |
56 | val pp_init_list_gen: pr_elem:Ast_c.info printer -> pr_space:unit printer -> |
| 57 | (Ast_c.initialiser Ast_c.wrap2 list) printer | |
| ae4735db | 58 | val pp_program_gen : pr_elem:Ast_c.info printer -> pr_space:unit printer -> |
| 978fd7e5 C |
59 | Ast_c.toplevel printer |
| 60 | ||
| 61 | ||
| 62 | (* used in pretty_print_engine.ml mostly *) | |
| 63 | val pp_expression_simple: Ast_c.expression printer | |
| 64 | val pp_init_simple: Ast_c.initialiser printer | |
| 65 | val pp_type_simple: Ast_c.fullType printer | |
| 413ffc02 C |
66 | val pp_decl_simple: Ast_c.declaration printer |
| 67 | val pp_field_simple: Ast_c.field printer | |
| 978fd7e5 C |
68 | val pp_statement_simple: Ast_c.statement printer |
| 69 | val pp_toplevel_simple: Ast_c.toplevel printer | |
| 70 | ||
| ae4735db | 71 | val debug_info_of_node: |
| 978fd7e5 | 72 | Ograph_extended.nodei -> Control_flow_c.cflow -> string |
| 91eba41f C |
73 | |
| 74 | val string_of_expression: Ast_c.expression -> string | |
| 708f4980 | 75 | val string_of_toplevel: Ast_c.toplevel -> string |