package frama-c

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

Module Slicing.SlicingActionsSource

Sourcetype n_or_d_marks

selection mode (ie which mark to associate to the node and how to propagate in the different kinds of dependencies)

Sourceval build_simple_node_selection : ?nd_marks:n_or_d_marks -> SlicingTypes.sl_mark -> n_or_d_marks
Sourceval build_addr_dpds_selection : ?nd_marks:n_or_d_marks -> SlicingTypes.sl_mark -> n_or_d_marks
Sourceval build_data_dpds_selection : ?nd_marks:n_or_d_marks -> SlicingTypes.sl_mark -> n_or_d_marks
Sourceval build_ctrl_dpds_selection : ?nd_marks:n_or_d_marks -> SlicingTypes.sl_mark -> n_or_d_marks
Sourceval build_node_and_dpds_selection : ?nd_marks:n_or_d_marks -> SlicingTypes.sl_mark -> n_or_d_marks
Sourceval translate_crit_to_select : Pdg.Api.t -> ?to_select:select -> ((Pdg_types.PdgTypes.Node.t * Frama_c_kernel.Locations.Zone.t option) list * n_or_d_marks) list -> select
Sourceval print_nd_and_mark_list : Format.formatter -> n_or_d_marks -> unit

Printing

Sourceval print_nodes : Format.formatter -> Pdg_types.PdgTypes.Node.t list -> unit
Sourceval print_sel_marks_list : Format.formatter -> select -> unit
Sourceval print_list_crit : Format.formatter -> SlicingInternals.criterion list -> unit
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