package sawja

  1. Overview
  2. Docs
package sawja
Legend:
Library
Module
Module type
Parameter
Class
Class type
type reference =
  1. | Null
  2. | Ref of int
type parser_value =
  1. | VInt of int32
  2. | VChar of int
  3. | VShort of int
  4. | VBool of int
  5. | VByte of int
  6. | VLong of int64
  7. | VFloat of float
  8. | VDouble of float
  9. | VObject of Javalib_pack.JBasics.class_name * reference
  10. | VArray of Javalib_pack.JBasics.value_type * reference
val get_dyn_type : int -> Javalib_pack.JBasics.object_type
val parser_value2string : parser_value -> string
val heap_to_string : parsed_heap -> string
type field = {
  1. fname : string;
  2. fvalue : parser_value;
}
type instance
type instance_ar
val raw_2_ref : Int64.t -> reference
val gen_instance : int64 -> field list -> instance
val gen_class : string -> field list -> instance list -> class_el
val gen_instance_ar : int64 -> int -> (int * int64) list -> instance_ar