Module Properties_status.Make_updater.Assigns


module Assigns: S  with type t = 
    kernel_function * kinstr * funbehavior option * identified_term assigns list
Getting and modifying status of assigns clause.
Since Boron-20100401

include Properties_status.Make_updater.S_ReadOnly
val set : t -> Cil_types.annotation_status -> unit
Set the status of an annotation.
Since Boron-20100401
val update : t ->
(Cil_types.annotation_status -> Cil_types.annotation_status) ->
Cil_types.annotation_status
Update the status of a given annotation according to the old status.
Since Boron-20100401