exception NoCode of Javalib_pack.JBasics.class_name
* Javalib_pack.JBasics.method_signatureval get_class : 'a t -> 'a JProgram.nodeval get_meth : 'a t -> 'a Javalib_pack.Javalib.concrete_methodval get_pc : 'a t -> intval get_pp :
'a JProgram.node ->
'a Javalib_pack.Javalib.concrete_method ->
int ->
'a tval hash : 'a t -> intval get_ir : 'a t -> 'aval get_first_pp :
'a JProgram.program ->
Javalib_pack.JBasics.class_name ->
Javalib_pack.JBasics.method_signature ->
'a tval get_first_pp_wp :
'a JProgram.node ->
Javalib_pack.JBasics.method_signature ->
'a tval static_pp_lookup : 'a JProgram.program -> 'a t -> 'a t listval to_string : 'a t -> stringval pprint : Stdlib.Format.formatter -> 'a t -> unit