JProgramDesc (infer.JavaFrontend.JProgramDesc)

module Classmap : 
  Stdlib.Hashtbl.S with type key = Javalib_pack.JBasics.class_name

type classmap =
  Javalib_pack.JCode.jcode Javalib_pack.Javalib.interface_or_class Classmap.t

type t

val get_classmap : t -> classmap

val get_matching_class_names : 
  t ->
  string ->
  Javalib_pack.JBasics.class_name list

val set_java_location : 
  t ->
  Javalib_pack.JBasics.class_name ->
  IBase.Location.t ->
  unit

val get_java_location : 
  t ->
  Javalib_pack.JBasics.class_name ->
  IBase.Location.t option

val load : JClasspath.t -> t

load a java program

val lookup_node : 
  Javalib_pack.JBasics.class_name ->
  t ->
  Javalib_pack.JCode.jcode Javalib_pack.Javalib.interface_or_class option

retrieve a Java node from the classname

val add_missing_callee : 
  t ->
  IR.Procname.t ->
  Javalib_pack.JBasics.class_name ->
  Javalib_pack.JBasics.method_signature ->
  unit

add the class name of method signature to the list of callees

val set_callee_translated : t -> IR.Procname.t -> unit

set that the CFG for the procedure has been created

val iter_missing_callees : 
  t ->
  f:
    (IR.Procname.t ->
      Javalib_pack.JBasics.class_name ->
      Javalib_pack.JBasics.method_signature ->
      unit) ->
  unit