sawja 1.5.11 · OCaml Package

val resolve_class : 
  'a JProgram.program ->
  Javalib_pack.JBasics.class_name ->
  'a JProgram.node

val resolve_method : 
  Javalib_pack.JBasics.method_signature ->
  'a JProgram.class_node ->
  'a JProgram.node

val resolve_method' : 
  Javalib_pack.JBasics.method_signature ->
  'a JProgram.class_node ->
  'a JProgram.class_node

val resolve_interface_method : 
  Javalib_pack.JBasics.method_signature ->
  'a JProgram.interface_node ->
  'a JProgram.node

val resolve_interface_method' : 
  ?acc:'a JProgram.interface_node list ->
  Javalib_pack.JBasics.method_signature ->
  'a JProgram.node ->
  'a JProgram.interface_node list

val resolve_field : 
  Javalib_pack.JBasics.field_signature ->
  'a JProgram.node ->
  'a JProgram.node list

exception AmbiguousFieldResolution of Javalib_pack.JBasics.class_name list

val resolve_field_strong : 
  Javalib_pack.JBasics.field_signature ->
  'a JProgram.node ->
  'a JProgram.node

val static_lookup_virtual : 
  'a JProgram.program ->
  Javalib_pack.JBasics.object_type ->
  Javalib_pack.JBasics.method_signature ->
  'a JProgram.node list

val static_lookup_interface : 
  'a JProgram.program ->
  Javalib_pack.JBasics.class_name ->
  Javalib_pack.JBasics.method_signature ->
  'a JProgram.node list

val static_lookup_special : 
  'a JProgram.program ->
  'a JProgram.node ->
  Javalib_pack.JBasics.class_name ->
  Javalib_pack.JBasics.method_signature ->
  'a JProgram.class_node

val static_lookup_static : 
  'a JProgram.program ->
  Javalib_pack.JBasics.class_name ->
  Javalib_pack.JBasics.method_signature ->
  'a JProgram.node

val implements_methods : 
  Javalib_pack.JBasics.method_signature ->
  'a JProgram.class_node ->
  'a JProgram.interface_node list

val resolve_all_interface_methods : 
  Javalib_pack.JBasics.method_signature ->
  'a JProgram.interface_node ->
  'a JProgram.interface_node list

val overrides_methods : 
  Javalib_pack.JBasics.method_signature ->
  'a JProgram.class_node ->
  'a JProgram.class_node list

val overridden_by_methods : 
  Javalib_pack.JBasics.method_signature ->
  'a JProgram.node ->
  'a JProgram.class_node list

val implements_method : 
  'a JProgram.class_node ->
  Javalib_pack.JBasics.method_signature ->
  bool

val implements_interface_or_subinterface : 
  'a JProgram.node ->
  'a JProgram.interface_node ->
  bool

val implements_interface_or_subinterface_transitively : 
  'a JProgram.class_node ->
  'a JProgram.interface_node ->
  bool

module PP : sig ... end

val invoke_virtual_lookup : 
  ?c:'a JProgram.class_node option ->
  Javalib_pack.JBasics.method_signature ->
  'a JProgram.class_node Javalib_pack.JBasics.ClassMap.t ->
  ('a JProgram.class_node * 'a Javalib_pack.Javalib.concrete_method)
    Javalib_pack.JBasics.ClassMethodMap.t

val invoke_interface_lookup : 
  ?i:'a JProgram.interface_node option ->
  Javalib_pack.JBasics.method_signature ->
  'a JProgram.class_node Javalib_pack.JBasics.ClassMap.t ->
  ('a JProgram.class_node * 'a Javalib_pack.Javalib.concrete_method)
    Javalib_pack.JBasics.ClassMethodMap.t

val invoke_special_lookup : 
  'a JProgram.node ->
  'a JProgram.class_node ->
  Javalib_pack.JBasics.method_signature ->
  'a JProgram.class_node * 'a Javalib_pack.Javalib.concrete_method

val invoke_static_lookup : 
  'a JProgram.class_node ->
  Javalib_pack.JBasics.method_signature ->
  'a JProgram.class_node * 'a Javalib_pack.Javalib.concrete_method

val static_lookup' : 'a JProgram.program -> 'a PP.t -> 'a PP.t list

package sawja