Functor Properties_status.Make_updater


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.
Since Carbon-20101201
Parameters:
P : sig val name: string (** Plug-in name. *) val emitter: State.t end

val set : Property.t -> Property.t list -> Cil_types.annotation_status -> unit
Set the status of an annotation. Do not reset the dependencies of this status.
Since Carbon-20101201
val update : Property.t ->
Property.t list ->
(Cil_types.annotation_status -> Cil_types.annotation_status) ->
Cil_types.annotation_status
Update the status of a given annotation according to the old status. Do not reset the dependencies of this status.
Since Carbon-20101201