NAME

       CamlinternalOO - Run-time support for objects and classes.

Module

       Module   CamlinternalOO

Documentation

       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