package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
val obj : GtkSourceView3_types.source_buffer Gtk.obj
method add_selection_clipboard : GData.clipboard -> unit
method apply_tag : GText.tag -> start:GText.iter -> stop:GText.iter -> unit
method apply_tag_by_name : string -> start:GText.iter -> stop:GText.iter -> unit
method as_buffer : Gtk.text_buffer
method as_source_buffer : GtkSourceView3_types.source_buffer Gtk.obj
method backward_iter_to_source_mark : ?category:string -> GText.iter -> bool
method begin_not_undoable_action : unit -> unit
method begin_user_action : unit -> unit
method bounds : GText.iter * GText.iter
method can_redo : bool
method can_undo : bool
method char_count : int
method connect : source_buffer_signals
method copy_clipboard : GData.clipboard -> unit
method create_child_anchor : GText.iter -> GText.child_anchor
method create_mark : ?name:string -> ?left_gravity:bool -> GText.iter -> Gtk.text_mark
method create_source_mark : ?name:string -> ?category:string -> GText.iter -> source_mark
method create_tag : ?name:string -> GText.tag_property list -> GText.tag
method cursor_position : int
method cut_clipboard : ?default_editable:bool -> GData.clipboard -> unit
method delete : start:GText.iter -> stop:GText.iter -> unit
method delete_interactive : start:GText.iter -> stop:GText.iter -> ?default_editable:bool -> unit -> bool
method delete_mark : GText.mark -> unit
method delete_selection : ?interactive:bool -> ?default_editable:bool -> unit -> bool
method end_iter : GText.iter
method end_not_undoable_action : unit -> unit
method end_user_action : unit -> unit
method ensure_highlight : start:GText.iter -> stop:GText.iter -> unit
method forward_iter_to_source_mark : ?category:string -> GText.iter -> bool
method get_iter : GText.position -> GText.iter
method get_iter_at_byte : line:int -> int -> GText.iter
method get_iter_at_char : ?line:int -> int -> GText.iter
method get_iter_at_mark : GText.mark -> GText.iter
method get_mark : GText.mark -> Gtk.text_mark
method get_oid : int
method get_text : ?start:GText.iter -> ?stop:GText.iter -> ?slice:bool -> ?visible:bool -> unit -> string
method has_selection : bool
method highlight_matching_brackets : bool
method highlight_syntax : bool
method insert : ?iter:GText.iter -> ?tag_names:string list -> ?tags:GText.tag list -> string -> unit
method insert_child_anchor : GText.iter -> GText.child_anchor -> unit
method insert_interactive : ?iter:GText.iter -> ?default_editable:bool -> string -> bool
method insert_pixbuf : iter:GText.iter -> pixbuf:GdkPixbuf.pixbuf -> unit
method insert_range : iter:GText.iter -> start:GText.iter -> stop:GText.iter -> unit
method insert_range_interactive : iter:GText.iter -> start:GText.iter -> stop:GText.iter -> ?default_editable:bool -> unit -> bool
method iter_backward_to_context_class_toggle : GText.iter -> string -> bool
method iter_forward_to_context_class_toggle : GText.iter -> string -> bool
method iter_has_context_class : GText.iter -> string -> bool
method language : source_language option
method line_count : int
method max_undo_levels : int
method misc : GObj.gobject_ops
method modified : bool
method move_mark : GText.mark -> where:GText.iter -> unit
method paste_clipboard : ?iter:GText.iter -> ?default_editable:bool -> GData.clipboard -> unit
method place_cursor : where:GText.iter -> unit
method redo : unit -> unit
method remove_all_tags : start:GText.iter -> stop:GText.iter -> unit
method remove_selection_clipboard : GData.clipboard -> unit
method remove_source_marks : ?category:string -> start:GText.iter -> stop:GText.iter -> unit -> unit
method remove_tag : GText.tag -> start:GText.iter -> stop:GText.iter -> unit
method remove_tag_by_name : string -> start:GText.iter -> stop:GText.iter -> unit
method select_range : GText.iter -> GText.iter -> unit
method selection_bounds : GText.iter * GText.iter
method set_highlight_matching_brackets : bool -> unit
method set_highlight_syntax : bool -> unit
method set_language : source_language option -> unit
method set_max_undo_levels : int -> unit
method set_modified : bool -> unit
method set_style_scheme : source_style_scheme option -> unit
method set_text : string -> unit
method set_undo_manager : source_undo_manager -> unit
method source_marks_at_iter : ?category:string -> GText.iter -> source_mark list
method source_marks_at_line : ?category:string -> int -> source_mark list
method start_iter : GText.iter
method style_scheme : source_style_scheme option
method tag_table : Gtk.text_tag_table
method undo : unit -> unit
method undo_manager : source_undo_manager
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