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.