package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
method as_source_language : GtkSourceView3_types.source_language Gtk.obj
method misc : GObj.gobject_ops
method hidden : bool
method id : string
method name : string
method section : string
method metadata : string -> string option
method mime_types : string list
method globs : string list
method style_name : string -> string option
method style_ids : string list