package sawja

  1. Overview
  2. Docs
package sawja
Legend:
Library
Module
Module type
Parameter
Class
Class type
type jmethod = {
  1. m_type : string;
  2. m_class : string;
  3. m_name : string;
  4. m_signature : string;
}
module ClassSignatureSet : sig ... end
module MethodSet : sig ... end
module MethodMap : sig ... end
module StringMap : sig ... end
type native_method_info = {
  1. native_alloc : ClassSignatureSet.t;
  2. native_calls : MethodSet.t;
}
type native_info = native_method_info MethodMap.t
type t
val make_t : native_info -> t
val empty_info : t
val get_native_methods : t -> (string * string * string) list
val get_native_method_allocations : (string * string * string) -> t -> string list
val get_native_method_calls : (string * string * string) -> t -> (string * string * string) list
val fprint_native_info : t -> string -> unit
val merge_native_info : t -> t -> t