Coccinelle release-1.0.0-rc11
[bpt/coccinelle.git] / python / no_pycocci.ml
CommitLineData
f537ebc4 1(*
17ba0788
C
2 * Copyright 2012, INRIA
3 * Julia Lawall, Gilles Muller
4 * Copyright 2010-2011, INRIA, University of Copenhagen
f537ebc4
C
5 * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
6 * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
7 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
8 * This file is part of Coccinelle.
9 *
10 * Coccinelle is free software: you can redistribute it and/or modify
11 * it under the terms of the GNU General Public License as published by
12 * the Free Software Foundation, according to version 2 of the License.
13 *
14 * Coccinelle is distributed in the hope that it will be useful,
15 * but WITHOUT ANY WARRANTY; without even the implied warranty of
16 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 * GNU General Public License for more details.
18 *
19 * You should have received a copy of the GNU General Public License
20 * along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
21 *
22 * The authors reserve the right to distribute this or future versions of
23 * Coccinelle under other licenses.
24 *)
25
26
34e49164
C
27open Ast_c
28open Common
29open Pycocci_aux
30module StringMap = Map.Make (String)
31
32exception Pycocciexception
33
7f004419
C
34let python_support = false
35
34e49164
C
36let check_return_value v = failwith "no python"
37let check_int_return_value v = failwith "no python"
38
39let initialised = ref false
40
41let cocci_file_name = ref ""
42
43(* dealing with python modules loaded *)
44let get_module module_name = failwith "no python"
45
46let is_module_loaded module_name = failwith "no python"
47
48let load_module module_name = failwith "no python"
49(* end python module handling part *)
50
51(* initialisation routines *)
52let pycocci_init () = initialised := true
53
54(*let _ = pycocci_init ()*)
55(* end initialisation routines *)
56
57(* python interaction *)
58let split_fqn fqn = failwith "no python"
59
60let pycocci_get_class_type fqn = failwith "no python"
61
62let pycocci_instantiate_class fqn args = failwith "no python"
63
64(* end python interaction *)
65
66let inc_match = ref false
5427db06 67let exited = ref false
34e49164
C
68
69let include_match v = failwith "no python"
70
5427db06
C
71let sp_exit _ = failwith "no python"
72
34e49164
C
73let build_method (mname, camlfunc, args) pymodule classx classdict =
74 failwith "no python"
75
76let build_class cname parent methods pymodule = failwith "no python"
77
78let has_environment_binding env name = failwith "no python"
79
80let get_cocci_file args = failwith "no python"
81
82let build_classes env = failwith "no python"
83
84let build_variable name value = failwith "no python"
85
174d1640 86let contains_binding e (_,(r,m),_) = failwith "no python"
34e49164
C
87
88let construct_variables mv e = failwith "no python"
89
413ffc02
C
90let construct_script_variables mv = failwith "no python"
91let retrieve_script_variables mv = failwith "no python"
92
34e49164
C
93let set_coccifile cocci_file =
94 cocci_file_name := cocci_file;
95 ()
96
97
ae4735db 98let pyrun_simplestring s =
34e49164 99 failwith "no python"
ae4735db
C
100
101let py_isinitialized () =
34e49164 102 failwith "no python"
ae4735db 103
34e49164
C
104let py_finalize () =
105 failwith "no python"