Frama-C:
Plug-ins:
Libraries:

Frama-C API - source_language

method as_source_language : GtkSourceView3_types.source_language Gtk.obj
method globs : string list
method hidden : bool
method id : string
method metadata : string -> string option
method mime_types : string list
method misc : GObj.gobject_ops
method name : string
method section : string
method style_ids : string list
method style_name : string -> string option