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