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 C |
16 | init : Ast_c.initialiser printer; |
17 | param : Ast_c.parameterType printer; | |
413ffc02 | 18 | paramlist : (Ast_c.parameterType Ast_c.wrap2 list) printer; |
978fd7e5 C |
19 | ty : Ast_c.fullType printer; |
20 | type_with_ident : type_with_ident; | |
21 | toplevel : Ast_c.toplevel printer; | |
22 | flow : Control_flow_c.node printer | |
23 | } | |
24 | ||
25 | val mk_pretty_printers : | |
ae4735db | 26 | pr_elem:Ast_c.info printer -> |
978fd7e5 | 27 | pr_space:unit printer -> |
ae4735db | 28 | pr_nl: unit printer -> |
978fd7e5 | 29 | pr_indent: unit printer -> |
ae4735db C |
30 | pr_outdent: unit printer -> |
31 | pr_unindent: unit printer -> | |
978fd7e5 C |
32 | pretty_printers |
33 | ||
34 | (* used in pycocci mostly *) | |
ae4735db | 35 | val pp_expression_gen: pr_elem:Ast_c.info printer -> pr_space: unit printer -> |
978fd7e5 | 36 | Ast_c.expression printer |
413ffc02 C |
37 | val pp_arg_list_gen: pr_elem:Ast_c.info printer -> pr_space: unit printer -> |
38 | (Ast_c.argument Ast_c.wrap2 list) printer | |
39 | val pp_decl_gen: pr_elem:Ast_c.info printer -> pr_space: unit printer -> | |
40 | Ast_c.declaration printer | |
41 | val pp_field_gen: pr_elem:Ast_c.info printer -> pr_space: unit printer -> | |
42 | Ast_c.field printer | |
190f1acf C |
43 | val pp_field_list_gen: pr_elem:Ast_c.info printer -> pr_space: unit printer -> |
44 | Ast_c.field list printer | |
ae4735db | 45 | val pp_statement_gen: pr_elem:Ast_c.info printer -> pr_space: unit printer -> |
978fd7e5 | 46 | Ast_c.statement printer |
ae4735db C |
47 | val pp_param_gen: pr_elem:Ast_c.info printer -> pr_space: unit printer -> |
48 | Ast_c.parameterType printer | |
413ffc02 C |
49 | val pp_param_list_gen: pr_elem:Ast_c.info printer -> pr_space: unit printer -> |
50 | (Ast_c.parameterType Ast_c.wrap2 list) printer | |
ae4735db C |
51 | val pp_type_gen: pr_elem:Ast_c.info printer -> pr_space:unit printer -> |
52 | Ast_c.fullType printer | |
53 | val pp_init_gen: pr_elem:Ast_c.info printer -> pr_space:unit printer -> | |
54 | Ast_c.initialiser printer | |
55 | val pp_program_gen : pr_elem:Ast_c.info printer -> pr_space:unit printer -> | |
978fd7e5 C |
56 | Ast_c.toplevel printer |
57 | ||
58 | ||
59 | (* used in pretty_print_engine.ml mostly *) | |
60 | val pp_expression_simple: Ast_c.expression printer | |
61 | val pp_init_simple: Ast_c.initialiser printer | |
62 | val pp_type_simple: Ast_c.fullType printer | |
413ffc02 C |
63 | val pp_decl_simple: Ast_c.declaration printer |
64 | val pp_field_simple: Ast_c.field printer | |
978fd7e5 C |
65 | val pp_statement_simple: Ast_c.statement printer |
66 | val pp_toplevel_simple: Ast_c.toplevel printer | |
67 | ||
ae4735db | 68 | val debug_info_of_node: |
978fd7e5 | 69 | Ograph_extended.nodei -> Control_flow_c.cflow -> string |
91eba41f C |
70 | |
71 | val string_of_expression: Ast_c.expression -> string | |
708f4980 | 72 | val string_of_toplevel: Ast_c.toplevel -> string |