module Visitor:sig
..end
class type frama_c_visitor =object
..end
class frama_c_inplace :frama_c_visitor
class frama_c_copy :Project.t ->
frama_c_visitor
class frama_c_refresh :Project.t ->
frama_c_visitor
Visitor.frama_c_copy
, but ids will be refreshed in the copy.
class generic_frama_c_visitor :Cil.visitor_behavior ->
frama_c_visitor
frama_c_inplace
and frama_c_copy
.
val visitFramacFileCopy : frama_c_visitor -> Cil_types.file -> Cil_types.file
Cil.visitCilFileSameGlobals
if your visitor will
not change the list of globals.val visitFramacFile : frama_c_visitor -> Cil_types.file -> unit
val visitFramacFileSameGlobals : frama_c_visitor -> Cil_types.file -> unit
Visitor.visitFramacFile
whenever appropriate because it is more
efficient for long files.val visitFramacGlobal : frama_c_visitor -> Cil_types.global -> Cil_types.global list
Warning Do not call this function during another visit using the
same visitor, as it is not reentrant: the inner visit will leave the visitor
in an inconsistent state for the outer visit.
val visitFramacKf : frama_c_visitor -> Kernel_function.t -> Kernel_function.t
val visitFramacFunction : frama_c_visitor -> Cil_types.fundec -> Cil_types.fundec
val visitFramacExpr : frama_c_visitor -> Cil_types.exp -> Cil_types.exp
val visitFramacLval : frama_c_visitor -> Cil_types.lval -> Cil_types.lval
val visitFramacOffset : frama_c_visitor -> Cil_types.offset -> Cil_types.offset
val visitFramacInitOffset : frama_c_visitor -> Cil_types.offset -> Cil_types.offset
val visitFramacInstr : frama_c_visitor -> Cil_types.instr -> Cil_types.instr list
val visitFramacStmt : frama_c_visitor -> Cil_types.stmt -> Cil_types.stmt
val visitFramacBlock : frama_c_visitor -> Cil_types.block -> Cil_types.block
val visitFramacType : frama_c_visitor -> Cil_types.typ -> Cil_types.typ
val visitFramacVarDecl : frama_c_visitor -> Cil_types.varinfo -> Cil_types.varinfo
val visitFramacLogicVarDecl : frama_c_visitor -> Cil_types.logic_var -> Cil_types.logic_var
val visitFramacInit : frama_c_visitor ->
Cil_types.varinfo -> Cil_types.offset -> Cil_types.init -> Cil_types.init
val visitFramacAttributes : frama_c_visitor ->
Cil_types.attribute list -> Cil_types.attribute list
val visitFramacAnnotation : frama_c_visitor ->
Cil_types.global_annotation -> Cil_types.global_annotation
val visitFramacCodeAnnotation : frama_c_visitor ->
Cil_types.code_annotation -> Cil_types.code_annotation
val visitFramacAllocation : frama_c_visitor ->
Cil_types.identified_term Cil_types.allocation ->
Cil_types.identified_term Cil_types.allocation
val visitFramacAssigns : frama_c_visitor ->
Cil_types.identified_term Cil_types.assigns ->
Cil_types.identified_term Cil_types.assigns
val visitFramacFrom : frama_c_visitor ->
Cil_types.identified_term Cil_types.from ->
Cil_types.identified_term Cil_types.from
val visitFramacDeps : frama_c_visitor ->
Cil_types.identified_term Cil_types.deps ->
Cil_types.identified_term Cil_types.deps
val visitFramacFunspec : frama_c_visitor -> Cil_types.funspec -> Cil_types.funspec
val visitFramacLogicType : frama_c_visitor -> Cil_types.logic_type -> Cil_types.logic_type
val visitFramacPredicateNode : frama_c_visitor ->
Cil_types.predicate_node -> Cil_types.predicate_node
val visitFramacPredicate : frama_c_visitor -> Cil_types.predicate -> Cil_types.predicate
val visitFramacIdPredicate : frama_c_visitor ->
Cil_types.identified_predicate -> Cil_types.identified_predicate
val visitFramacPredicates : frama_c_visitor ->
Cil_types.identified_predicate list -> Cil_types.identified_predicate list
val visitFramacIdTerm : frama_c_visitor ->
Cil_types.identified_term -> Cil_types.identified_term
val visitFramacTerm : frama_c_visitor -> Cil_types.term -> Cil_types.term
val visitFramacTermLval : frama_c_visitor -> Cil_types.term_lval -> Cil_types.term_lval
val visitFramacTermLhost : frama_c_visitor -> Cil_types.term_lhost -> Cil_types.term_lhost
val visitFramacTermOffset : frama_c_visitor -> Cil_types.term_offset -> Cil_types.term_offset
val visitFramacLogicInfo : frama_c_visitor -> Cil_types.logic_info -> Cil_types.logic_info
val visitFramacBehavior : frama_c_visitor -> Cil_types.funbehavior -> Cil_types.funbehavior
val visitFramacBehaviors : frama_c_visitor ->
Cil_types.funbehavior list -> Cil_types.funbehavior list
val visitFramacModelInfo : frama_c_visitor -> Cil_types.model_info -> Cil_types.model_info
val visitFramacExtended : frama_c_visitor ->
Cil_types.acsl_extension -> Cil_types.acsl_extension