package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Slicing.SlicingMacrosSource

This .mli exists mainly to facilitate 'make -j'. A lot of the get_ functions below should be inlined, as there is no good reason to treat those types as semi-private

Sourceval str_level_option : SlicingInternals.level_option -> string
Sourceval get_default_level_option : bool -> SlicingInternals.level_option
Sourceval fold_fi : ('a -> SlicingInternals.fct_info -> 'a) -> 'a -> 'a
Sourceval get_ff_id : SlicingInternals.fct_slice -> int
Sourceval fi_name : SlicingInternals.fct_info -> string
Sourceval ff_name : SlicingInternals.fct_slice -> string
Sourceval f_name : SlicingInternals.fct_id -> string
Sourceval ff_src_name : SlicingInternals.fct_slice -> string
Sourceval change_fi_slicing_level : SlicingInternals.fct_info -> SlicingInternals.level_option -> unit
Sourceval change_slicing_level : Frama_c_kernel.Kernel_function.t -> int -> unit
Sourceval is_call_stmt : Frama_c_kernel.Cil_types.stmt -> bool
Sourceval is_src_fun_called : Frama_c_kernel.Kernel_function.t -> bool
Sourceval is_src_fun_visible : Frama_c_kernel.Kernel_function.t -> bool
Sourceval fi_has_persistent_selection : SlicingInternals.fct_info -> bool
Sourceval has_persistent_selection : Frama_c_kernel.Kernel_function.t -> bool
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct