Module Properties_status.Make_updater.Behavior


module Behavior: S_ReadOnly  with type t = 
    kernel_function *kinstr * funbehavior
Getting status of behaviors.
Since Boron-20100401

include Properties_status.S
val get : t -> Cil_types.annotation_status
Get the status of the given annotation set by this plug-in.
Since Boron-20100401