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 (25)

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-31.0-Gallium.tar.gz

sha256=a94384f00d53791cbb4b4d83ab41607bc71962d42461f02d71116c4ff6dca567

doc/frama-c.gui/Frama_c_gui/GSourceView/class-source_buffer/index.html

Class `GSourceView.source_buffer`Source

inherit GText.buffer_skel

val obj : GtkSourceView3_types.source_buffer Gtk.obj

method as_source_buffer : GtkSourceView3_types.source_buffer Gtk.obj

method connect : source_buffer_signals

method misc : GObj.gobject_ops

method highlight_syntax : bool

method set_highlight_syntax : bool -> unit

method language : source_language option

method set_language : source_language option -> unit

method highlight_matching_brackets : bool

method set_highlight_matching_brackets : bool -> unit

method style_scheme : source_style_scheme option

method set_style_scheme : source_style_scheme option -> unit

method max_undo_levels : int

method set_max_undo_levels : int -> unit

method undo : unit -> unit

method redo : unit -> unit

method can_undo : bool

method can_redo : bool

method begin_not_undoable_action : unit -> unit

method end_not_undoable_action : unit -> unit

method create_source_mark : ?name:string ->
  ?category:string ->
  GText.iter ->
  source_mark

method source_marks_at_line : ?category:string -> int -> source_mark list

method source_marks_at_iter : ?category:string ->
  GText.iter ->
  source_mark list

method remove_source_marks : ?category:string ->
  start:GText.iter ->
  stop:GText.iter ->
  unit ->
  unit

method forward_iter_to_source_mark : ?category:string -> GText.iter -> bool

method backward_iter_to_source_mark : ?category:string -> GText.iter -> bool

method iter_has_context_class : GText.iter -> string -> bool

method iter_forward_to_context_class_toggle : GText.iter -> string -> bool

method iter_backward_to_context_class_toggle : GText.iter -> string -> bool

method ensure_highlight : start:GText.iter -> stop:GText.iter -> unit

method undo_manager : source_undo_manager

method set_undo_manager : source_undo_manager -> unit