2 * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
3 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
4 * This file is part of Coccinelle.
6 * Coccinelle is free software: you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation, according to version 2 of the License.
10 * Coccinelle is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
15 * You should have received a copy of the GNU General Public License
16 * along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
18 * The authors reserve the right to distribute this or future versions of
19 * Coccinelle under other licenses.
24 Seq
of element
* sequence
26 | SExists
of Ast_cocci.meta_name
* sequence
29 Atomic
of Ast_cocci.rule_elem
30 | IfThen
of term
* term
* Ast_cocci.end_info
31 | TExists
of Ast_cocci.meta_name
* term
34 Term
of term
* dots_bef_aft
35 | Or
of sequence
* sequence
37 | EExists
of Ast_cocci.meta_name
* element
42 | When
of dots
* sequence
46 | AddingBetweenDots
of term
* int (*index of let var*)
47 | DroppingBetweenDots
of term
* int (*index of let var*)