package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

This class adds loop allocates clauses to all the statements it visits.

method frama_c_plain_copy : Frama_c_kernel.Visitor.frama_c_visitor

same as plain_copy_visitor but for frama-c specific methods

method current_kf : Frama_c_kernel.Cil_types.kernel_function option

link to the kernel function currently being visited. NB: for copy visitors, the link is to the original kf (anyway, the new kf is created only after the visit is over).

method set_current_kf : Frama_c_kernel.Cil_types.kernel_function -> unit

Internal use only.

method reset_current_kf : unit -> unit

Internal use only.