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
|
(*
* This file is part of Coccinelle, licensed under the terms of the GPL v2.
* See copyright.txt in the Coccinelle source code for more information.
* The Coccinelle source code can be obtained at http://coccinelle.lip6.fr
*)
(* types that clutter the .mly file *)
(* for iso metavariables, true if they can only match nonmodified, unitary
metavariables *)
type fresh = bool
type incl_iso =
Include of string | Iso of (string,string) Common.either
| Virt of string list (* virtual rules *)
type clt =
line_type * int * int * int * int * int (* starting spaces *) *
(Ast_cocci.added_string * Ast0_cocci.position_info) list (*code before*) *
(Ast_cocci.added_string * Ast0_cocci.position_info) list (*code after *) *
Ast0_cocci.anything list (* position variable, minus only *) *
string (* whitespace before *)
(* ---------------------------------------------------------------------- *)
and line_type =
MINUS | OPTMINUS
| PLUS | PLUSPLUS
| CONTEXT | OPT
val in_rule_name : bool ref (* true if parsing the rule name *)
val in_meta : bool ref (* true if parsing the metavariable decls *)
val in_iso : bool ref (* true if parsing the isomorphisms *)
val in_generating : bool ref(* true if generating a rule *)
val ignore_patch_or_match : bool ref (* skip rules not satisfying virt *)
val in_prolog : bool ref (* true if parsing the beginning of an SP *)
val saw_struct : bool ref (* true if saw struct/union *)
val inheritable_positions : string list ref
val call_in_meta : (unit -> 'a) -> 'a
val all_metadecls : (string, Ast_cocci.metavar list ref) Hashtbl.t
val clear_meta: (unit -> unit) ref
type meta_type = Ast_cocci.meta_name -> Ast0_cocci.pure -> unit
type cstr_meta_type =
Ast_cocci.meta_name -> Ast0_cocci.constraints -> Ast0_cocci.pure -> unit
type list_meta_type =
Ast_cocci.meta_name -> Ast_cocci.list_len -> Ast0_cocci.constraints ->
Ast0_cocci.pure -> unit
type exp_meta_type =
Ast0_cocci.typeC list option -> Ast_cocci.meta_name ->
Ast0_cocci.constraints -> Ast0_cocci.pure -> unit
type exp_bitfield_meta_type =
Ast0_cocci.typeC list option -> Ast_cocci.meta_name ->
Ast0_cocci.constraints -> Ast0_cocci.pure ->
Ast_cocci.list_len option -> unit
val add_meta_meta: cstr_meta_type ref
val add_id_meta: cstr_meta_type ref
val add_virt_id_meta_found: (string -> string -> unit) ref
val add_virt_id_meta_not_found: meta_type ref
val add_fresh_id_meta: (Ast_cocci.meta_name -> Ast_cocci.seed -> unit) ref
val add_type_meta: cstr_meta_type ref
val add_init_meta: cstr_meta_type ref
val add_initlist_meta: list_meta_type ref
val add_param_meta: cstr_meta_type ref
val add_paramlist_meta: list_meta_type ref
val add_const_meta: exp_meta_type ref
val add_err_meta:
(Ast_cocci.meta_name -> Ast0_cocci.constraints -> Ast0_cocci.pure ->
unit) ref
val add_exp_meta: exp_bitfield_meta_type ref
val add_idexp_meta: exp_meta_type ref
val add_local_idexp_meta: exp_meta_type ref
val add_global_idexp_meta: exp_meta_type ref
val add_explist_meta: list_meta_type ref
val add_decl_meta: cstr_meta_type ref
val add_field_meta: cstr_meta_type ref
val add_symbol_meta: (string -> unit) ref
val add_field_list_meta: list_meta_type ref
val add_stm_meta: cstr_meta_type ref
val add_stmlist_meta: list_meta_type ref
val add_dparamlist_meta: list_meta_type ref
val add_func_meta: cstr_meta_type ref
val add_local_func_meta: cstr_meta_type ref
val add_declarer_meta: cstr_meta_type ref
val add_iterator_meta: cstr_meta_type ref
val add_pos_meta:
(Ast_cocci.meta_name -> Ast0_cocci.constraints -> Ast_cocci.meta_collect ->
unit) ref
val add_com_meta:
(Ast_cocci.meta_name -> Ast0_cocci.constraints -> unit) ref
val add_fmt_meta: (Ast_cocci.meta_name -> Ast0_cocci.constraints -> unit) ref
val add_fmtlist_meta:
(Ast_cocci.meta_name -> Ast0_cocci.constraints -> Ast_cocci.list_len ->
unit) ref
val add_assignOp_meta:
(Ast_cocci.meta_name ->
Ast0_cocci.constraints -> Ast0_cocci.pure -> unit) ref
val add_binaryOp_meta:
(Ast_cocci.meta_name ->
Ast0_cocci.constraints -> Ast0_cocci.pure -> unit) ref
val add_type_name: (string -> unit) ref
val add_attribute: (string -> unit) ref
val add_declarer_name: (string -> unit) ref
val add_iterator_name: (string -> unit) ref
val init_rule: (unit -> unit) ref
val install_bindings: (string -> unit) ref
(* ---------------------------------------------------------------------- *)
(* String format things *)
val format_metavariables :
(string * (Ast_cocci.meta_name * Ast0_cocci.constraints)) list ref
val format_list_metavariables :
(string * (Ast_cocci.meta_name * Ast_cocci.list_len *
Ast0_cocci.constraints)) list ref
type cs = POS | COM | OTHR
val constraint_scripts:
(cs * Ast_cocci.meta_name * Ast_cocci.script_constraint) list ref
(** The list of all constraint scripts. *)
val non_local_script_constraints:
((string (* rule name *) * Ast_cocci.meta_name),
(Ast_cocci.meta_name * Ast_cocci.script_constraint) list ref) Hashtbl.t
|
