summaryrefslogtreecommitdiffstats
path: root/perl_checker.src/parser_helper.mli
blob: ad0a5db1155d1d9578d2982e003f7064783012fb (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
val bpos : int * int
val raw_pos2pos : 'a * 'b -> string * 'a * 'b
val get_pos : 'a * ('b * ('c * 'd)) -> string * 'c * 'd
val var_dollar_ : Types.fromparser
val var_STDOUT : Types.fromparser
val is_parenthesized : Types.fromparser -> bool
val un_parenthesize : Types.fromparser -> Types.fromparser
val un_parenthesize_full : Types.fromparser -> Types.fromparser
val not_complex : Types.fromparser -> bool
val not_simple : Types.fromparser -> bool
val string_of_Ident : Types.fromparser -> string
val msg_with_pos : int * int -> string -> string
val die_with_pos : int * int -> string -> 'a
val warn : int * int -> string -> unit
val die_rule : string -> 'a
val debug : 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.priority * Types.fromparser) * ('a * (int * int)) ->
  Types.fromparser
val prio_lo_after :
  Types.priority ->
  (Types.priority * Types.fromparser) * ('a * (int * int)) ->
  Types.fromparser
val prio_lo_concat :
  (Types.priority * Types.fromparser) * ('a * (int * int)) ->
  Types.fromparser
val sp_0 : 'a * (Types.spaces * (int * 'b)) -> unit
val sp_0_or_cr : 'a * (Types.spaces * (int * 'b)) -> unit
val sp_1 : 'a * (Types.spaces * (int * 'b)) -> unit
val sp_n : 'a * (Types.spaces * (int * 'b)) -> unit
val sp_p : 'a * (Types.spaces * (int * 'b)) -> unit
val sp_cr : 'a * (Types.spaces * (int * 'b)) -> unit
val sp_same :
  'a * (Types.spaces * (int * 'b)) ->
  'c * (Types.spaces * (int * 'd)) -> unit
val op : 'a -> 'b -> 'c * 'd -> 'a * ((unit * 'd) * 'b)
val op_p :
  'a ->
  'b ->
  'c * (Types.spaces * (int * 'd)) ->
  'a * ((unit * (Types.spaces * (int * 'd))) * 'b)
val call_op :
  ('a * (('b * (Types.spaces * (int * 'c))) * string)) *
  ('d * (Types.spaces * (int * 'e))) * Types.fromparser list ->
  'a * Types.fromparser
val check_lines_after_BRACKET :
  Types.fromparser list * (Types.spaces * (int * 'a)) -> unit
val check_word_alone : Types.fromparser * 'a -> Types.fromparser
val check_parenthesized_first_argexpr :
  string ->
  ('a * Types.fromparser list) * (Types.spaces * (int * 'b)) -> unit
val check_foreach : string * ('a * (int * int)) -> unit
val check_for : string * ('a * (int * int)) -> unit
val check_package : Types.fromparser list -> unit
val to_Ident :
  (string option * string) * ('a * (int * int)) -> Types.fromparser
val to_String : string * ('a * (int * int)) -> Types.fromparser
val only_one : Types.fromparser list * ('a * (int * int)) -> Types.fromparser
val only_one_in_List :
  ('a * Types.fromparser) * ('b * (int * int)) -> Types.fromparser
val array_ident_to_hash_ident :
  Types.fromparser * ('a * (int * int)) -> Types.fromparser
val from_PATTERN :
  (string * string) * ('a * (int * int)) -> Types.fromparser list
val from_PATTERN_SUBST :
  (string * string * string) * ('a * (int * int)) -> Types.fromparser list
val to_List : Types.fromparser list -> Types.fromparser
val sub_declaration :
  Types.fromparser * string -> Types.fromparser list -> Types.fromparser
val call : Types.fromparser * Types.fromparser list -> Types.fromparser