Module Slicing.Api

module Api: sig .. end

Slicing API.


val self : State.t

Internal state of the slicing tool from project viewpoints.

val set_modes : ?calls:int ->
?callers:bool -> ?sliceUndef:bool -> ?keepAnnotations:bool -> unit -> unit

Sets slicing parameters related to command line options -slicing-level, -slice-callers, -slice-undef-functions, -slicing-keep-annotations.

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

Function slice.

module Request: sig .. end

Requests for slicing jobs.