Frama-C:
Plug-ins:
Libraries:

Frama-C API - fun_cabs_visitor

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