Module Label

module Label: sig .. end

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
val new_labeled_stmt : Cil_types.stmt -> Cil_types.stmt
val self : State.t

Internal state