[backend] make adding overriden methods during cluster generation only available in Java

master
Dulma Rodriguez 9 years ago
parent a3e4d7a0fa
commit 0b4fc3a979

@ -405,7 +405,7 @@ let create_minimal_clusters file_cg exe_env to_analyze_map : cluster list =
let source = Exe_env.get_source exe_env proc_name in let source = Exe_env.get_source exe_env proc_name in
mapr := Procname.Map.add proc_name source !mapr; mapr := Procname.Map.add proc_name source !mapr;
with Not_found -> () in with Not_found -> () in
if isdefined then if isdefined && !Config.curr_language = Config.Java then
let tenv = Exe_env.get_tenv exe_env pn in let tenv = Exe_env.get_tenv exe_env pn in
(* Add the overridden methods, so they can be found by the cluster. *) (* Add the overridden methods, so they can be found by the cluster. *)
PatternMatch.proc_iter_overridden_methods extend_map tenv pn PatternMatch.proc_iter_overridden_methods extend_map tenv pn

Loading…
Cancel
Save