Skip to content
This repository
tag: v952
Fetching contributors…

Cannot retrieve contributors at this time

file 63 lines (51 sloc) 2.048 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63
(*
Copyright © 2011 MLstate

This file is part of OPA.

OPA is free software: you can redistribute it and/or modify it under the
terms of the GNU Affero General Public License, version 3, as published by
the Free Software Foundation.

OPA is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for
more details.

You should have received a copy of the GNU Affero General Public License
along with OPA. If not, see <http://www.gnu.org/licenses/>.
*)

(**
The imperative table where bsl pugins are stored.

@author Mathieu Barbin
@author Mehdi Bouaziz
*)

(**
Store a plugin in the table. Do not register any bypass yet anywhere,
just put the plugin in the common table.
*)
val store : BslPluginInterface.plugin -> unit

(**
The finalization will check if the dependancies of plugins are satisfied.
Example scenario : You have built a plugin [libB] using an other plugin [libA],
with a command like :
{[
$ bslregister -o libB myfile.ml myfile2.ml libA.opp
]}
And then, you try to compile an opa file which uses some primitives from libB :
{[
$ opa.exe libB.opp myfile.opa
]}
Then, you'll get an error when you finalize the plugin table, because the plugin
[libB] was built with a dependencie to the [libA], and you try to use
the [libB] without loading the [libA].

Add:
{[
$ opa.exe libB.opp libA.opp myfile.opa
]}

Order of storing does not make any importance, the plugin are topologically sorted during the finalization,
and then returned in a topologic order in the returned list.

@error using standard OManager
*)
val finalize : unit -> BslPluginInterface.plugin list

(**
Returns the last result returned by [finalize], but without refinalizing.
If [finalize] was never called, returns [None]
*)
val last_finalize : unit -> BslPluginInterface.plugin list option
Something went wrong with that request. Please try again.