Wp.RefUsage
val get :
?kf:Frama_c_kernel.Cil_types.kernel_function ->
?init:bool ->
Frama_c_kernel.Cil_types.varinfo ->
access
val iter :
?kf:Frama_c_kernel.Cil_types.kernel_function ->
?init:bool ->
(Frama_c_kernel.Cil_types.varinfo -> access -> unit) ->
unit
val is_nullable : Frama_c_kernel.Cil_types.varinfo -> bool
is_nullable vi
returns true iff vi
is a formal and has an attribute 'nullable'
has_nullable ()
return true iff there exists a variable that satisfies is_nullable
val print :
Frama_c_kernel.Cil_types.varinfo ->
access ->
Stdlib.Format.formatter ->
unit