← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to bundles/stdcompat/stdcompat-current/stdcompat__format.ml.in

  • 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:
bundles/stdcompat/stdcompat-current/stdcompat__format.ml.in
 
1
include Format
 
2
 
 
3
@BEGIN_BEFORE_4_01_0@
 
4
type formatter_out_functions =
 
5
  {
 
6
  out_string: string -> int -> int -> unit ;
 
7
  out_flush: unit -> unit ;
 
8
  out_newline: unit -> unit ;
 
9
  out_spaces: int -> unit ;
 
10
  out_indent: int -> unit }
 
11
@END_BEFORE_4_01_0@
 
12
 
 
13
 
 
14
@BEGIN_BEFORE_4_06_0@
 
15
type symbolic_output_item =
 
16
  | Output_flush 
 
17
  | Output_newline 
 
18
  | Output_string of string 
 
19
  | Output_spaces of int 
 
20
  | Output_indent of int 
 
21
@END_BEFORE_4_06_0@
 
22
 
 
23
@BEGIN_BEFORE_4_06_0@
 
24
type symbolic_output_buffer
 
25
@END_BEFORE_4_06_0@
 
26
 
 
27
@BEGIN_BEFORE_4_08_0@
 
28
let pp_print_option ?none some formatter value =
 
29
  match value with
 
30
  | None ->
 
31
      begin
 
32
        match none with
 
33
        | None -> ()
 
34
        | Some none -> none formatter ()
 
35
      end
 
36
  | Some value -> some formatter value
 
37
 
 
38
let pp_print_result ~ok ~error formatter value =
 
39
  match value with
 
40
  | Stdcompat__result.Ok v -> ok formatter v
 
41
  | Stdcompat__result.Error e -> error formatter e
 
42
 
 
43
let dprintf _ =
 
44
  failwith "Not implemented."
 
45
 
 
46
let kdprintf _ =
 
47
  failwith "Not implemented."
 
48
 
 
49
let get_formatter_stag_functions _ =
 
50
  failwith "Not implemented."
 
51
 
 
52
let pp_get_formatter_stag_functions _ =
 
53
  failwith "Not implemented."
 
54
 
 
55
let set_formatter_stag_functions _ =
 
56
  failwith "Not implemented."
 
57
 
 
58
let pp_set_formatter_stag_functions _ =
 
59
  failwith "Not implemented."
 
60
 
 
61
let close_stag _ =
 
62
  failwith "Not implemented."
 
63
 
 
64
let pp_close_stag _ =
 
65
  failwith "Not implemented."
 
66
 
 
67
let open_stag _ =
 
68
  failwith "Not implemented."
 
69
 
 
70
let pp_open_stag _ =
 
71
  failwith "Not implemented."
 
72
 
 
73
let get_geometry _ =
 
74
  failwith "Not implemented."
 
75
 
 
76
let pp_get_geometry _ =
 
77
  failwith "Not implemented."
 
78
 
 
79
let set_geometry ~max_indent:_ ~margin:_ =
 
80
  failwith "Not implemented."
 
81
 
 
82
let pp_set_geometry _ ~max_indent:_ ~margin:_ =
 
83
  failwith "Not implemented."
 
84
 
 
85
let safe_set_geometry ~max_indent:_ ~margin:_ =
 
86
  failwith "Not implemented."
 
87
 
 
88
let pp_safe_set_geometry _ ~max_indent:_ ~margin:_ =
 
89
  failwith "Not implemented."
 
90
 
 
91
let check_geometry _ =
 
92
  failwith "Not implemented."
 
93
 
 
94
let pp_safe_set_geometry _ =
 
95
  failwith "Not implemented."
 
96
 
 
97
let pp_print_custom_break _ =
 
98
  failwith "Not implemented."
 
99
 
 
100
@BEGIN_FROM_4_02_0@
 
101
type stag = ..
 
102
@END_FROM_4_02_0@
 
103
@BEGIN_BEFORE_4_02_0@
 
104
type stag
 
105
@END_BEFORE_4_02_0@
 
106
 
 
107
type geometry = {
 
108
  max_indent: int ;
 
109
  margin: int }
 
110
 
 
111
type formatter_stag_functions =
 
112
  {
 
113
  mark_open_stag: stag -> string ;
 
114
  mark_close_stag: stag -> string ;
 
115
  print_open_stag: stag -> unit ;
 
116
  print_close_stag: stag -> unit }
 
117
 
 
118
@END_BEFORE_4_08_0@
 
119
 
 
120
@BEGIN_BEFORE_4_06_0@
 
121
let formatter_of_out_functions _ =
 
122
  failwith "Not implemented."
 
123
 
 
124
let make_symbolic_output_buffer _ =
 
125
  failwith "Not implemented."
 
126
 
 
127
let clear_symbolic_output_buffer _ =
 
128
  failwith "Not implemented."
 
129
 
 
130
let get_symbolic_output_buffer _ =
 
131
  failwith "Not implemented."
 
132
 
 
133
let flush_symbolic_output_buffer _ =
 
134
  failwith "Not implemented."
 
135
 
 
136
let add_symbolic_output_item _ =
 
137
  failwith "Not implemented."
 
138
 
 
139
let formatter_of_symbolic_output_buffer _ =
 
140
  failwith "Not implemented."
 
141
@END_BEFORE_4_06_0@
 
142
 
 
143
@BEGIN_BEFORE_4_03_0@
 
144
let kasprintf _ =
 
145
  failwith "Not implemented."
 
146
@END_BEFORE_4_03_0@
 
147
 
 
148
@BEGIN_BEFORE_4_02_0@
 
149
let pp_print_list ?pp_sep pp_item formatter list =
 
150
  match list with
 
151
  | [] -> ()
 
152
  | hd :: tl ->
 
153
      pp_item formatter hd;
 
154
      match tl with
 
155
      | [] -> ()
 
156
      | _ ->
 
157
          List.iter (fun item ->
 
158
            begin
 
159
              match pp_sep with
 
160
              | None -> ()
 
161
              | Some pp_sep -> pp_sep formatter ()
 
162
            end;
 
163
            pp_item formatter item) tl
 
164
 
 
165
let pp_print_text formatter s =
 
166
  Stdcompat__string.iter (fun c ->
 
167
    match c with
 
168
    | ' ' -> pp_print_space formatter ()
 
169
    | '\n' -> pp_force_newline formatter ()
 
170
    | _ -> pp_print_char formatter c) s
 
171
@END_BEFORE_4_02_0@
 
172
 
 
173
@BEGIN_BEFORE_4_01_0@
 
174
let pp_set_formatter_out_functions _ =
 
175
  failwith "Not implemented."
 
176
 
 
177
let set_formatter_out_functions _ =
 
178
  failwith "Not implemented."
 
179
 
 
180
let pp_get_formatter_out_functions _ =
 
181
  failwith "Not implemented."
 
182
 
 
183
let get_formatter_out_functions _ =
 
184
  failwith "Not implemented."
 
185
 
 
186
let asprintf _ =
 
187
  failwith "Not implemented."
 
188
@END_BEFORE_4_01_0@
 
189
 
 
190
@BEGIN_BEFORE_3_12_0@
 
191
let ikfprintf _ =
 
192
  failwith "Not implemented."
 
193
@END_BEFORE_3_12_0@
 
194
 
 
195
@BEGIN_BEFORE_3_10_0@
 
196
let ifprintf _ =
 
197
  failwith "Not implemented."
 
198
@END_BEFORE_3_10_0@
 
199
 
 
200
@BEGIN_BEFORE_3_08_0@
 
201
let kfprintf _ =
 
202
  failwith "Not implemented."
 
203
 
 
204
let ksprintf _ =
 
205
  failwith "Not implemented."
 
206
@END_BEFORE_3_08_0@