module CodeAnnotation: S
with type t = code_annotation
type
t
val get : t -> Cil_types.annotation_status
get the last status that was set or updated
val set : t -> Cil_types.annotation_status -> unit
set the status and forget all past status
val update : t -> Cil_types.annotation_status -> unit
Add a new status to the list of past status. It becomes
the last status.
val get_all : t -> Cil_types.annotation_status list
Get all past status. The first elements of the list
are the last status that have been updated.
val strongest : t -> Cil_types.annotation_status
Returns the most precise status available for the
property and checks consistency according to the following
partial order:
Unknown < Maybe < True and Maybe < False
In case of consistent multiple status, the most recent
is returned.