Frama-C:
Plug-ins:
Libraries:

Frama-C API - source_completion_provider

method activate_proposal : source_completion_proposal -> GText.iter -> bool
method activation : SourceView3Enums.source_completion_activation_flags list
method as_source_completion_provider : GtkSourceView3_types.source_completion_provider Gtk.obj
method icon : GdkPixbuf.pixbuf option
method info_widget : source_completion_proposal -> GObj.widget option
method interactive_delay : int
method matched : source_completion_context -> bool
method name : string
method populate : source_completion_context -> unit
method priority : int
method start_iter : source_completion_context -> source_completion_proposal -> GText.iter
method update_info : source_completion_proposal -> source_completion_info -> unit