Module CamlinternalOO

module CamlinternalOO: sig .. end

Run-time support for objects and classes. All functions in this module are for system use only, not for the casual user.

---

Classes

type tag 

type label 

type table 

type meth 

type t 

type obj 

type closure 

val public_method_label : string -> tag

val new_method : table -> label

val new_variable : table -> string -> int

val new_methods_variables : table ->
       string array -> string array -> label array

val get_variable : table -> string -> int

val get_variables : table -> string array -> int array

val get_method_label : table -> string -> label

val get_method_labels : table -> string array -> label array

val get_method : table -> label -> meth

val set_method : table -> label -> meth -> unit

val set_methods : table -> label array -> unit

val narrow : table -> string array -> string array -> string array -> unit

val widen : table -> unit

val add_initializer : table -> (obj -> unit) -> unit

val dummy_table : table

val create_table : string array -> table

val init_class : table -> unit

val inherits : table ->
       string array ->
       string array ->
       string array ->
       t * (table -> obj -> Obj.t) *
       t * obj -> bool -> Obj.t array

val make_class : string array ->
       (table -> Obj.t -> t) ->
       t * (table -> Obj.t -> t) *
       (Obj.t -> t) * Obj.t

type init_table 

val make_class_store : string array ->
       (table -> t) ->
       init_table -> unit

val dummy_class : string * int * int ->
       t * (table -> Obj.t -> t) *
       (Obj.t -> t) * Obj.t

Objects

val copy : (< .. > as 'a) -> 'a

val create_object : table -> obj

val create_object_opt : obj -> table -> obj

val run_initializers : obj -> table -> unit

val run_initializers_opt : obj ->
       obj -> table -> obj

val create_object_and_run_initializers : obj -> table -> obj

val send : obj -> tag -> t

val sendcache : obj ->
       tag -> t -> int -> t

val sendself : obj -> label -> t

val get_public_method : obj -> tag -> closure

Table cache

type tables 

val lookup_tables : tables ->
       closure array -> tables

Builtins to reduce code size

type impl = 

|	GetConst
|	GetVar
|	GetEnv
|	GetMeth
|	SetVar
|	AppConst
|	AppVar
|	AppEnv
|	AppMeth
|	AppConstConst
|	AppConstVar
|	AppConstEnv
|	AppConstMeth
|	AppVarConst
|	AppEnvConst
|	AppMethConst
|	MethAppConst
|	MethAppVar
|	MethAppEnv
|	MethAppMeth
|	SendConst
|	SendVar
|	SendEnv
|	SendMeth
|	Closure of closure

Parameters

type params = {

	mutable compact_table :bool;
	mutable copy_parent :bool;
	mutable clean_when_copying :bool;
	mutable retry_count :int;
	mutable bucket_small_size :int;

}

val params : params

Statistics

type stats = {

	classes :int;
	methods :int;
	inst_vars :int;

}

val stats : unit -> stats