List_functions.fun_cabs_visitor
val decls : (string, unit SemanticLocs.t) Stdlib.Hashtbl.t
method get_decls : < get_decls : (string, unit SemanticLocs.t) Stdlib.Hashtbl.t
; vEnterScope : unit -> unit
; vExitScope : unit -> unit
; vattr :
Frama_c_kernel.Cabs.attribute ->
Frama_c_kernel.Cabs.attribute list
Frama_c_kernel.Cil.visitAction
; vblock :
Frama_c_kernel.Cabs.block ->
Frama_c_kernel.Cabs.block Frama_c_kernel.Cil.visitAction
; vdecltype :
Frama_c_kernel.Cabs.decl_type ->
Frama_c_kernel.Cabs.decl_type
Frama_c_kernel.Cil.visitAction
; vdef :
Frama_c_kernel.Cabs.definition ->
Frama_c_kernel.Cabs.definition list
Frama_c_kernel.Cil.visitAction
; vexpr :
Frama_c_kernel.Cabs.expression ->
Frama_c_kernel.Cabs.expression
Frama_c_kernel.Cil.visitAction
; vinitexpr :
Frama_c_kernel.Cabs.init_expression ->
Frama_c_kernel.Cabs.init_expression
Frama_c_kernel.Cil.visitAction
; vname :
Frama_c_kernel.Cabsvisit.nameKind ->
Frama_c_kernel.Cabs.specifier ->
Frama_c_kernel.Cabs.name ->
Frama_c_kernel.Cabs.name Frama_c_kernel.Cil.visitAction
; vspec :
Frama_c_kernel.Cabs.specifier ->
Frama_c_kernel.Cabs.specifier
Frama_c_kernel.Cil.visitAction
; vstmt :
Frama_c_kernel.Cabs.statement ->
Frama_c_kernel.Cabs.statement list
Frama_c_kernel.Cil.visitAction
; vtypespec :
Frama_c_kernel.Cabs.typeSpecifier ->
Frama_c_kernel.Cabs.typeSpecifier
Frama_c_kernel.Cil.visitAction
; vvar : string -> string.. > ->
(string, unit SemanticLocs.t) Stdlib.Hashtbl.t
method private add_loc : 'a ->
(string, unit SemanticLocs.t) Stdlib.Hashtbl.t ->
string ->
SemanticLocs.key ->
unit
method vdef : 'a ->
Frama_c_kernel.Cabs.definition ->
Frama_c_kernel.Cabs.definition list Frama_c_kernel.Cil.visitAction