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 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 219  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 220  * This file is part of Coccinelle.
 221  *
 222  * Coccinelle is free software: you can redistribute it and/or modify
 223  * it under the terms of the GNU General Public License as published by
 224  * the Free Software Foundation, according to version 2 of the License.
 225  *
 226  * Coccinelle is distributed in the hope that it will be useful,
 227  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 228  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 229  * GNU General Public License for more details.
 230  *
 231  * You should have received a copy of the GNU General Public License
 232  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 233  *
 234  * The authors reserve the right to distribute this or future versions of
 235  * Coccinelle under other licenses.
 236  *)
 237
 238
 239 (*
 240  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 241  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 242  * This file is part of Coccinelle.
 243  *
 244  * Coccinelle is free software: you can redistribute it and/or modify
 245  * it under the terms of the GNU General Public License as published by
 246  * the Free Software Foundation, according to version 2 of the License.
 247  *
 248  * Coccinelle is distributed in the hope that it will be useful,
 249  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 250  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 251  * GNU General Public License for more details.
 252  *
 253  * You should have received a copy of the GNU General Public License
 254  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 255  *
 256  * The authors reserve the right to distribute this or future versions of
 257  * Coccinelle under other licenses.
 258  *)
 259
 260
 261 (*
 262  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 263  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 264  * This file is part of Coccinelle.
 265  *
 266  * Coccinelle is free software: you can redistribute it and/or modify
 267  * it under the terms of the GNU General Public License as published by
 268  * the Free Software Foundation, according to version 2 of the License.
 269  *
 270  * Coccinelle is distributed in the hope that it will be useful,
 271  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 272  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 273  * GNU General Public License for more details.
 274  *
 275  * You should have received a copy of the GNU General Public License
 276  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 277  *
 278  * The authors reserve the right to distribute this or future versions of
 279  * Coccinelle under other licenses.
 280  *)
 281
 282
 283 (*
 284  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 285  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 286  * This file is part of Coccinelle.
 287  *
 288  * Coccinelle is free software: you can redistribute it and/or modify
 289  * it under the terms of the GNU General Public License as published by
 290  * the Free Software Foundation, according to version 2 of the License.
 291  *
 292  * Coccinelle is distributed in the hope that it will be useful,
 293  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 294  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 295  * GNU General Public License for more details.
 296  *
 297  * You should have received a copy of the GNU General Public License
 298  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 299  *
 300  * The authors reserve the right to distribute this or future versions of
 301  * Coccinelle under other licenses.
 302  *)
 303
 304
 305 (*
 306  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 307  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 308  * This file is part of Coccinelle.
 309  *
 310  * Coccinelle is free software: you can redistribute it and/or modify
 311  * it under the terms of the GNU General Public License as published by
 312  * the Free Software Foundation, according to version 2 of the License.
 313  *
 314  * Coccinelle is distributed in the hope that it will be useful,
 315  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 316  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 317  * GNU General Public License for more details.
 318  *
 319  * You should have received a copy of the GNU General Public License
 320  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 321  *
 322  * The authors reserve the right to distribute this or future versions of
 323  * Coccinelle under other licenses.
 324  *)
 325
 326
 327 (*
 328  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 329  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 330  * This file is part of Coccinelle.
 331  *
 332  * Coccinelle is free software: you can redistribute it and/or modify
 333  * it under the terms of the GNU General Public License as published by
 334  * the Free Software Foundation, according to version 2 of the License.
 335  *
 336  * Coccinelle is distributed in the hope that it will be useful,
 337  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 338  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 339  * GNU General Public License for more details.
 340  *
 341  * You should have received a copy of the GNU General Public License
 342  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 343  *
 344  * The authors reserve the right to distribute this or future versions of
 345  * Coccinelle under other licenses.
 346  *)
 347
 348
 349 (*
 350  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 351  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 352  * This file is part of Coccinelle.
 353  *
 354  * Coccinelle is free software: you can redistribute it and/or modify
 355  * it under the terms of the GNU General Public License as published by
 356  * the Free Software Foundation, according to version 2 of the License.
 357  *
 358  * Coccinelle is distributed in the hope that it will be useful,
 359  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 360  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 361  * GNU General Public License for more details.
 362  *
 363  * You should have received a copy of the GNU General Public License
 364  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 365  *
 366  * The authors reserve the right to distribute this or future versions of
 367  * Coccinelle under other licenses.
 368  *)
 369
 370
 371 (*
 372  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 373  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 374  * This file is part of Coccinelle.
 375  *
 376  * Coccinelle is free software: you can redistribute it and/or modify
 377  * it under the terms of the GNU General Public License as published by
 378  * the Free Software Foundation, according to version 2 of the License.
 379  *
 380  * Coccinelle is distributed in the hope that it will be useful,
 381  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 382  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 383  * GNU General Public License for more details.
 384  *
 385  * You should have received a copy of the GNU General Public License
 386  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 387  *
 388  * The authors reserve the right to distribute this or future versions of
 389  * Coccinelle under other licenses.
 390  *)
 391
 392
 393 (*
 394  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 395  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 396  * This file is part of Coccinelle.
 397  *
 398  * Coccinelle is free software: you can redistribute it and/or modify
 399  * it under the terms of the GNU General Public License as published by
 400  * the Free Software Foundation, according to version 2 of the License.
 401  *
 402  * Coccinelle is distributed in the hope that it will be useful,
 403  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 404  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 405  * GNU General Public License for more details.
 406  *
 407  * You should have received a copy of the GNU General Public License
 408  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 409  *
 410  * The authors reserve the right to distribute this or future versions of
 411  * Coccinelle under other licenses.
 412  *)
 413
 414
 415 let foo_ctl () = failwith "there is no foo_ctl formula"