~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to bundles/stdcompat/stdcompat-current/interfaces/3.10/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
val open_box : int -> unit
 
2
val close_box : unit -> unit
 
3
val print_string : string -> unit
 
4
val print_as : int -> string -> unit
 
5
val print_int : int -> unit
 
6
val print_float : float -> unit
 
7
val print_char : char -> unit
 
8
val print_bool : bool -> unit
 
9
val print_space : unit -> unit
 
10
val print_cut : unit -> unit
 
11
val print_break : int -> int -> unit
 
12
val print_flush : unit -> unit
 
13
val print_newline : unit -> unit
 
14
val force_newline : unit -> unit
 
15
val print_if_newline : unit -> unit
 
16
val set_margin : int -> unit
 
17
val get_margin : unit -> int
 
18
val set_max_indent : int -> unit
 
19
val get_max_indent : unit -> int
 
20
val set_max_boxes : int -> unit
 
21
val get_max_boxes : unit -> int
 
22
val over_max_boxes : unit -> bool
 
23
val open_hbox : unit -> unit
 
24
val open_vbox : int -> unit
 
25
val open_hvbox : int -> unit
 
26
val open_hovbox : int -> unit
 
27
val open_tbox : unit -> unit
 
28
val close_tbox : unit -> unit
 
29
val print_tbreak : int -> int -> unit
 
30
val set_tab : unit -> unit
 
31
val print_tab : unit -> unit
 
32
val set_ellipsis_text : string -> unit
 
33
val get_ellipsis_text : unit -> string
 
34
type tag = string
 
35
val open_tag : tag -> unit
 
36
val close_tag : unit -> unit
 
37
val set_tags : bool -> unit
 
38
val set_print_tags : bool -> unit
 
39
val set_mark_tags : bool -> unit
 
40
val get_print_tags : unit -> bool
 
41
val get_mark_tags : unit -> bool
 
42
val set_formatter_out_channel : out_channel -> unit
 
43
val set_formatter_output_functions :
 
44
  (string -> int -> int -> unit) -> (unit -> unit) -> unit
 
45
val get_formatter_output_functions :
 
46
  unit -> ((string -> int -> int -> unit) * (unit -> unit))
 
47
type formatter_tag_functions =
 
48
  {
 
49
  mark_open_tag: tag -> string ;
 
50
  mark_close_tag: tag -> string ;
 
51
  print_open_tag: tag -> unit ;
 
52
  print_close_tag: tag -> unit }
 
53
val set_formatter_tag_functions : formatter_tag_functions -> unit
 
54
val get_formatter_tag_functions : unit -> formatter_tag_functions
 
55
val set_all_formatter_output_functions :
 
56
  out:(string -> int -> int -> unit) ->
 
57
    flush:(unit -> unit) ->
 
58
      newline:(unit -> unit) -> spaces:(int -> unit) -> unit
 
59
val get_all_formatter_output_functions :
 
60
  unit ->
 
61
    ((string -> int -> int -> unit) * (unit -> unit) * (unit -> unit) *
 
62
      (int -> unit))
 
63
type formatter
 
64
val formatter_of_out_channel : out_channel -> formatter
 
65
val std_formatter : formatter
 
66
val err_formatter : formatter
 
67
val formatter_of_buffer : Buffer.t -> formatter
 
68
val stdbuf : Buffer.t
 
69
val str_formatter : formatter
 
70
val flush_str_formatter : unit -> string
 
71
val make_formatter :
 
72
  (string -> int -> int -> unit) -> (unit -> unit) -> formatter
 
73
val pp_open_hbox : formatter -> unit -> unit
 
74
val pp_open_vbox : formatter -> int -> unit
 
75
val pp_open_hvbox : formatter -> int -> unit
 
76
val pp_open_hovbox : formatter -> int -> unit
 
77
val pp_open_box : formatter -> int -> unit
 
78
val pp_close_box : formatter -> unit -> unit
 
79
val pp_open_tag : formatter -> string -> unit
 
80
val pp_close_tag : formatter -> unit -> unit
 
81
val pp_print_string : formatter -> string -> unit
 
82
val pp_print_as : formatter -> int -> string -> unit
 
83
val pp_print_int : formatter -> int -> unit
 
84
val pp_print_float : formatter -> float -> unit
 
85
val pp_print_char : formatter -> char -> unit
 
86
val pp_print_bool : formatter -> bool -> unit
 
87
val pp_print_break : formatter -> int -> int -> unit
 
88
val pp_print_cut : formatter -> unit -> unit
 
89
val pp_print_space : formatter -> unit -> unit
 
90
val pp_force_newline : formatter -> unit -> unit
 
91
val pp_print_flush : formatter -> unit -> unit
 
92
val pp_print_newline : formatter -> unit -> unit
 
93
val pp_print_if_newline : formatter -> unit -> unit
 
94
val pp_open_tbox : formatter -> unit -> unit
 
95
val pp_close_tbox : formatter -> unit -> unit
 
96
val pp_print_tbreak : formatter -> int -> int -> unit
 
97
val pp_set_tab : formatter -> unit -> unit
 
98
val pp_print_tab : formatter -> unit -> unit
 
99
val pp_set_tags : formatter -> bool -> unit
 
100
val pp_set_print_tags : formatter -> bool -> unit
 
101
val pp_set_mark_tags : formatter -> bool -> unit
 
102
val pp_get_print_tags : formatter -> unit -> bool
 
103
val pp_get_mark_tags : formatter -> unit -> bool
 
104
val pp_set_margin : formatter -> int -> unit
 
105
val pp_get_margin : formatter -> unit -> int
 
106
val pp_set_max_indent : formatter -> int -> unit
 
107
val pp_get_max_indent : formatter -> unit -> int
 
108
val pp_set_max_boxes : formatter -> int -> unit
 
109
val pp_get_max_boxes : formatter -> unit -> int
 
110
val pp_over_max_boxes : formatter -> unit -> bool
 
111
val pp_set_ellipsis_text : formatter -> string -> unit
 
112
val pp_get_ellipsis_text : formatter -> unit -> string
 
113
val pp_set_formatter_out_channel : formatter -> out_channel -> unit
 
114
val pp_set_formatter_output_functions :
 
115
  formatter -> (string -> int -> int -> unit) -> (unit -> unit) -> unit
 
116
val pp_get_formatter_output_functions :
 
117
  formatter -> unit -> ((string -> int -> int -> unit) * (unit -> unit))
 
118
val pp_set_all_formatter_output_functions :
 
119
  formatter ->
 
120
    out:(string -> int -> int -> unit) ->
 
121
      flush:(unit -> unit) ->
 
122
        newline:(unit -> unit) -> spaces:(int -> unit) -> unit
 
123
val pp_get_all_formatter_output_functions :
 
124
  formatter ->
 
125
    unit ->
 
126
      ((string -> int -> int -> unit) * (unit -> unit) * (unit -> unit) *
 
127
        (int -> unit))
 
128
val pp_set_formatter_tag_functions :
 
129
  formatter -> formatter_tag_functions -> unit
 
130
val pp_get_formatter_tag_functions :
 
131
  formatter -> unit -> formatter_tag_functions
 
132
val fprintf : formatter -> ('a, formatter, unit) format -> 'a
 
133
val printf : ('a, formatter, unit) format -> 'a
 
134
val eprintf : ('a, formatter, unit) format -> 'a
 
135
val sprintf : ('a, unit, string) format -> 'a
 
136
val bprintf : Buffer.t -> ('a, formatter, unit) format -> 'a
 
137
val kfprintf :
 
138
  (formatter -> 'a) -> formatter -> ('b, formatter, unit, 'a) format4 -> 'b
 
139
val ifprintf : formatter -> ('a, formatter, unit) format -> 'a
 
140
val ksprintf : (string -> 'a) -> ('b, unit, string, 'a) format4 -> 'b
 
141
val kprintf : (string -> 'a) -> ('b, unit, string, 'a) format4 -> 'b