module Reset:sig
..end
Reset.ast_element vis
resets the tables associated to the considered type of
AST elements in vis
. For example for Cil_types.varinfo
: Reset.varinfo vis
.
Since 20.0-Calcium
Consult the Plugin Development Guide for additional details.
val varinfo : Visitor_behavior.t -> unit
val compinfo : Visitor_behavior.t -> unit
val enuminfo : Visitor_behavior.t -> unit
val enumitem : Visitor_behavior.t -> unit
val typeinfo : Visitor_behavior.t -> unit
val stmt : Visitor_behavior.t -> unit
val logic_info : Visitor_behavior.t -> unit
val logic_type_info : Visitor_behavior.t -> unit
val fieldinfo : Visitor_behavior.t -> unit
val model_info : Visitor_behavior.t -> unit
val logic_var : Visitor_behavior.t -> unit
val kernel_function : Visitor_behavior.t -> unit
val fundec : Visitor_behavior.t -> unit