source_completion_context (frama-c.Frama_c_gui.GSourceView.source_completion

method activation : SourceView3Enums.source_completion_activation_flags list

method add_proposals : source_completion_provider ->
  source_completion_proposal list ->
  bool ->
  unit

method as_source_completion_context : GtkSourceView3_types.source_completion_context
                                        Gtk.obj

method connect : source_completion_context_signals

method iter : GText.iter

method set_activation : SourceView3Enums.source_completion_activation_flags
                          list ->
  unit

method set_iter : GText.iter -> unit