Module ClangFrontend.ObjcMethod_decl
val get_methods : CAst_utils.procname_from_decl -> IR.Tenv.t -> ATDGenerated.Clang_ast_t.decl list -> IR.Procname.t listval add_missing_methods : IR.Tenv.t -> IR.Typ.name -> IR.Procname.t list -> unit