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