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.
Change in Sulfur-20171101: the optional argument and the related deprecated option -slice-print have been removed.
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.