blob: e10e8f501b14b0160e6c08030a402dd5a0061743 (
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
|
exception TooMuchRParen
type raw_pos = int * int
type pos = string * int * int
type spaces =
| Space_0
| Space_1
| Space_n
| Space_cr
| Space_none
type context = I_scalar | I_hash | I_array | I_func | I_raw | I_star
type maybe_context =
| M_none
| M_bool
| M_int | M_float | M_string | M_ref of maybe_context | M_revision | M_sub
| M_scalar
| M_tuple of maybe_context list
| M_list
| M_array
| M_hash
| M_special
| M_unknown
| M_mixed of maybe_context list
type sub_declaration_kind = Real_sub_declaration | Glob_assign
type fromparser =
| Undef
| Ident of string option * string * pos
| Num of string * pos
| Raw_string of string * pos
| String of (string * fromparser) list * pos
| Ref of context * fromparser
| Deref of context * fromparser
| Deref_with of context * context * fromparser * fromparser (* from_context, to_context, ref, para *)
| Diamond of fromparser option
| List of fromparser list
| Block of fromparser list
| Call_op of string * fromparser list * pos
| Call of fromparser * fromparser list
| Method_call of fromparser * fromparser * fromparser list
| Anonymous_sub of string option * fromparser * pos (* prototype, expr, pos *)
| My_our of string * (context * string) list * pos
| Use of fromparser * fromparser list
| Sub_declaration of fromparser * string option * fromparser * sub_declaration_kind (* name, prototype, body, kind *)
| Package of fromparser
| Label of string
| Perl_checker_comment of string * pos
| Too_complex
| Semi_colon
type priority =
| P_tok
| P_tight
| P_mul
| P_add
| P_cmp
| P_eq
| P_expr
| P_bit
| P_tight_and
| P_tight_or
| P_ternary
| P_assign
| P_comma
| P_call_no_paren
| P_and
| P_or
| P_loose
| P_paren_wanted of priority
| P_paren of priority
| P_none
type 'a any_spaces_pos = {
any : 'a ;
spaces : spaces ;
pos : int * int ;
mcontext : maybe_context ;
}
type 'a prio_anyexpr = {
priority : priority ;
expr : 'a
}
type prio_expr_spaces_pos = fromparser prio_anyexpr any_spaces_pos
type prio_lexpr_spaces_pos = fromparser list prio_anyexpr any_spaces_pos
|