Class Variables_analysis.calls_collection

class calls_collection : ( object
Inherits
Visitor.frama_c_inplace


method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction
method vterm : Cil_types.term -> Cil_types.term Cil.visitAction
method vpredicate : Cil_types.predicate -> Cil_types.predicate Cil.visitAction
end : object ... end )

Inherits

Visitor.frama_c_inplace

method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction

method vterm : Cil_types.term -> Cil_types.term Cil.visitAction

method vpredicate : Cil_types.predicate -> Cil_types.predicate Cil.visitAction