summaryrefslogtreecommitdiffstats
path: root/perl_checker.src/parser_helper.mli
blob: 7d8f7a32099af981402352abed9b35a02fced489 (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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
val bpos : int * int
val raw_pos2pos : 'a * 'b -> string * 'a * 'b
val raw_pos_range :
  'a Types.any_spaces_pos -> 'b Types.any_spaces_pos -> int * int
val pos_range :
  'a Types.any_spaces_pos -> 'b Types.any_spaces_pos -> string * int * int
val get_pos : 'a Types.any_spaces_pos -> string * int * int
val get_pos_start : 'a Types.any_spaces_pos -> int
val get_pos_end : 'a Types.any_spaces_pos -> int
val var_dollar_ : Types.pos -> Types.fromparser
val var_STDOUT : Types.fromparser
val new_any : 'a -> Types.spaces -> int * int -> 'a Types.any_spaces_pos
val new_esp :
  'a ->
  'b Types.any_spaces_pos ->
  'c Types.any_spaces_pos -> 'a Types.any_spaces_pos
val new_pesp :
  Types.priority ->
  'a ->
  'b Types.any_spaces_pos ->
  'c Types.any_spaces_pos -> 'a Types.prio_anyexpr Types.any_spaces_pos
val default_esp : 'a -> 'a Types.any_spaces_pos
val default_pesp :
  Types.priority -> 'a -> 'a Types.prio_anyexpr Types.any_spaces_pos
val split_name_or_fq_name : string -> string option * string
val is_var_dollar_ : Types.fromparser -> bool
val is_var_number_match : Types.fromparser -> bool
val non_scalar_context : Types.context -> bool
val is_scalar_context : Types.context -> bool
val is_not_a_scalar : Types.fromparser -> bool
val is_not_a_scalar_or_array : Types.fromparser -> bool
val is_a_scalar : Types.fromparser -> bool
val is_a_string : Types.fromparser -> bool
val is_parenthesized : Types.fromparser -> bool
val un_parenthesize : Types.fromparser -> Types.fromparser
val un_parenthesize_full : Types.fromparser -> Types.fromparser
val is_always_true : Types.fromparser -> bool
val is_always_false : Types.fromparser -> bool
val not_complex : Types.fromparser -> bool
val not_simple : Types.fromparser -> bool
val string_of_Ident : Types.fromparser -> string
val context2s : Types.context -> string
val variable2s : Types.context * string -> string
val is_same_fromparser : Types.fromparser -> Types.fromparser -> bool
val from_scalar : Types.fromparser Types.any_spaces_pos -> Types.fromparser
val from_array : Types.fromparser Types.any_spaces_pos -> Types.fromparser
val msg_with_rawpos : int * int -> string -> string
val die_with_rawpos : int * int -> string -> 'a
val warn : int * int -> string -> unit
val die_rule : string -> 'a
val warn_rule : string -> unit
val debug : string -> unit
val warn_verb : int -> string -> unit
val warn_too_many_space : int -> unit
val warn_no_space : int -> unit
val warn_cr : int -> unit
val warn_space : int -> unit
val prio_less : Types.priority * Types.priority -> bool
val prio_lo :
  Types.priority ->
  Types.fromparser Types.prio_anyexpr Types.any_spaces_pos ->
  Types.fromparser
val prio_lo_after :
  Types.priority ->
  Types.fromparser Types.prio_anyexpr Types.any_spaces_pos ->
  Types.fromparser
val prio_lo_concat :
  Types.fromparser Types.prio_anyexpr Types.any_spaces_pos ->
  Types.fromparser
val sp_0 : 'a Types.any_spaces_pos -> unit
val sp_0_or_cr : 'a Types.any_spaces_pos -> unit
val sp_1 : 'a Types.any_spaces_pos -> unit
val sp_n : 'a Types.any_spaces_pos -> unit
val sp_p : 'a Types.any_spaces_pos -> unit
val sp_cr : 'a Types.any_spaces_pos -> unit
val sp_same : 'a Types.any_spaces_pos -> 'b Types.any_spaces_pos -> unit
val check_word_alone : Types.fromparser -> Types.fromparser
val check_parenthesized_first_argexpr :
  string ->
  Types.fromparser list Types.prio_anyexpr Types.any_spaces_pos -> unit
val check_parenthesized_first_argexpr_with_Ident :
  Types.fromparser ->
  Types.fromparser list Types.prio_anyexpr Types.any_spaces_pos -> unit
val check_hash_subscript :
  Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> unit
val check_arrow_needed :
  Types.fromparser Types.prio_anyexpr Types.any_spaces_pos ->
  'a Types.any_spaces_pos -> unit
val check_scalar_subscripted : Types.fromparser Types.any_spaces_pos -> unit
val check_negatable_expr :
  Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> unit
val check_ternary_paras :
  Types.fromparser * Types.fromparser * Types.fromparser ->
  Types.fromparser list
val check_unneeded_var_dollar_ :
  Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> unit
val check_unneeded_var_dollar_not :
  Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> unit
val check_unneeded_var_dollar_s :
  Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> unit
val check_MULT_is_x : string Types.any_spaces_pos -> unit
val check_my : string Types.any_spaces_pos -> unit
val check_foreach : string Types.any_spaces_pos -> unit
val check_for : string Types.any_spaces_pos -> unit
val check_for_foreach :
  string Types.any_spaces_pos ->
  Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> unit
val check_block_sub :
  Types.fromparser list Types.any_spaces_pos ->
  'a Types.any_spaces_pos -> unit
val check_block_ref :
  Types.fromparser list Types.any_spaces_pos ->
  'a Types.any_spaces_pos -> unit
val check_my_our_paren : ((bool * 'a) * 'b) Types.any_spaces_pos -> unit
val check_simple_pattern : Types.fromparser list -> unit
val only_one : Types.fromparser list Types.any_spaces_pos -> Types.fromparser
val only_one_array_ref :
  Types.fromparser list Types.any_spaces_pos -> Types.fromparser
val only_one_in_List :
  Types.fromparser Types.prio_anyexpr Types.any_spaces_pos ->
  Types.fromparser
val is_only_one_in_List : Types.fromparser list -> bool
val maybe_to_Raw_string : Types.fromparser -> Types.fromparser
val to_List : Types.fromparser list -> Types.fromparser
val deref_arraylen : Types.fromparser -> Types.fromparser
val deref_raw : Types.context -> Types.fromparser -> Types.fromparser
val to_Ident :
  (string option * string) Types.any_spaces_pos -> Types.fromparser
val to_Raw_string : string Types.any_spaces_pos -> Types.fromparser
val to_Method_call :
  Types.fromparser * Types.fromparser * Types.fromparser list ->
  Types.fromparser
val to_Deref_with :
  Types.context * Types.context * Types.fromparser * Types.fromparser ->
  Types.fromparser
val to_Local :
  Types.fromparser Types.prio_anyexpr Types.any_spaces_pos ->
  Types.fromparser
val sub_declaration :
  Types.fromparser * string -> Types.fromparser list -> Types.fromparser
val anonymous_sub :
  Types.fromparser list Types.any_spaces_pos -> Types.fromparser
val cook_call_op :
  string -> Types.fromparser list -> int * int -> Types.fromparser
val to_Call_op :
  string ->
  Types.fromparser list ->
  'a Types.any_spaces_pos ->
  'b Types.any_spaces_pos -> Types.fromparser Types.any_spaces_pos
val to_Call_op_ :
  Types.priority ->
  string ->
  Types.fromparser list ->
  'a Types.any_spaces_pos ->
  'b Types.any_spaces_pos ->
  Types.fromparser Types.prio_anyexpr Types.any_spaces_pos
val followed_by_comma :
  Types.fromparser list Types.prio_anyexpr Types.any_spaces_pos ->
  bool Types.any_spaces_pos -> Types.fromparser list
val pot_strings : (string, string list) Hashtbl.t
val pot_strings_and_file : (string, string) Hashtbl.t
val po_comments : string list ref
val po_comment : string Types.any_spaces_pos -> unit
val check_format_a_la_printf : string -> int -> unit
val generate_pot : string -> unit
val call_func :
  bool -> Types.fromparser * Types.fromparser list -> Types.fromparser
val call : Types.fromparser * Types.fromparser list -> Types.fromparser
val call_one_scalar_para :
  string Types.any_spaces_pos ->
  Types.fromparser list ->
  'a Types.any_spaces_pos ->
  'b Types.any_spaces_pos ->
  Types.fromparser Types.prio_anyexpr Types.any_spaces_pos
val call_op_if_infix :
  Types.fromparser ->
  Types.fromparser ->
  'a Types.any_spaces_pos ->
  'b Types.any_spaces_pos -> Types.fromparser Types.any_spaces_pos
val call_op_unless_infix :
  Types.fromparser ->
  Types.fromparser ->
  'a Types.any_spaces_pos ->
  'b Types.any_spaces_pos -> Types.fromparser Types.any_spaces_pos
val current_lexbuf : Lexing.lexbuf option ref
val list2tokens : ((int * int) * 'a) list -> Lexing.lexbuf -> 'a
val parse_tokens :
  ((Lexing.lexbuf -> 'a) -> Lexing.lexbuf -> 'b list) ->
  ((int * int) * 'a) list -> Lexing.lexbuf option -> 'b list
val parse_interpolated :
  ((Lexing.lexbuf -> 'a) -> Lexing.lexbuf -> Types.fromparser list) ->
  (string * ((int * int) * 'a) list) list -> (string * Types.fromparser) list
val to_String :
  ((Lexing.lexbuf -> 'a) -> Lexing.lexbuf -> Types.fromparser list) ->
  bool ->
  (string * ((int * int) * 'a) list) list Types.any_spaces_pos ->
  Types.fromparser
val from_PATTERN :
  ((Lexing.lexbuf -> 'a) -> Lexing.lexbuf -> Types.fromparser list) ->
  ((string * ((int * int) * 'a) list) list * string) Types.any_spaces_pos ->
  Types.fromparser list
val from_PATTERN_SUBST :
  ((Lexing.lexbuf -> 'a) -> Lexing.lexbuf -> Types.fromparser list) ->
  ((string * ((int * int) * 'a) list) list *
   (string * ((int * int) * 'a) list) list * string)
  Types.any_spaces_pos -> Types.fromparser list