List_functions.fun_cabs_visitor
val decls : (string, unit SemanticLocs.t) Stdlib.Hashtbl.t
method get_decls : (string, unit SemanticLocs.t) Stdlib.Hashtbl.t
method private add_loc : (string, unit SemanticLocs.t) Stdlib.Hashtbl.t ->
string ->
SemanticLocs.key ->
unit
method vdef : Frama_c_kernel.Cabs.definition ->
Frama_c_kernel.Cabs.definition list Frama_c_kernel.Cil.visitAction