package sawja
-
sawja
-
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type parser_value =
| VInt of int32
| VChar of int
| VShort of int
| VBool of int
| VByte of int
| VLong of int64
| VFloat of float
| VDouble of float
| VObject of Javalib_pack.JBasics.class_name * reference
| VArray of Javalib_pack.JBasics.value_type * reference
type class_el = {
cl_name : Javalib_pack.JBasics.class_name;
cl_static_fields : parser_value Javalib_pack.JBasics.FieldMap.t;
cl_instances : parser_value Javalib_pack.JBasics.FieldMap.t Javalib_pack.Ptmap.t;
}
type parsed_heap = {
hp_class : class_el Javalib_pack.JBasics.ClassMap.t;
hp_array : parser_value array Javalib_pack.Ptmap.t JType.ObjectMap.t;
}
val get_dyn_type : int -> Javalib_pack.JBasics.object_type
val parser_value2string : parser_value -> string
val heap_to_string : parsed_heap -> string
val add_class :
class_el Javalib_pack.JBasics.ClassMap.t ->
class_el ->
class_el Javalib_pack.JBasics.ClassMap.t
val gen_instance_ar : int64 -> int -> (int * int64) list -> instance_ar
val add_instance_ar :
instance_ar ->
instance_ar Javalib_pack.Ptmap.t ->
instance_ar Javalib_pack.Ptmap.t
val gen_class_ar :
string ->
int ->
instance_ar Javalib_pack.Ptmap.t ->
Javalib_pack.JBasics.object_type * parser_value array Javalib_pack.Ptmap.t
val finalize_class_ar :
(Javalib_pack.JBasics.object_type * parser_value array Javalib_pack.Ptmap.t) ->
parser_value array Javalib_pack.Ptmap.t JType.ObjectMap.t ->
parser_value array Javalib_pack.Ptmap.t JType.ObjectMap.t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>