class add_default_behavior :Inheritsobject
..end
method vspec : Cil_types.funspec -> Cil_types.funspec Cil.visitAction
method vcode_annot : Cil_types.code_annotation -> Cil_types.code_annotation Cil.visitAction
method vfile : Cil_types.file -> Cil_types.file Cil.visitAction