Module Properties_status


module Properties_status: sig .. end
Status of properties.
Since Boron-20100401

val get_all : ?who:State.t list -> Property.t -> Cil_types.annotation_status list
For a given annotation, get all the status set by each plug-in.
Since Carbon-20101201
val strongest : Property.t -> Cil_types.annotation_status * State.t option
Checks status consistency according to the following partial order: Unknown < Maybe < True and Maybe < False
Since Carbon-20101201
Returns the most precise status available for the property according to the above partial order. In case of consistent multiple status, the most recent is returned. The returned state is the one associated with the returned status itself.
val get_state : Property.t -> State.t -> State.t
Get the state associated to the given key and state.
Since Carbon-20101201
Raises Not_found if there is no such binding
val pretty_all : Format.formatter -> Property.t -> unit
Pretty print all the status of a given annotation.
Since Carbon-20101201
module Consolidation_tree: sig .. end
module Make_updater: 
functor (P : sig
val name : string
Plug-in name.
val emitter : State.t
end) -> sig .. end
Apply this functor in order to be able to modify status of annotations within a plug-in.