Frama-C API - source_completion_context
method add_proposals : source_completion_provider -> source_completion_proposal list -> bool -> unit
method connect : source_completion_context_signals
source_completion_context
method add_proposals : source_completion_provider -> source_completion_proposal list -> bool -> unit
method connect : source_completion_context_signals