JavaFrontend.JProgramDesc
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