package frama-c

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

Describe items of Source and Properties.

  • since Nitrogen-20111001
val pp_stmt : bool -> Format.formatter -> Cil_types.stmt -> unit

prints "<instruction>" or "<instruction> (<file,line>)"

val pp_kinstr : bool -> Format.formatter -> Cil_types.kinstr -> unit

prints nothing for global, or " at <stmt>"

val pp_idpred : bool -> Format.formatter -> Cil_types.identified_predicate -> unit

prints the "'<labels>'" or the "(<location>)" of the predicate

val pp_region : bool -> Format.formatter -> Cil_types.from list -> unit

prints message "nothing" or the "'<names>'" or the "(<location>)" of the relation

val pp_named : Format.formatter -> Cil_types.predicate -> unit

prints the name of a named logic structure (if any), separated by ','.

val pp_for : Format.formatter -> string list -> unit

prints nothing or " for 'b1,...,bn'"

val pp_bhv : Format.formatter -> Cil_types.funbehavior -> unit

prints nothing for default behavior, and " for 'b'" otherwise

val pp_property : Format.formatter -> Property.t -> unit

prints an identified property

val property_kind_and_node : Property.t -> (string * string) option

Returns separately the kind and the node of a property. Returns None for unsupported property kinds. Used to output properties in csv files.

  • since 18.0-Argon
val status_feedback : Property_status.Feedback.t -> string

User-friendly description of property statuses.

  • since 18.0-Argon
type kf = [
  1. | `Always
  2. | `Never
  3. | `Context of Cil_types.kernel_function
]
val pp_localized : kf:kf -> ki:bool -> kloc:bool -> Format.formatter -> Property.t -> unit

prints more-or-less localized property

val pp_local : Format.formatter -> Property.t -> unit

completely local printer

val pp_compare : Property.t -> Property.t -> int

Computes a partial order compatible with pretty printing

val full_compare : Property.t -> Property.t -> int

Completes pp_compare with Property.compare

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