Module Datalog.Reflect

type refl_call = {
  1. refl_ms : string;
  2. caller_cl : string;
  3. caller_ms : string;
}
val get_method_refl_calls : Javalib_pack.JCode.jcode Javalib_pack.Javalib.concrete_method -> refl_call list

Returns the list of reflexive calls inside a concrete method. A call is represented by (reflective_method_signature, caller_class, caller_method_signature)