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/GSourceView/class-source_view_signals/index.html

Class `GSourceView.source_view_signals`Source

inherit GText.view_signals

method line_mark_activated : callback:(Gtk.text_iter -> GdkEvent.any -> unit) ->
  GtkSignal.id

method move_lines : callback:(bool -> int -> unit) -> GtkSignal.id

method move_words : callback:(int -> unit) -> GtkSignal.id

method redo : callback:(unit -> unit) -> GtkSignal.id

method show_completion : callback:(unit -> unit) -> GtkSignal.id

method smart_home_end : callback:(Gtk.text_iter -> int -> unit) -> GtkSignal.id

method undo : callback:(unit -> unit) -> GtkSignal.id

method notify_auto_indent : callback:(bool -> unit) -> GtkSignal.id

method notify_highlight_current_line : callback:(bool -> unit) -> GtkSignal.id

method notify_indent_on_tab : callback:(bool -> unit) -> GtkSignal.id

method notify_indent_width : callback:(int -> unit) -> GtkSignal.id

method notify_insert_spaces_instead_of_tabs : callback:(bool -> unit) ->
  GtkSignal.id

method notify_right_margin_position : callback:(int -> unit) -> GtkSignal.id

method notify_show_line_marks : callback:(bool -> unit) -> GtkSignal.id

method notify_show_line_numbers : callback:(bool -> unit) -> GtkSignal.id

method notify_show_right_margin : callback:(bool -> unit) -> GtkSignal.id

method notify_smart_home_end : callback:
                                 (SourceView3Enums.source_smart_home_end_type ->
                                   unit) ->
  GtkSignal.id

method notify_tab_width : callback:(int -> unit) -> GtkSignal.id