sawja 1.5.11 · OCaml Package

type !'a class_node = private {

c_info : 'a Javalib_pack.Javalib.jclass;
c_super : 'a class_node option;
c_interfaces : 'a interface_node Javalib_pack.JBasics.ClassMap.t;
mutable c_children : 'a class_node list;

}

and !'a interface_node = private {

i_info : 'a Javalib_pack.Javalib.jinterface;
i_super : 'a class_node;
i_interfaces : 'a interface_node Javalib_pack.JBasics.ClassMap.t;
mutable i_children_interfaces : 'a interface_node list;
mutable i_children_classes : 'a class_node list;

}

and !'a node =

| Interface of 'a interface_node
| Class of 'a class_node

val make_class_node : 
  'a Javalib_pack.Javalib.jclass ->
  'a class_node option ->
  'a interface_node Javalib_pack.JBasics.ClassMap.t ->
  'a class_node

val make_interface_node : 
  'a Javalib_pack.Javalib.jinterface ->
  'a class_node ->
  'a interface_node Javalib_pack.JBasics.ClassMap.t ->
  'a interface_node

type 'a static_lookup_method =
  Javalib_pack.JBasics.class_name ->
  Javalib_pack.JBasics.method_signature ->
  int ->
  Javalib_pack.JBasics.ClassMethodSet.t

type !'a program = {

classes : 'a node Javalib_pack.JBasics.ClassMap.t;
parsed_methods : ('a node * 'a Javalib_pack.Javalib.concrete_method) Javalib_pack.JBasics.ClassMethodMap.t;
static_lookup_method : Javalib_pack.JBasics.class_name -> Javalib_pack.JBasics.method_signature -> int -> Javalib_pack.JBasics.ClassMethodSet.t;

}

val iter : ('a node -> unit) -> 'a program -> unit

val fold : ('b -> 'a node -> 'b) -> 'b -> 'a program -> 'b

val cf_iter : (Javalib_pack.Javalib.class_field -> unit) -> 'a node -> unit

val if_iter : (Javalib_pack.Javalib.interface_field -> unit) -> 'a node -> unit

val f_iter : (Javalib_pack.Javalib.any_field -> unit) -> 'a node -> unit

val cf_fold : 
  (Javalib_pack.Javalib.class_field -> 'b -> 'b) ->
  'a node ->
  'b ->
  'b

val if_fold : 
  (Javalib_pack.Javalib.interface_field -> 'b -> 'b) ->
  'a node ->
  'b ->
  'b

val f_fold : 
  (Javalib_pack.Javalib.any_field -> 'b -> 'b) ->
  'a node ->
  'b ->
  'b

val cm_iter : 
  ('a Javalib_pack.Javalib.concrete_method -> unit) ->
  'a node ->
  unit

val am_iter : (Javalib_pack.Javalib.abstract_method -> unit) -> 'a node -> unit

val m_iter : ('a Javalib_pack.Javalib.jmethod -> unit) -> 'a node -> unit

val cm_fold : 
  ('a Javalib_pack.Javalib.concrete_method -> 'b -> 'b) ->
  'a node ->
  'b ->
  'b

val am_fold : 
  (Javalib_pack.Javalib.abstract_method -> 'b -> 'b) ->
  'a node ->
  'b ->
  'b

val m_fold : 
  ('a Javalib_pack.Javalib.jmethod -> 'b -> 'b) ->
  'a node ->
  'b ->
  'b

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

val get_name : 'a node -> Javalib_pack.JBasics.class_name

val get_consts : 'a node -> Javalib_pack.JBasics.constant array

val get_interfaces : 
  'a node ->
  'a interface_node Javalib_pack.JBasics.ClassMap.t

val get_all_children_classes : 'a class_node -> 'a class_node list

val i_equal : 'a interface_node -> 'a interface_node -> bool

val c_equal : 'a class_node -> 'a class_node -> bool

val node_equal : 'a node -> 'a node -> bool

val to_ioc : 'a node -> 'a Javalib_pack.Javalib.interface_or_class

val main_signature : Javalib_pack.JBasics.method_signature

val get_method : 
  'a node ->
  Javalib_pack.JBasics.method_signature ->
  'a Javalib_pack.Javalib.jmethod

val get_concrete_method : 
  'a node ->
  Javalib_pack.JBasics.method_signature ->
  'a Javalib_pack.Javalib.concrete_method

val get_methods : 
  'a node ->
  'a Javalib_pack.Javalib.jmethod Javalib_pack.JBasics.MethodMap.t

val get_concrete_methods : 
  'a node ->
  'a Javalib_pack.Javalib.concrete_method Javalib_pack.JBasics.MethodMap.t

val defines_method : 'a node -> Javalib_pack.JBasics.method_signature -> bool

val get_field : 
  'a node ->
  Javalib_pack.JBasics.field_signature ->
  Javalib_pack.Javalib.any_field

val get_fields : 
  'a node ->
  Javalib_pack.Javalib.any_field Javalib_pack.JBasics.FieldMap.t

val defines_field : 'a node -> Javalib_pack.JBasics.field_signature -> bool

val extends_class : 'a class_node -> 'a class_node -> bool

val extends_interface : 'a interface_node -> 'a interface_node -> bool

val extends : 'a node -> 'a node -> bool

val implements : 'a class_node -> 'a interface_node -> bool

val super_class : 'a node -> 'a class_node option

val implemented_interfaces : 'a class_node -> 'a interface_node list

val directly_implemented_interfaces : 'a class_node -> 'a interface_node list

val super_interfaces : 'a interface_node -> 'a interface_node list

val first_common_super_class : 'a class_node -> 'a class_node -> 'a class_node

val build_hierarchy : 
  'a Javalib_pack.Javalib.interface_or_class Javalib_pack.JBasics.ClassMap.t ->
  'a node Javalib_pack.JBasics.ClassMap.t

val map_program : 
  (Javalib_pack.JBasics.class_name ->
    Javalib_pack.JBasics.method_signature ->
    'a ->
    'b) ->
  ('b -> int -> int) option ->
  'a program ->
  'b program

val map_program2 : 
  ('a node -> 'a Javalib_pack.Javalib.concrete_method -> 'a -> 'b) ->
  ('b -> int -> int) option ->
  'a program ->
  'b program

val map_program_with_native : 
  (Javalib_pack.JBasics.class_name ->
    Javalib_pack.JBasics.method_signature ->
    'a Javalib_pack.Javalib.implementation ->
    'b Javalib_pack.Javalib.implementation) ->
  ('b -> int -> int) option ->
  'a program ->
  'b program

val map_program_with_native2 : 
  ('a node ->
    'a Javalib_pack.Javalib.concrete_method ->
    'a Javalib_pack.Javalib.implementation ->
    'b Javalib_pack.Javalib.implementation) ->
  ('b -> int -> int) option ->
  'a program ->
  'b program

type callgraph =
  ((Javalib_pack.JBasics.class_name
    * Javalib_pack.JBasics.method_signature
    * int)
   * (Javalib_pack.JBasics.class_name * Javalib_pack.JBasics.method_signature))
    list

val get_callgraph : Javalib_pack.JCode.jcode program -> callgraph

val get_callgraph_from_entries : 
  Javalib_pack.JCode.jcode program ->
  Javalib_pack.JBasics.class_method_signature list ->
  callgraph

val store_callgraph : callgraph -> string -> unit

exception IncompatibleClassChangeError

exception NoSuchMethodError

exception NoSuchFieldError

exception NoClassDefFoundError

exception AbstractMethodError

exception IllegalAccessError