Frama-C API - `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

method vdef : Frama_c_kernel.Cabs.definition -> Frama_c_kernel.Cabs.definition list Frama_c_kernel.Cil.visitAction

Frama-C API - fun_cabs_visitor