Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Modif commentaires pour Ocamldoc 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3941 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Maxence Guesdon 2001-10-29 20:07:09 +00:00
parent beb0a9b662
commit 7fc16e2988
1 changed files with 44 additions and 34 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

78
otherlibs/dynlink/dynlink.mli
View File

@ -12,45 +12,50 @@
(* $Id$ *)
(* Module [Dynlink]: dynamic loading of bytecode object files *)
(** Dynamic loading of bytecode object files. *)
(** Initialize the library. Must be called before [loadfile]. *)
val init : unit -> unit
(* Initialize the library. Must be called before [loadfile]. *)
(** Load the given bytecode object file and link it.
All toplevel expressions in the loaded compilation unit
are evaluated. No facilities are provided to
access value names defined by the unit. Therefore, the unit
must register itself its entry points with the main program,
e.g. by modifying tables of functions. *)
val loadfile : string -> unit
(* Load the given bytecode object file and link it.
All toplevel expressions in the loaded compilation unit
are evaluated. No facilities are provided to
access value names defined by the unit. Therefore, the unit
must register itself its entry points with the main program,
e.g. by modifying tables of functions. *)
(** Same as [loadfile], except that the module loaded is not
made available to other modules dynamically loaded afterwards. *)
val loadfile_private : string -> unit
(* Same as [loadfile], except that the module loaded is not
made available to other modules dynamically loaded afterwards. *)
(** [add_interfaces units path] grants dynamically-linked object
files access to the compilation units named in list [units].
The interfaces ([.cmi] files) for these units are searched in
[path] (a list of directory names). Initially, dynamically-linked
object files do not have access to any of the compilation
units composing the running program, not even the standard library.
[add_interfaces] or {!Dynlink.add_available_units} (see below) must be
called to grant access to some of the units. *)
val add_interfaces : string list -> string list -> unit
(* [add_interfaces units path] grants dynamically-linked object
files access to the compilation units named in list [units].
The interfaces ([.cmi] files) for these units are searched in
[path] (a list of directory names). Initially, dynamically-linked
object files do not have access to any of the compilation
units composing the running program, not even the standard library.
[add_interfaces] or [add_available_units] (see below) must be
called to grant access to some of the units. *)
(** Same as {!Dynlink.add_interfaces}, but instead of searching [.cmi] files
to find the unit interfaces, uses the interface digests given
for each unit. This way, the [.cmi] interface files need not be
available at run-time. The digests can be extracted from [.cmi]
files using the [extract_crc] program installed in the
Objective Caml standard library directory. *)
val add_available_units : (string * Digest.t) list -> unit
(* Same as [add_interfaces], but instead of searching [.cmi] files
to find the unit interfaces, uses the interface digests given
for each unit. This way, the [.cmi] interface files need not be
available at run-time. The digests can be extracted from [.cmi]
files using the [extract_crc] program installed in the
Objective Caml standard library directory. *)
(** Clear the list of compilation units accessible to dynamically-linked programs. *)
val clear_available_units : unit -> unit
(* Clear the list of compilation units accessible to dynamically-linked
programs. *)
(** Govern whether unsafe object files are allowed to be
dynamically linked. A compilation unit is ``unsafe'' if it contains
declarations of external functions, which can break type safety.
By default, dynamic linking of unsafe object files is
not allowed. *)
val allow_unsafe_modules : bool -> unit
(* Govern whether unsafe object files are allowed to be
dynamically linked. A compilation unit is ``unsafe'' if it contains
declarations of external functions, which can break type safety.
By default, dynamic linking of unsafe object files is
not allowed. *)
type linking_error =
Undefined_global of string
@ -65,12 +70,17 @@ type error =
| Corrupted_interface of string
| File_not_found of string
| Cannot_open_dll of string
(** Errors in dynamic linking are reported by raising the [Error]
exception with a description of the error. *)
exception Error of error
(* Errors in dynamic linking are reported by raising the [Error]
exception with a description of the error. *)
(** Convert an error description to a printable message. *)
val error_message: error -> string
(* Convert an error description to a printable message. *)
(*--*)
(** {2 } *)
val digest_interface : string -> string list -> Digest.t