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