Api (frama-c-slicing.Slicing.Api)

Global setting.

val self : Frama_c_kernel.State.t

Internal state of the slicing tool from project viewpoints.

val set_modes : 
  ?calls:SlicingParameters.Mode.Calls.t ->
  ?callers:SlicingParameters.Mode.Callers.t ->
  ?sliceUndef:SlicingParameters.Mode.SliceUndef.t ->
  ?keepAnnotations:SlicingParameters.Mode.KeepAnnotations.t ->
  unit ->
  unit

Set the used slicing modes.

module Project : sig ... end

module Mark : sig ... end

module Select : sig ... end

module Slice : sig ... end

module Request : sig ... end

Global data management

val split_slice : Slice.t -> Slice.t list

val merge_slices : Slice.t -> Slice.t -> replace:bool -> Slice.t

val copy_slice : Slice.t -> Slice.t