module Api:sig
..end
val self : 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
Slicing project management.
module Mark:sig
..end
Access to slicing results.
module Select:sig
..end
Slicing selections.
module Slice:sig
..end
Slice
module Request:sig
..end
Slicing request
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