Модуль CamlinternalOO

module CamlinternalOO: sig .. end

Поддержка объектов и классов во время выполнения. Все функции в этом модуле предназначены только для системного использования, а не для обычного пользователя.

Классы

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

Объекты

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

Кэширование таблиц

type tables

val lookup_tables : tables ->       closure array -> tables

Встроенные функции для сокращения размера кода

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`

Параметры

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

Статистика

type stats = {

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

}

val stats : unit -> stats