package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

Dune Dependency

frama-c.com Readme Edit opam file Versions (23)

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-29.0-Copper.tar.gz

sha256=d2fbb3b8d0ff83945872e9e6fa258e934a706360e698dae3b4d5f971addf7493

doc/frama-c.gui/Frama_c_gui/Gui_printers/index.html

Module `Frama_c_gui.Gui_printers`Source

Special pretty-printers for the GUI. Some sub-elements are annotated by format tags, in order to make them reactive.

Source

val get_type_specifier : 
  Frama_c_kernel.Cil_types.typ ->
  Frama_c_kernel.Cil_types.typ

Returns the base type for a pointer/array, otherwise t itself. E.g. for t = int***, returns int.

Sourceval pp_typ : Format.formatter -> Frama_c_kernel.Cil_types.typ -> unit

Same as Printer.pp_typ, except that the type is output between Format tags @{<link:typN>}, that are recognized by the GUI.

Sourceval pp_typ_unfolded : Format.formatter -> Frama_c_kernel.Cil_types.typ -> unit

Pretty-prints a type, unfolding it once if it is a typedef, enum, struct or union.

Sourcemodule LinkPrinter : Frama_c_kernel.Printer.PrinterExtension

Special pretty-printer that outputs tags link:vidN around varinfos, and link:typN around types.

Sourceexception NoMatch

Sourceval varinfo_of_link : string -> Frama_c_kernel.Cil_types.varinfo

Convert a string of the form link:vidN into the varinfo of vid N. This varinfo must have been printed by a pretty-printer extended with LinkPrinter. Raise NoMatch if the link is not of the form link:vidN.

Sourceval typ_of_link : string -> Frama_c_kernel.Cil_types.typ

Convert a string of the form link:typN into a type. The association between N and the type is done by printing the type once using pp_typ, or by using a printer extended with LinkPrinter. Raise NoMatch if the link is not of the form link:typN.

Sourceval loc_of_link : string -> Frama_c_kernel.Cil_types.location

Convert a string of the form link:locN into the location of id N. This location must have been printed by a pretty-printer extended with LinkPrinter. Raise NoMatch if the link is not of the form link:locN.