Commit | Line | Data |
---|---|---|
34e49164 C |
1 | open Ast_c |
2 | open Common | |
3 | open Pycocci_aux | |
4 | module StringMap = Map.Make (String) | |
5 | ||
6 | exception Pycocciexception | |
7 | ||
7f004419 C |
8 | let python_support = false |
9 | ||
34e49164 C |
10 | let check_return_value v = failwith "no python" |
11 | let check_int_return_value v = failwith "no python" | |
12 | ||
13 | let initialised = ref false | |
14 | ||
15 | let cocci_file_name = ref "" | |
16 | ||
17 | (* dealing with python modules loaded *) | |
18 | let get_module module_name = failwith "no python" | |
19 | ||
20 | let is_module_loaded module_name = failwith "no python" | |
21 | ||
22 | let load_module module_name = failwith "no python" | |
23 | (* end python module handling part *) | |
24 | ||
25 | (* initialisation routines *) | |
26 | let pycocci_init () = initialised := true | |
27 | ||
28 | (*let _ = pycocci_init ()*) | |
29 | (* end initialisation routines *) | |
30 | ||
31 | (* python interaction *) | |
32 | let split_fqn fqn = failwith "no python" | |
33 | ||
34 | let pycocci_get_class_type fqn = failwith "no python" | |
35 | ||
36 | let pycocci_instantiate_class fqn args = failwith "no python" | |
37 | ||
38 | (* end python interaction *) | |
39 | ||
40 | let inc_match = ref false | |
41 | ||
42 | let include_match v = failwith "no python" | |
43 | ||
44 | let build_method (mname, camlfunc, args) pymodule classx classdict = | |
45 | failwith "no python" | |
46 | ||
47 | let build_class cname parent methods pymodule = failwith "no python" | |
48 | ||
49 | let has_environment_binding env name = failwith "no python" | |
50 | ||
51 | let get_cocci_file args = failwith "no python" | |
52 | ||
53 | let build_classes env = failwith "no python" | |
54 | ||
55 | let build_variable name value = failwith "no python" | |
56 | ||
174d1640 | 57 | let contains_binding e (_,(r,m),_) = failwith "no python" |
34e49164 C |
58 | |
59 | let construct_variables mv e = failwith "no python" | |
60 | ||
413ffc02 C |
61 | let construct_script_variables mv = failwith "no python" |
62 | let retrieve_script_variables mv = failwith "no python" | |
63 | ||
34e49164 C |
64 | let set_coccifile cocci_file = |
65 | cocci_file_name := cocci_file; | |
66 | () | |
67 | ||
68 | ||
ae4735db | 69 | let pyrun_simplestring s = |
34e49164 | 70 | failwith "no python" |
ae4735db C |
71 | |
72 | let py_isinitialized () = | |
34e49164 | 73 | failwith "no python" |
ae4735db | 74 | |
34e49164 C |
75 | let py_finalize () = |
76 | failwith "no python" |