Class List_functions.fun_cabs_visitor

inherit Frama_c_kernel.Cabsvisit.nopCabsVisitor
val decls : (string, unit SemanticLocs.t) Stdlib.Hashtbl.t
method get_decls : (string, unit SemanticLocs.t) Stdlib.Hashtbl.t
method private get_single_name : ('b * ('c * 'd * 'e * 'f)) -> 'g
method private get_name : ('h * 'i * 'j * 'k) -> 'l
method private add_loc : (string, unit SemanticLocs.t) Stdlib.Hashtbl.t -> string -> SemanticLocs.key -> unit