test.ml

   1 (*
   2  * Copyright 2010, INRIA, University of Copenhagen
   3  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
   4  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
   5  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
   6  * This file is part of Coccinelle.
   7  *
   8  * Coccinelle is free software: you can redistribute it and/or modify
   9  * it under the terms of the GNU General Public License as published by
  10  * the Free Software Foundation, according to version 2 of the License.
  11  *
  12  * Coccinelle is distributed in the hope that it will be useful,
  13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15  * GNU General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU General Public License
  18  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
  19  *
  20  * The authors reserve the right to distribute this or future versions of
  21  * Coccinelle under other licenses.
  22  *)
  23
  24
  25 (*
  26  * Copyright 2010, INRIA, University of Copenhagen
  27  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
  28  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
  29  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
  30  * This file is part of Coccinelle.
  31  *
  32  * Coccinelle is free software: you can redistribute it and/or modify
  33  * it under the terms of the GNU General Public License as published by
  34  * the Free Software Foundation, according to version 2 of the License.
  35  *
  36  * Coccinelle is distributed in the hope that it will be useful,
  37  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  38  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  39  * GNU General Public License for more details.
  40  *
  41  * You should have received a copy of the GNU General Public License
  42  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
  43  *
  44  * The authors reserve the right to distribute this or future versions of
  45  * Coccinelle under other licenses.
  46  *)
  47
  48
  49 (*
  50  * Copyright 2010, INRIA, University of Copenhagen
  51  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
  52  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
  53  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
  54  * This file is part of Coccinelle.
  55  *
  56  * Coccinelle is free software: you can redistribute it and/or modify
  57  * it under the terms of the GNU General Public License as published by
  58  * the Free Software Foundation, according to version 2 of the License.
  59  *
  60  * Coccinelle is distributed in the hope that it will be useful,
  61  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  62  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  63  * GNU General Public License for more details.
  64  *
  65  * You should have received a copy of the GNU General Public License
  66  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
  67  *
  68  * The authors reserve the right to distribute this or future versions of
  69  * Coccinelle under other licenses.
  70  *)
  71
  72
  73 (*
  74  * Copyright 2010, INRIA, University of Copenhagen
  75  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
  76  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
  77  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
  78  * This file is part of Coccinelle.
  79  *
  80  * Coccinelle is free software: you can redistribute it and/or modify
  81  * it under the terms of the GNU General Public License as published by
  82  * the Free Software Foundation, according to version 2 of the License.
  83  *
  84  * Coccinelle is distributed in the hope that it will be useful,
  85  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  86  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  87  * GNU General Public License for more details.
  88  *
  89  * You should have received a copy of the GNU General Public License
  90  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
  91  *
  92  * The authors reserve the right to distribute this or future versions of
  93  * Coccinelle under other licenses.
  94  *)
  95
  96
  97 (*
  98  * Copyright 2010, INRIA, University of Copenhagen
  99  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 100  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 101  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 102  * This file is part of Coccinelle.
 103  *
 104  * Coccinelle is free software: you can redistribute it and/or modify
 105  * it under the terms of the GNU General Public License as published by
 106  * the Free Software Foundation, according to version 2 of the License.
 107  *
 108  * Coccinelle is distributed in the hope that it will be useful,
 109  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 110  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 111  * GNU General Public License for more details.
 112  *
 113  * You should have received a copy of the GNU General Public License
 114  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 115  *
 116  * The authors reserve the right to distribute this or future versions of
 117  * Coccinelle under other licenses.
 118  *)
 119
 120
 121 (*
 122  * Copyright 2010, INRIA, University of Copenhagen
 123  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 124  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 125  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 126  * This file is part of Coccinelle.
 127  *
 128  * Coccinelle is free software: you can redistribute it and/or modify
 129  * it under the terms of the GNU General Public License as published by
 130  * the Free Software Foundation, according to version 2 of the License.
 131  *
 132  * Coccinelle is distributed in the hope that it will be useful,
 133  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 134  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 135  * GNU General Public License for more details.
 136  *
 137  * You should have received a copy of the GNU General Public License
 138  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 139  *
 140  * The authors reserve the right to distribute this or future versions of
 141  * Coccinelle under other licenses.
 142  *)
 143
 144
 145 (*
 146  * Copyright 2010, INRIA, University of Copenhagen
 147  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 148  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 149  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 150  * This file is part of Coccinelle.
 151  *
 152  * Coccinelle is free software: you can redistribute it and/or modify
 153  * it under the terms of the GNU General Public License as published by
 154  * the Free Software Foundation, according to version 2 of the License.
 155  *
 156  * Coccinelle is distributed in the hope that it will be useful,
 157  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 158  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 159  * GNU General Public License for more details.
 160  *
 161  * You should have received a copy of the GNU General Public License
 162  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 163  *
 164  * The authors reserve the right to distribute this or future versions of
 165  * Coccinelle under other licenses.
 166  *)
 167
 168
 169 (*
 170  * Copyright 2010, INRIA, University of Copenhagen
 171  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 172  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 173  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 174  * This file is part of Coccinelle.
 175  *
 176  * Coccinelle is free software: you can redistribute it and/or modify
 177  * it under the terms of the GNU General Public License as published by
 178  * the Free Software Foundation, according to version 2 of the License.
 179  *
 180  * Coccinelle is distributed in the hope that it will be useful,
 181  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 182  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 183  * GNU General Public License for more details.
 184  *
 185  * You should have received a copy of the GNU General Public License
 186  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 187  *
 188  * The authors reserve the right to distribute this or future versions of
 189  * Coccinelle under other licenses.
 190  *)
 191
 192
 193 (*
 194  * Copyright 2010, INRIA, University of Copenhagen
 195  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 196  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 197  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 198  * This file is part of Coccinelle.
 199  *
 200  * Coccinelle is free software: you can redistribute it and/or modify
 201  * it under the terms of the GNU General Public License as published by
 202  * the Free Software Foundation, according to version 2 of the License.
 203  *
 204  * Coccinelle is distributed in the hope that it will be useful,
 205  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 206  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 207  * GNU General Public License for more details.
 208  *
 209  * You should have received a copy of the GNU General Public License
 210  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 211  *
 212  * The authors reserve the right to distribute this or future versions of
 213  * Coccinelle under other licenses.
 214  *)
 215
 216
 217 (*
 218  * Copyright 2010, INRIA, University of Copenhagen
 219  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 220  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 221  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 222  * This file is part of Coccinelle.
 223  *
 224  * Coccinelle is free software: you can redistribute it and/or modify
 225  * it under the terms of the GNU General Public License as published by
 226  * the Free Software Foundation, according to version 2 of the License.
 227  *
 228  * Coccinelle is distributed in the hope that it will be useful,
 229  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 230  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 231  * GNU General Public License for more details.
 232  *
 233  * You should have received a copy of the GNU General Public License
 234  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 235  *
 236  * The authors reserve the right to distribute this or future versions of
 237  * Coccinelle under other licenses.
 238  *)
 239
 240
 241 (*
 242  * Copyright 2010, INRIA, University of Copenhagen
 243  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 244  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 245  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 246  * This file is part of Coccinelle.
 247  *
 248  * Coccinelle is free software: you can redistribute it and/or modify
 249  * it under the terms of the GNU General Public License as published by
 250  * the Free Software Foundation, according to version 2 of the License.
 251  *
 252  * Coccinelle is distributed in the hope that it will be useful,
 253  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 254  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 255  * GNU General Public License for more details.
 256  *
 257  * You should have received a copy of the GNU General Public License
 258  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 259  *
 260  * The authors reserve the right to distribute this or future versions of
 261  * Coccinelle under other licenses.
 262  *)
 263
 264
 265 (*
 266  * Copyright 2010, INRIA, University of Copenhagen
 267  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 268  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 269  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 270  * This file is part of Coccinelle.
 271  *
 272  * Coccinelle is free software: you can redistribute it and/or modify
 273  * it under the terms of the GNU General Public License as published by
 274  * the Free Software Foundation, according to version 2 of the License.
 275  *
 276  * Coccinelle is distributed in the hope that it will be useful,
 277  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 278  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 279  * GNU General Public License for more details.
 280  *
 281  * You should have received a copy of the GNU General Public License
 282  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 283  *
 284  * The authors reserve the right to distribute this or future versions of
 285  * Coccinelle under other licenses.
 286  *)
 287
 288
 289 (*
 290  * Copyright 2010, INRIA, University of Copenhagen
 291  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 292  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 293  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 294  * This file is part of Coccinelle.
 295  *
 296  * Coccinelle is free software: you can redistribute it and/or modify
 297  * it under the terms of the GNU General Public License as published by
 298  * the Free Software Foundation, according to version 2 of the License.
 299  *
 300  * Coccinelle is distributed in the hope that it will be useful,
 301  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 302  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 303  * GNU General Public License for more details.
 304  *
 305  * You should have received a copy of the GNU General Public License
 306  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 307  *
 308  * The authors reserve the right to distribute this or future versions of
 309  * Coccinelle under other licenses.
 310  *)
 311
 312
 313 (*
 314  * Copyright 2010, INRIA, University of Copenhagen
 315  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 316  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 317  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 318  * This file is part of Coccinelle.
 319  *
 320  * Coccinelle is free software: you can redistribute it and/or modify
 321  * it under the terms of the GNU General Public License as published by
 322  * the Free Software Foundation, according to version 2 of the License.
 323  *
 324  * Coccinelle is distributed in the hope that it will be useful,
 325  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 326  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 327  * GNU General Public License for more details.
 328  *
 329  * You should have received a copy of the GNU General Public License
 330  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 331  *
 332  * The authors reserve the right to distribute this or future versions of
 333  * Coccinelle under other licenses.
 334  *)
 335
 336
 337 (*
 338  * Copyright 2010, INRIA, University of Copenhagen
 339  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 340  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 341  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 342  * This file is part of Coccinelle.
 343  *
 344  * Coccinelle is free software: you can redistribute it and/or modify
 345  * it under the terms of the GNU General Public License as published by
 346  * the Free Software Foundation, according to version 2 of the License.
 347  *
 348  * Coccinelle is distributed in the hope that it will be useful,
 349  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 350  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 351  * GNU General Public License for more details.
 352  *
 353  * You should have received a copy of the GNU General Public License
 354  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 355  *
 356  * The authors reserve the right to distribute this or future versions of
 357  * Coccinelle under other licenses.
 358  *)
 359
 360
 361 (*
 362  * Copyright 2010, INRIA, University of Copenhagen
 363  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 364  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 365  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 366  * This file is part of Coccinelle.
 367  *
 368  * Coccinelle is free software: you can redistribute it and/or modify
 369  * it under the terms of the GNU General Public License as published by
 370  * the Free Software Foundation, according to version 2 of the License.
 371  *
 372  * Coccinelle is distributed in the hope that it will be useful,
 373  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 374  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 375  * GNU General Public License for more details.
 376  *
 377  * You should have received a copy of the GNU General Public License
 378  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 379  *
 380  * The authors reserve the right to distribute this or future versions of
 381  * Coccinelle under other licenses.
 382  *)
 383
 384
 385 (*
 386  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 387  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 388  * This file is part of Coccinelle.
 389  *
 390  * Coccinelle is free software: you can redistribute it and/or modify
 391  * it under the terms of the GNU General Public License as published by
 392  * the Free Software Foundation, according to version 2 of the License.
 393  *
 394  * Coccinelle is distributed in the hope that it will be useful,
 395  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 396  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 397  * GNU General Public License for more details.
 398  *
 399  * You should have received a copy of the GNU General Public License
 400  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 401  *
 402  * The authors reserve the right to distribute this or future versions of
 403  * Coccinelle under other licenses.
 404  *)
 405
 406
 407 (*
 408  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 409  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 410  * This file is part of Coccinelle.
 411  *
 412  * Coccinelle is free software: you can redistribute it and/or modify
 413  * it under the terms of the GNU General Public License as published by
 414  * the Free Software Foundation, according to version 2 of the License.
 415  *
 416  * Coccinelle is distributed in the hope that it will be useful,
 417  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 418  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 419  * GNU General Public License for more details.
 420  *
 421  * You should have received a copy of the GNU General Public License
 422  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 423  *
 424  * The authors reserve the right to distribute this or future versions of
 425  * Coccinelle under other licenses.
 426  *)
 427
 428
 429 (*
 430  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 431  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 432  * This file is part of Coccinelle.
 433  *
 434  * Coccinelle is free software: you can redistribute it and/or modify
 435  * it under the terms of the GNU General Public License as published by
 436  * the Free Software Foundation, according to version 2 of the License.
 437  *
 438  * Coccinelle is distributed in the hope that it will be useful,
 439  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 440  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 441  * GNU General Public License for more details.
 442  *
 443  * You should have received a copy of the GNU General Public License
 444  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 445  *
 446  * The authors reserve the right to distribute this or future versions of
 447  * Coccinelle under other licenses.
 448  *)
 449
 450
 451 (*
 452  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 453  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 454  * This file is part of Coccinelle.
 455  *
 456  * Coccinelle is free software: you can redistribute it and/or modify
 457  * it under the terms of the GNU General Public License as published by
 458  * the Free Software Foundation, according to version 2 of the License.
 459  *
 460  * Coccinelle is distributed in the hope that it will be useful,
 461  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 462  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 463  * GNU General Public License for more details.
 464  *
 465  * You should have received a copy of the GNU General Public License
 466  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 467  *
 468  * The authors reserve the right to distribute this or future versions of
 469  * Coccinelle under other licenses.
 470  *)
 471
 472
 473 (*
 474  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 475  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 476  * This file is part of Coccinelle.
 477  *
 478  * Coccinelle is free software: you can redistribute it and/or modify
 479  * it under the terms of the GNU General Public License as published by
 480  * the Free Software Foundation, according to version 2 of the License.
 481  *
 482  * Coccinelle is distributed in the hope that it will be useful,
 483  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 484  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 485  * GNU General Public License for more details.
 486  *
 487  * You should have received a copy of the GNU General Public License
 488  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 489  *
 490  * The authors reserve the right to distribute this or future versions of
 491  * Coccinelle under other licenses.
 492  *)
 493
 494
 495 (*
 496  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 497  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 498  * This file is part of Coccinelle.
 499  *
 500  * Coccinelle is free software: you can redistribute it and/or modify
 501  * it under the terms of the GNU General Public License as published by
 502  * the Free Software Foundation, according to version 2 of the License.
 503  *
 504  * Coccinelle is distributed in the hope that it will be useful,
 505  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 506  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 507  * GNU General Public License for more details.
 508  *
 509  * You should have received a copy of the GNU General Public License
 510  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 511  *
 512  * The authors reserve the right to distribute this or future versions of
 513  * Coccinelle under other licenses.
 514  *)
 515
 516
 517 (*
 518  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 519  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 520  * This file is part of Coccinelle.
 521  *
 522  * Coccinelle is free software: you can redistribute it and/or modify
 523  * it under the terms of the GNU General Public License as published by
 524  * the Free Software Foundation, according to version 2 of the License.
 525  *
 526  * Coccinelle is distributed in the hope that it will be useful,
 527  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 528  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 529  * GNU General Public License for more details.
 530  *
 531  * You should have received a copy of the GNU General Public License
 532  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 533  *
 534  * The authors reserve the right to distribute this or future versions of
 535  * Coccinelle under other licenses.
 536  *)
 537
 538
 539 (*
 540  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 541  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 542  * This file is part of Coccinelle.
 543  *
 544  * Coccinelle is free software: you can redistribute it and/or modify
 545  * it under the terms of the GNU General Public License as published by
 546  * the Free Software Foundation, according to version 2 of the License.
 547  *
 548  * Coccinelle is distributed in the hope that it will be useful,
 549  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 550  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 551  * GNU General Public License for more details.
 552  *
 553  * You should have received a copy of the GNU General Public License
 554  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 555  *
 556  * The authors reserve the right to distribute this or future versions of
 557  * Coccinelle under other licenses.
 558  *)
 559
 560
 561 (*
 562  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 563  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 564  * This file is part of Coccinelle.
 565  *
 566  * Coccinelle is free software: you can redistribute it and/or modify
 567  * it under the terms of the GNU General Public License as published by
 568  * the Free Software Foundation, according to version 2 of the License.
 569  *
 570  * Coccinelle is distributed in the hope that it will be useful,
 571  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 572  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 573  * GNU General Public License for more details.
 574  *
 575  * You should have received a copy of the GNU General Public License
 576  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 577  *
 578  * The authors reserve the right to distribute this or future versions of
 579  * Coccinelle under other licenses.
 580  *)
 581
 582
 583 let foo_ctl () = failwith "there is no foo_ctl formula"