package frama-c

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

Bullets in left-margins

  • since Nitrogen-20111001
val declare_markers : GSourceView.source_view -> unit

Declares the icons used for the property status bullets, as marks in the left-margin of the source buffer. These icons depend on the GUI theme, and must be reset when the theme is changed.

  • since Chlorine-20180501

offset is the offset of the character in the source buffer. The mark is put in the left-margin of the line corresponding to said character. call_site is the statement marked, if it is a call.