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