module Dynamic: functor (
Local
:
sig
val restore : Project.t -> Project.project -> unit
How to restore a just-unmarshaled state kind.
This function must return a closure which clears the state in the
given project.
end
) ->
functor (
Info
:
INFO
) ->
sig
.. end
Generate a fresh dynamic state dependency graph.
Since Boron-20100401
Parameters: |
Local |
: |
sig
val restore: t -> (project -> unit)
(** How to restore a just-unmarshaled state kind.
This function must return a closure which clears the state in the
given project. *)
end
|
Info |
: |
INFO
|
|
val add_dependency : Project.t -> Project.t -> unit
add_dependency k1 k2
indicates that the state k1
depends on the
state kind k2
in the underlying dynamic graph, that is an action of
the state kind k2
must be done before one of the state kind k1
.
Since Boron-20100401
val remove_computation : reset:bool -> Project.t -> unit
Remove a state kind from the underlying dynamic graph.
reset
must be true
iff the dependencies of this state kind must
be cleared.
Since Boron-20100401
val self : Project.t
The state kind corresponding to the dynamic graph itself.
Since Boron-20100401
module Register: functor (
State
:
sig
end
) ->
Register a new kind in the underlying dynamic graph.