nopCabsVisitor (frama-c.Frama_c_kernel.Cabsvisit.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