package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Api.Request`Source

Sourceval apply_all : propagate_to_callers:bool -> unit

Sourceval apply_all_internal : unit -> unit

Sourceval apply_next_internal : unit -> unit

Sourceval propagate_user_marks : unit -> unit

Sourceval copy_slice : Slice.t -> Slice.t

Sourceval split_slice : Slice.t -> Slice.t list

Sourceval merge_slices : Slice.t -> Slice.t -> replace:bool -> Slice.t

Sourceval add_call_slice : caller:Slice.t -> to_call:Slice.t -> unit

val add_call_fun : 
  caller:Slice.t ->
  to_call:Frama_c_kernel.Cil_types.kernel_function ->
  unit

val add_call_min_fun : 
  caller:Slice.t ->
  to_call:Frama_c_kernel.Cil_types.kernel_function ->
  unit

Sourceval add_selection : Select.set -> unit

Sourceval add_persistent_selection : Select.set -> unit

Sourceval add_persistent_cmdline : unit -> unit

Sourceval is_request_empty_internal : unit -> bool

Sourceval add_slice_selection_internal : Slice.t -> Select.t -> unit

Sourceval add_selection_internal : Select.t -> unit

Sourceval pretty : Format.formatter -> unit