module Label: sig
.. end
Move all labels of the old
stmt onto the new stmt
.
Both stmts must be in the new project.
val move : Visitor.generic_frama_c_visitor ->
old:Cil_types.stmt -> Cil_types.stmt -> unit
Move all labels of the old
stmt onto the new stmt
.
Both stmts must be in the new project.
val get_stmt : Visitor.generic_frama_c_visitor -> Cil_types.logic_label -> Cil_types.stmt
Returns the statement where the logic label points to.
val new_labeled_stmt : Cil_types.stmt -> Cil_types.stmt
Returns the labeled stmt to use instead of the given one (which
previously contained a label
val self : State.t
Internal state