class visit_adding_code_for_synchronisation :
object
.. end
This visitor adds an auxiliary function for each C function which takes
care of setting the automaton in a correct state before calling the
original one, and replaces each occurrence of the original function by
the auxiliary one. It also takes care of changing the automaton at function's
return.
Inherits
val aux_post_table : Cil_types.varinfo Kernel_function.Hashtbl.t
method vglob_aux : Cil_types.global -> Cil_types.global list Cil.visitAction
method vstmt_aux : Cil_types.stmt -> Cil_types.stmt Cil.visitAction