Release coccinelle-0.2.4
[bpt/coccinelle.git] / python / no_pycocci.ml
CommitLineData
9bc82bae
C
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
c491d8ee
C
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
34e49164
C
49open Ast_c
50open Common
51open Pycocci_aux
52module StringMap = Map.Make (String)
53
54exception Pycocciexception
55
7f004419
C
56let python_support = false
57
34e49164
C
58let check_return_value v = failwith "no python"
59let check_int_return_value v = failwith "no python"
60
61let initialised = ref false
62
63let cocci_file_name = ref ""
64
65(* dealing with python modules loaded *)
66let get_module module_name = failwith "no python"
67
68let is_module_loaded module_name = failwith "no python"
69
70let load_module module_name = failwith "no python"
71(* end python module handling part *)
72
73(* initialisation routines *)
74let pycocci_init () = initialised := true
75
76(*let _ = pycocci_init ()*)
77(* end initialisation routines *)
78
79(* python interaction *)
80let split_fqn fqn = failwith "no python"
81
82let pycocci_get_class_type fqn = failwith "no python"
83
84let pycocci_instantiate_class fqn args = failwith "no python"
85
86(* end python interaction *)
87
88let inc_match = ref false
89
90let include_match v = failwith "no python"
91
92let build_method (mname, camlfunc, args) pymodule classx classdict =
93 failwith "no python"
94
95let build_class cname parent methods pymodule = failwith "no python"
96
97let has_environment_binding env name = failwith "no python"
98
99let get_cocci_file args = failwith "no python"
100
101let build_classes env = failwith "no python"
102
103let build_variable name value = failwith "no python"
104
174d1640 105let contains_binding e (_,(r,m),_) = failwith "no python"
34e49164
C
106
107let construct_variables mv e = failwith "no python"
108
413ffc02
C
109let construct_script_variables mv = failwith "no python"
110let retrieve_script_variables mv = failwith "no python"
111
34e49164
C
112let set_coccifile cocci_file =
113 cocci_file_name := cocci_file;
114 ()
115
116
ae4735db 117let pyrun_simplestring s =
34e49164 118 failwith "no python"
ae4735db
C
119
120let py_isinitialized () =
34e49164 121 failwith "no python"
ae4735db 122
34e49164
C
123let py_finalize () =
124 failwith "no python"