Frama-C API - custom_completion_provider
method activate_proposal : source_completion_proposal -> GText.iter -> bool
method info_widget : source_completion_proposal -> GObj.widget option
method matched : source_completion_context -> bool
method populate : source_completion_context -> unit
method start_iter : source_completion_context -> source_completion_proposal -> GText.iter -> bool
method update_info : source_completion_proposal -> source_completion_info -> unit