← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to bundles/stdcompat/stdcompat-current/interfaces/4.01/scanf.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:
bundles/stdcompat/stdcompat-current/interfaces/4.01/scanf.mli
 
1
module Scanning :
 
2
sig
 
3
  type in_channel
 
4
  type scanbuf = in_channel
 
5
  val stdin : in_channel
 
6
  type file_name = string
 
7
  val open_in : file_name -> in_channel
 
8
  val open_in_bin : file_name -> in_channel
 
9
  val close_in : in_channel -> unit
 
10
  val from_file : file_name -> in_channel
 
11
  val from_file_bin : string -> in_channel
 
12
  val from_string : string -> in_channel
 
13
  val from_function : (unit -> char) -> in_channel
 
14
  val from_channel : in_channel -> in_channel
 
15
  val end_of_input : in_channel -> bool
 
16
  val beginning_of_input : in_channel -> bool
 
17
  val name_of_input : in_channel -> string
 
18
  val stdib : in_channel
 
19
end
 
20
type ('a, 'b, 'c, 'd) scanner =
 
21
  ('a, Scanning.in_channel, 'b, 'c, 'a -> 'd, 'd) format6 -> 'c
 
22
exception Scan_failure of string 
 
23
val bscanf : Scanning.in_channel -> ('a, 'b, 'c, 'd) scanner
 
24
val fscanf : in_channel -> ('a, 'b, 'c, 'd) scanner
 
25
val sscanf : string -> ('a, 'b, 'c, 'd) scanner
 
26
val scanf : ('a, 'b, 'c, 'd) scanner
 
27
val kscanf :
 
28
  Scanning.in_channel ->
 
29
    (Scanning.in_channel -> exn -> 'd) -> ('a, 'b, 'c, 'd) scanner
 
30
val bscanf_format :
 
31
  Scanning.in_channel ->
 
32
    ('a, 'b, 'c, 'd, 'e, 'f) format6 ->
 
33
      (('a, 'b, 'c, 'd, 'e, 'f) format6 -> 'g) -> 'g
 
34
val sscanf_format :
 
35
  string ->
 
36
    ('a, 'b, 'c, 'd, 'e, 'f) format6 ->
 
37
      (('a, 'b, 'c, 'd, 'e, 'f) format6 -> 'g) -> 'g
 
38
val format_from_string :
 
39
  string ->
 
40
    ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('a, 'b, 'c, 'd, 'e, 'f) format6
 
41
val unescaped : string -> string