Module Api

module Api: sig .. end

Global setting.


val self : State.t

Internal state of the slicing tool from project viewpoints.

Functions with journalized side effects

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

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