4 module StringMap
= Map.Make
(String
)
6 exception Pycocciexception
8 let python_support = false
10 let check_return_value v
= failwith
"no python"
11 let check_int_return_value v
= failwith
"no python"
13 let initialised = ref false
15 let cocci_file_name = ref ""
17 (* dealing with python modules loaded *)
18 let get_module module_name
= failwith
"no python"
20 let is_module_loaded module_name
= failwith
"no python"
22 let load_module module_name
= failwith
"no python"
23 (* end python module handling part *)
25 (* initialisation routines *)
26 let pycocci_init () = initialised := true
28 (*let _ = pycocci_init ()*)
29 (* end initialisation routines *)
31 (* python interaction *)
32 let split_fqn fqn
= failwith
"no python"
34 let pycocci_get_class_type fqn
= failwith
"no python"
36 let pycocci_instantiate_class fqn args
= failwith
"no python"
38 (* end python interaction *)
40 let inc_match = ref false
42 let include_match v
= failwith
"no python"
44 let build_method (mname
, camlfunc
, args
) pymodule classx classdict
=
47 let build_class cname parent methods pymodule
= failwith
"no python"
49 let has_environment_binding env name
= failwith
"no python"
51 let get_cocci_file args
= failwith
"no python"
53 let build_classes env
= failwith
"no python"
55 let build_variable name
value = failwith
"no python"
57 let contains_binding e
(_,(r
,m
)) = failwith
"no python"
59 let construct_variables mv e
= failwith
"no python"
61 let set_coccifile cocci_file
=
62 cocci_file_name := cocci_file
;
66 let pyrun_simplestring s
=
69 let py_isinitialized () =