package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
include Frama_c_kernel.Printer_api.S_pp
val pp_varname : Format.formatter -> string -> unit

Printer for C constructs

Printer for ACSL constructs

  • since Oxygen-20120901
val pp_logic_builtin_label : Format.formatter -> Frama_c_kernel.Cil_types.logic_builtin_label -> unit
val pp_builtin_logic_info : Format.formatter -> Frama_c_kernel.Cil_types.builtin_logic_info -> unit
  • since 21.0-Scandium
val pp_toplevel_predicate : Format.formatter -> Frama_c_kernel.Cil_types.toplevel_predicate -> unit
  • since 22.0-Titanium
val pp_identified_predicate : Format.formatter -> Frama_c_kernel.Cil_types.identified_predicate -> unit
val pp_global_annotation : Format.formatter -> Frama_c_kernel.Cil_types.global_annotation -> unit
  • since Oxygen-20120901
val pp_loop_from : Format.formatter -> Frama_c_kernel.Cil_types.from -> unit
val pp_loop_assigns : Format.formatter -> Frama_c_kernel.Cil_types.assigns -> unit
val pp_loop_allocation : Format.formatter -> Frama_c_kernel.Cil_types.allocation -> unit
  • since Oxygen-20120901
val pp_post_cond : Format.formatter -> (Frama_c_kernel.Cil_types.termination_kind * Frama_c_kernel.Cil_types.identified_predicate) -> unit

General form of printers

val pp_full_assigns : string -> Format.formatter -> Frama_c_kernel.Cil_types.assigns -> unit

first parameter is the introducing keyword (e.g. loop_assigns or assigns).

val without_annot : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a -> unit

without_annot printer fmt x pretty prints x by using printer, without pretty-printing its function contracts and code annotations.

val force_brace : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a -> unit

self#force_brace printer fmt x pretty prints x by using printer, but add some extra braces '{' and '}' which are hidden by default.

val with_unfold_precond : (Frama_c_kernel.Cil_types.stmt -> bool) -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a -> 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