Frama-C:
Plug-ins:
Libraries:

Frama-C API - source_mark

method as_source_mark : GtkSourceView3_types.source_mark Gtk.obj
method category : string option
method coerce : GText.mark
method next : ?category:string -> unit -> source_mark option
method prev : ?category:string -> unit -> source_mark option