nopCabsVisitor
method vexpr : Frama_c_kernel_base.Cabs.expression -> Frama_c_kernel_base.Cabs.expression Frama_c_kernel_base.Cil.visitAction
method vinitexpr : Frama_c_kernel_base.Cabs.init_expression -> Frama_c_kernel_base.Cabs.init_expression Frama_c_kernel_base.Cil.visitAction
method vstmt : Frama_c_kernel_base.Cabs.statement -> Frama_c_kernel_base.Cabs.statement list Frama_c_kernel_base.Cil.visitAction
method vblock : Frama_c_kernel_base.Cabs.block -> Frama_c_kernel_base.Cabs.block Frama_c_kernel_base.Cil.visitAction
method vvar : string -> string
method vdef : Frama_c_kernel_base.Cabs.definition -> Frama_c_kernel_base.Cabs.definition list Frama_c_kernel_base.Cil.visitAction
method vtypespec : Frama_c_kernel_base.Cabs.typeSpecifier -> Frama_c_kernel_base.Cabs.typeSpecifier Frama_c_kernel_base.Cil.visitAction
method vdecltype : Frama_c_kernel_base.Cabs.decl_type -> Frama_c_kernel_base.Cabs.decl_type Frama_c_kernel_base.Cil.visitAction
method vname : nameKind -> Frama_c_kernel_base.Cabs.specifier -> Frama_c_kernel_base.Cabs.name -> Frama_c_kernel_base.Cabs.name Frama_c_kernel_base.Cil.visitAction
method vspec : Frama_c_kernel_base.Cabs.specifier -> Frama_c_kernel_base.Cabs.specifier Frama_c_kernel_base.Cil.visitAction
method vattr : Frama_c_kernel_base.Cabs.attribute -> Frama_c_kernel_base.Cabs.attribute list Frama_c_kernel_base.Cil.visitAction
method vEnterScope : unit -> unit
method vExitScope : unit -> unit
Frama-C