Frama-C API - `nopCabsVisitor`

method vexpr : Frama_c_kernel.Cabs.expression -> Frama_c_kernel.Cabs.expression Frama_c_kernel.Cil.visitAction

method vinitexpr : Frama_c_kernel.Cabs.init_expression -> Frama_c_kernel.Cabs.init_expression Frama_c_kernel.Cil.visitAction

method vstmt : Frama_c_kernel.Cabs.statement -> Frama_c_kernel.Cabs.statement list Frama_c_kernel.Cil.visitAction

method vblock : Frama_c_kernel.Cabs.block -> Frama_c_kernel.Cabs.block Frama_c_kernel.Cil.visitAction

method vvar : string -> string

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

method vtypespec : Frama_c_kernel.Cabs.typeSpecifier -> Frama_c_kernel.Cabs.typeSpecifier Frama_c_kernel.Cil.visitAction

method vdecltype : Frama_c_kernel.Cabs.decl_type -> Frama_c_kernel.Cabs.decl_type Frama_c_kernel.Cil.visitAction

method vname : nameKind -> Frama_c_kernel.Cabs.specifier -> Frama_c_kernel.Cabs.name -> Frama_c_kernel.Cabs.name Frama_c_kernel.Cil.visitAction

method vspec : Frama_c_kernel.Cabs.specifier -> Frama_c_kernel.Cabs.specifier Frama_c_kernel.Cil.visitAction

method vattr : Frama_c_kernel.Cabs.attribute -> Frama_c_kernel.Cabs.attribute list Frama_c_kernel.Cil.visitAction

method vEnterScope : unit -> unit

method vExitScope : unit -> unit

Frama-C API - nopCabsVisitor