Class Common.proxy_frama_c_visitor


class proxy_frama_c_visitor : Visitor.frama_c_visitor -> object .. end
Inherits
method vfunc : Cil_types.fundec -> Cil_types.fundec Cil.visitAction
method vfile : Cil_types.file -> Cil_types.file Cil.visitAction
method vrooted_code_annotation : Db_types.rooted_code_annotation ->
Db_types.rooted_code_annotation list Cil.visitAction
method vglob_aux : Cil_types.global -> Cil_types.global list Cil.visitAction
method vstmt_aux : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method vblock : Cil_types.block -> Cil_types.block Cil.visitAction
method vvrbl : Cil_types.varinfo -> Cil_types.varinfo Cil.visitAction
method vvdec : Cil_types.varinfo -> Cil_types.varinfo Cil.visitAction
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction
method voffs : Cil_types.offset -> Cil_types.offset Cil.visitAction
method vinitoffs : Cil_types.offset -> Cil_types.offset Cil.visitAction
method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction
method vinit : Cil_types.varinfo ->
Cil_types.offset -> Cil_types.init -> Cil_types.init Cil.visitAction
method vtype : Cil_types.typ -> Cil_types.typ Cil.visitAction
method vattr : Cil_types.attribute -> Cil_types.attribute list Cil.visitAction
method vattrparam : Cil_types.attrparam -> Cil_types.attrparam Cil.visitAction
method vlogic_type : Cil_types.logic_type -> Cil_types.logic_type Cil.visitAction
method vterm : Cil_types.term -> Cil_types.term Cil.visitAction
method vterm_node : Cil_types.term_node -> Cil_types.term_node Cil.visitAction
method vterm_lval : Cil_types.term_lval -> Cil_types.term_lval Cil.visitAction
method vterm_lhost : Cil_types.term_lhost -> Cil_types.term_lhost Cil.visitAction
method vterm_offset : Cil_types.term_offset -> Cil_types.term_offset Cil.visitAction
method vlogic_info_decl : Cil_types.logic_info -> Cil_types.logic_info Cil.visitAction
method vlogic_info_use : Cil_types.logic_info -> Cil_types.logic_info Cil.visitAction
method vlogic_var_decl : Cil_types.logic_var -> Cil_types.logic_var Cil.visitAction
method vlogic_var_use : Cil_types.logic_var -> Cil_types.logic_var Cil.visitAction
method vquantifiers : Cil_types.quantifiers -> Cil_types.quantifiers Cil.visitAction
method vpredicate : Cil_types.predicate -> Cil_types.predicate Cil.visitAction
method vpredicate_named : Cil_types.predicate Cil_types.named ->
Cil_types.predicate Cil_types.named Cil.visitAction
method vbehavior : Cil_types.funbehavior -> Cil_types.funbehavior Cil.visitAction
method vspec : Cil_types.funspec -> Cil_types.funspec Cil.visitAction
method vassigns : Cil_types.identified_term Cil_types.assigns ->
Cil_types.identified_term Cil_types.assigns Cil.visitAction
method vloop_pragma : Cil_types.term Cil_types.loop_pragma ->
Cil_types.term Cil_types.loop_pragma Cil.visitAction
method vslice_pragma : Cil_types.term Cil_types.slice_pragma ->
Cil_types.term Cil_types.slice_pragma Cil.visitAction
method vzone : Cil_types.identified_term Cil_types.zone ->
Cil_types.identified_term Cil_types.zone Cil.visitAction
method vcode_annot : Cil_types.code_annotation -> Cil_types.code_annotation Cil.visitAction
method vannotation : Cil_types.global_annotation -> Cil_types.global_annotation Cil.visitAction