package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

sha256=d2fbb3b8d0ff83945872e9e6fa258e934a706360e698dae3b4d5f971addf7493

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 activation : SourceView3Enums.source_completion_activation_flags list

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