~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to bundles/stdcompat/stdcompat-current/interfaces/4.07/format.mli

  • Committer: Thierry Martinez
  • Date: 2019-08-20 13:37:04 UTC
  • Revision ID: git-v1:0214afad4a32c95349c2c5a38e37cea407c455d0
Update bundles

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
type formatter
 
2
val pp_open_box : formatter -> int -> unit
 
3
val open_box : int -> unit
 
4
val pp_close_box : formatter -> unit -> unit
 
5
val close_box : unit -> unit
 
6
val pp_open_hbox : formatter -> unit -> unit
 
7
val open_hbox : unit -> unit
 
8
val pp_open_vbox : formatter -> int -> unit
 
9
val open_vbox : int -> unit
 
10
val pp_open_hvbox : formatter -> int -> unit
 
11
val open_hvbox : int -> unit
 
12
val pp_open_hovbox : formatter -> int -> unit
 
13
val open_hovbox : int -> unit
 
14
val pp_print_string : formatter -> string -> unit
 
15
val print_string : string -> unit
 
16
val pp_print_as : formatter -> int -> string -> unit
 
17
val print_as : int -> string -> unit
 
18
val pp_print_int : formatter -> int -> unit
 
19
val print_int : int -> unit
 
20
val pp_print_float : formatter -> float -> unit
 
21
val print_float : float -> unit
 
22
val pp_print_char : formatter -> char -> unit
 
23
val print_char : char -> unit
 
24
val pp_print_bool : formatter -> bool -> unit
 
25
val print_bool : bool -> unit
 
26
val pp_print_space : formatter -> unit -> unit
 
27
val print_space : unit -> unit
 
28
val pp_print_cut : formatter -> unit -> unit
 
29
val print_cut : unit -> unit
 
30
val pp_print_break : formatter -> int -> int -> unit
 
31
val print_break : int -> int -> unit
 
32
val pp_force_newline : formatter -> unit -> unit
 
33
val force_newline : unit -> unit
 
34
val pp_print_if_newline : formatter -> unit -> unit
 
35
val print_if_newline : unit -> unit
 
36
val pp_print_flush : formatter -> unit -> unit
 
37
val print_flush : unit -> unit
 
38
val pp_print_newline : formatter -> unit -> unit
 
39
val print_newline : unit -> unit
 
40
val pp_set_margin : formatter -> int -> unit
 
41
val set_margin : int -> unit
 
42
val pp_get_margin : formatter -> unit -> int
 
43
val get_margin : unit -> int
 
44
val pp_set_max_indent : formatter -> int -> unit
 
45
val set_max_indent : int -> unit
 
46
val pp_get_max_indent : formatter -> unit -> int
 
47
val get_max_indent : unit -> int
 
48
val pp_set_max_boxes : formatter -> int -> unit
 
49
val set_max_boxes : int -> unit
 
50
val pp_get_max_boxes : formatter -> unit -> int
 
51
val get_max_boxes : unit -> int
 
52
val pp_over_max_boxes : formatter -> unit -> bool
 
53
val over_max_boxes : unit -> bool
 
54
val pp_open_tbox : formatter -> unit -> unit
 
55
val open_tbox : unit -> unit
 
56
val pp_close_tbox : formatter -> unit -> unit
 
57
val close_tbox : unit -> unit
 
58
val pp_set_tab : formatter -> unit -> unit
 
59
val set_tab : unit -> unit
 
60
val pp_print_tab : formatter -> unit -> unit
 
61
val print_tab : unit -> unit
 
62
val pp_print_tbreak : formatter -> int -> int -> unit
 
63
val print_tbreak : int -> int -> unit
 
64
val pp_set_ellipsis_text : formatter -> string -> unit
 
65
val set_ellipsis_text : string -> unit
 
66
val pp_get_ellipsis_text : formatter -> unit -> string
 
67
val get_ellipsis_text : unit -> string
 
68
type tag = string
 
69
val pp_open_tag : formatter -> string -> unit
 
70
val open_tag : tag -> unit
 
71
val pp_close_tag : formatter -> unit -> unit
 
72
val close_tag : unit -> unit
 
73
val pp_set_tags : formatter -> bool -> unit
 
74
val set_tags : bool -> unit
 
75
val pp_set_print_tags : formatter -> bool -> unit
 
76
val set_print_tags : bool -> unit
 
77
val pp_set_mark_tags : formatter -> bool -> unit
 
78
val set_mark_tags : bool -> unit
 
79
val pp_get_print_tags : formatter -> unit -> bool
 
80
val get_print_tags : unit -> bool
 
81
val pp_get_mark_tags : formatter -> unit -> bool
 
82
val get_mark_tags : unit -> bool
 
83
val pp_set_formatter_out_channel : formatter -> out_channel -> unit
 
84
val set_formatter_out_channel : out_channel -> unit
 
85
val pp_set_formatter_output_functions :
 
86
  formatter -> (string -> int -> int -> unit) -> (unit -> unit) -> unit
 
87
val set_formatter_output_functions :
 
88
  (string -> int -> int -> unit) -> (unit -> unit) -> unit
 
89
val pp_get_formatter_output_functions :
 
90
  formatter -> unit -> ((string -> int -> int -> unit) * (unit -> unit))
 
91
val get_formatter_output_functions :
 
92
  unit -> ((string -> int -> int -> unit) * (unit -> unit))
 
93
type formatter_out_functions =
 
94
  {
 
95
  out_string: string -> int -> int -> unit ;
 
96
  out_flush: unit -> unit ;
 
97
  out_newline: unit -> unit ;
 
98
  out_spaces: int -> unit ;
 
99
  out_indent: int -> unit }
 
100
val pp_set_formatter_out_functions :
 
101
  formatter -> formatter_out_functions -> unit
 
102
val set_formatter_out_functions : formatter_out_functions -> unit
 
103
val pp_get_formatter_out_functions :
 
104
  formatter -> unit -> formatter_out_functions
 
105
val get_formatter_out_functions : unit -> formatter_out_functions
 
106
type formatter_tag_functions =
 
107
  {
 
108
  mark_open_tag: tag -> string ;
 
109
  mark_close_tag: tag -> string ;
 
110
  print_open_tag: tag -> unit ;
 
111
  print_close_tag: tag -> unit }
 
112
val pp_set_formatter_tag_functions :
 
113
  formatter -> formatter_tag_functions -> unit
 
114
val set_formatter_tag_functions : formatter_tag_functions -> unit
 
115
val pp_get_formatter_tag_functions :
 
116
  formatter -> unit -> formatter_tag_functions
 
117
val get_formatter_tag_functions : unit -> formatter_tag_functions
 
118
val formatter_of_out_channel : out_channel -> formatter
 
119
val std_formatter : formatter
 
120
val err_formatter : formatter
 
121
val formatter_of_buffer : Buffer.t -> formatter
 
122
val stdbuf : Buffer.t
 
123
val str_formatter : formatter
 
124
val flush_str_formatter : unit -> string
 
125
val make_formatter :
 
126
  (string -> int -> int -> unit) -> (unit -> unit) -> formatter
 
127
val formatter_of_out_functions : formatter_out_functions -> formatter
 
128
type symbolic_output_item =
 
129
  | Output_flush 
 
130
  | Output_newline 
 
131
  | Output_string of string 
 
132
  | Output_spaces of int 
 
133
  | Output_indent of int 
 
134
type symbolic_output_buffer
 
135
val make_symbolic_output_buffer : unit -> symbolic_output_buffer
 
136
val clear_symbolic_output_buffer : symbolic_output_buffer -> unit
 
137
val get_symbolic_output_buffer :
 
138
  symbolic_output_buffer -> symbolic_output_item list
 
139
val flush_symbolic_output_buffer :
 
140
  symbolic_output_buffer -> symbolic_output_item list
 
141
val add_symbolic_output_item :
 
142
  symbolic_output_buffer -> symbolic_output_item -> unit
 
143
val formatter_of_symbolic_output_buffer : symbolic_output_buffer -> formatter
 
144
val pp_print_list :
 
145
  ?pp_sep:(formatter -> unit -> unit) ->
 
146
    (formatter -> 'a -> unit) -> formatter -> 'a list -> unit
 
147
val pp_print_text : formatter -> string -> unit
 
148
val fprintf : formatter -> ('a, formatter, unit) format -> 'a
 
149
val printf : ('a, formatter, unit) format -> 'a
 
150
val eprintf : ('a, formatter, unit) format -> 'a
 
151
val sprintf : ('a, unit, string) format -> 'a
 
152
val asprintf : ('a, formatter, unit, string) format4 -> 'a
 
153
val ifprintf : formatter -> ('a, formatter, unit) format -> 'a
 
154
val kfprintf :
 
155
  (formatter -> 'a) -> formatter -> ('b, formatter, unit, 'a) format4 -> 'b
 
156
val ikfprintf :
 
157
  (formatter -> 'a) -> formatter -> ('b, formatter, unit, 'a) format4 -> 'b
 
158
val ksprintf : (string -> 'a) -> ('b, unit, string, 'a) format4 -> 'b
 
159
val kasprintf : (string -> 'a) -> ('b, formatter, unit, 'a) format4 -> 'b
 
160
val bprintf : Buffer.t -> ('a, formatter, unit) format -> 'a[@@ocaml.deprecated
 
161
                                                              "- : Buffer.t -> ('a, Format.formatter, unit) format -> 'a = <fun>"]
 
162
val kprintf : (string -> 'a) -> ('b, unit, string, 'a) format4 -> 'b[@@ocaml.deprecated
 
163
                                                                    "Use Format.ksprintf instead."]
 
164
val set_all_formatter_output_functions :
 
165
  out:(string -> int -> int -> unit) ->
 
166
    flush:(unit -> unit) ->
 
167
      newline:(unit -> unit) -> spaces:(int -> unit) -> unit[@@ocaml.deprecated
 
168
                                                              "Use Format.set_formatter_out_functions instead."]
 
169
val get_all_formatter_output_functions :
 
170
  unit ->
 
171
    ((string -> int -> int -> unit) * (unit -> unit) * (unit -> unit) *
 
172
      (int -> unit))[@@ocaml.deprecated
 
173
                      "Use Format.get_formatter_out_functions instead."]
 
174
val pp_set_all_formatter_output_functions :
 
175
  formatter ->
 
176
    out:(string -> int -> int -> unit) ->
 
177
      flush:(unit -> unit) ->
 
178
        newline:(unit -> unit) -> spaces:(int -> unit) -> unit[@@ocaml.deprecated
 
179
                                                                "Use Format.pp_set_formatter_out_functions instead."]
 
180
val pp_get_all_formatter_output_functions :
 
181
  formatter ->
 
182
    unit ->
 
183
      ((string -> int -> int -> unit) * (unit -> unit) * (unit -> unit) *
 
184
        (int -> unit))[@@ocaml.deprecated
 
185
                        "Use Format.pp_get_formatter_out_functions instead."]