Class Rewrite.add_default_behavior


class add_default_behavior : object .. end
Inherits
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