blob: ad5385bd4dc75f3b5254c0aa07731136836383eb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
type lex_buff = {
buff : string;
mutable curr_char : int;
mutable buff_end : int;
in_ch : in_channel;
}
val buff_length : int
val open_file : string -> string -> lex_buff
val close : lex_buff -> unit
val eof : lex_buff -> bool
val curr_char : lex_buff -> char
val refill : lex_buff -> unit
val is_space : char -> bool
val is_space_ret : char -> bool
val skip : (char -> bool) -> lex_buff -> unit
val skip_space : lex_buff -> unit
val skip_blank : lex_buff -> unit
val skip_string : lex_buff -> string -> bool
val match_string : lex_buff -> string -> unit
val aux_buff : bytes
val aux_be : int ref
val aux_pi : int ref
val aux_cc : int ref
val save_lb : lex_buff -> unit
val restore_lb : lex_buff -> unit
val check_string : lex_buff -> string -> bool
val blank_check_string : lex_buff -> string -> bool
val blank_match_string : lex_buff -> string -> unit
val is_digit : char -> bool
val is_start_int : lex_buff -> bool
val input_int : lex_buff -> int
val input_blank_int : lex_buff -> int
val skip_line : lex_buff -> unit
|
