1CamlinternalOO(3) OCaml library CamlinternalOO(3)
2
6 CamlinternalOO - Run-time support for objects and classes.
7
9 Module CamlinternalOO
10
12 Module CamlinternalOO
13 : sig end
14 Run-time support for objects and classes. All functions in this module
17 are for system use only, not for the casual user.
18 === Classes ===
27 type tag
29 type label
34 type table
39 type meth
44 type t
49 type obj
54 type closure
59 val public_method_label : string -> tag
65 val new_method : table -> label
70 val new_variable : table -> string -> int
75 val new_methods_variables : table -> string array -> string array ->
80 label array
81 val get_variable : table -> string -> int
86 val get_variables : table -> string array -> int array
91 val get_method_label : table -> string -> label
96 val get_method_labels : table -> string array -> label array
101 val get_method : table -> label -> meth
106 val set_method : table -> label -> meth -> unit
111 val set_methods : table -> label array -> unit
116 val narrow : table -> string array -> string array -> string array ->
121 unit
122 val widen : table -> unit
127 val add_initializer : table -> (obj -> unit) -> unit
132 val dummy_table : table
137 val create_table : string array -> table
142 val init_class : table -> unit
147 val inherits : table -> string array -> string array -> string array ->
152 t * (table -> obj -> Obj.t) * t * obj -> bool -> Obj.t * int array *
153 closure array
154 val make_class : string array -> (table -> Obj.t -> t) -> t * (table ->
159 Obj.t -> t) * (Obj.t -> t) * Obj.t
160 type init_table
164 val make_class_store : string array -> (table -> t) -> init_table ->
170 unit
171 val dummy_class : string * int * int -> t * (table -> Obj.t -> t) *
176 (Obj.t -> t) * Obj.t
177 === Objects ===
183 val copy : (< .. > as 'a) -> 'a
186 val create_object : table -> obj
191 val create_object_opt : obj -> table -> obj
196 val run_initializers : obj -> table -> unit
201 val run_initializers_opt : obj -> obj -> table -> obj
206 val create_object_and_run_initializers : obj -> table -> obj
211 val send : obj -> tag -> t
216 val sendcache : obj -> tag -> t -> int -> t
221 val sendself : obj -> label -> t
226 val get_public_method : obj -> tag -> closure
231 === Table cache ===
237 type tables
239 val lookup_tables : tables -> closure array -> tables
245 === Builtins to reduce code size ===
251 val get_const : t -> closure
254 val get_var : int -> closure
259 val get_env : int -> int -> closure
264 val get_meth : label -> closure
269 val set_var : int -> closure
274 val app_const : (t -> t) -> t -> closure
279 val app_var : (t -> t) -> int -> closure
284 val app_env : (t -> t) -> int -> int -> closure
289 val app_meth : (t -> t) -> label -> closure
294 val app_const_const : (t -> t -> t) -> t -> t -> closure
299 val app_const_var : (t -> t -> t) -> t -> int -> closure
304 val app_const_env : (t -> t -> t) -> t -> int -> int -> closure
309 val app_const_meth : (t -> t -> t) -> t -> label -> closure
314 val app_var_const : (t -> t -> t) -> int -> t -> closure
319 val app_env_const : (t -> t -> t) -> int -> int -> t -> closure
324 val app_meth_const : (t -> t -> t) -> label -> t -> closure
329 val meth_app_const : label -> t -> closure
334 val meth_app_var : label -> int -> closure
339 val meth_app_env : label -> int -> int -> closure
344 val meth_app_meth : label -> label -> closure
349 val send_const : tag -> obj -> int -> closure
354 val send_var : tag -> int -> int -> closure
359 val send_env : tag -> int -> int -> int -> closure
364 val send_meth : tag -> label -> int -> closure
369 type impl =
373 | GetConst
374 | GetVar
375 | GetEnv
376 | GetMeth
377 | SetVar
378 | AppConst
379 | AppVar
380 | AppEnv
381 | AppMeth
382 | AppConstConst
383 | AppConstVar
384 | AppConstEnv
385 | AppConstMeth
386 | AppVarConst
387 | AppEnvConst
388 | AppMethConst
389 | MethAppConst
390 | MethAppVar
391 | MethAppEnv
392 | MethAppMeth
393 | SendConst
394 | SendVar
395 | SendEnv
396 | SendMeth
397 | Closure of closure
398 === Parameters ===
405 type params = {
407 mutable compact_table : bool ;
409 mutable copy_parent : bool ;
411 mutable clean_when_copying : bool ;
413 mutable retry_count : int ;
415 mutable bucket_small_size : int ;
417 }
418 val params : params
424 === Statistics ===
430 type stats = {
432 classes : int ;
433 methods : int ;
434 inst_vars : int ;
435 }
436 val stats : unit -> stats
442OCamldoc 2007-05-24 CamlinternalOO(3)