Functor Properties_status.Make_updater


module Make_updater: 
functor (P : sig
val name : string
Plug-in name.
val dependencies : Project.Computation.t list
Dependencies of the status modified by the plug-in. What are the states of the analysers which modify some status of some properties?
end) -> sig .. end
Apply this functor in order to be able to modify status of annotations within a plug-in.
Since Boron-20100401
Parameters:
P : sig val name: string (** Plug-in name. *) val dependencies: Project.Computation.t list (** Dependencies of the status modified by the plug-in. What are the states of the analysers which modify some status of some properties? *) end

module type S_ReadOnly = sig .. end
module type S = sig .. end
module CodeAnnotation: S  with type t = code_annotation
Getting and modifying status of code_annotation.
module Behavior: S_ReadOnly  with type t = 
    kernel_function *kinstr * funbehavior
Getting status of behaviors.
module Predicate: S  with type t = identified_predicate
Getting and modifying status of predicates.
module Assigns: S  with type t = 
    kernel_function * kinstr * funbehavior option * identified_term assigns list
Getting and modifying status of assigns clause.
module Complete: S  with type t = kernel_function * kinstr * string list
Getting and modifying status of complete behaviors clause.
module Disjoint: S  with type t = kernel_function * kinstr * string list
Getting and modifying status of disjoint behaviors clause.