package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
method as_source_completion_provider : GtkSourceView3_types.source_completion_provider Gtk.obj
method icon : GdkPixbuf.pixbuf option
method name : string
method populate : source_completion_context -> unit
method matched : source_completion_context -> bool
method info_widget : source_completion_proposal -> GObj.widget option
method update_info : source_completion_proposal -> source_completion_info -> unit
method start_iter : source_completion_context -> source_completion_proposal -> GText.iter
method activate_proposal : source_completion_proposal -> GText.iter -> bool
method interactive_delay : int
method priority : int
OCaml

Innovation. Community. Security.