DEFINITION MODULE FOR "C" GtkSourceMark ;

(*
   m2-GTK4 - GtkSourceMark: a GtkTextMark with a category, used for
   gutter marks.  Mapped onto <gtksourceview/gtksourcemark.h>.
*)

FROM SYSTEM IMPORT ADDRESS;

EXPORT UNQUALIFIED
   GtkSourceMark,
   gtk_source_mark_new, gtk_source_mark_get_category,
   gtk_source_mark_next, gtk_source_mark_prev;

TYPE
   GtkSourceMark = ADDRESS;

(* GtkSourceMark *gtk_source_mark_new(const char *name, const char *category) *)
PROCEDURE gtk_source_mark_new (name, category: ARRAY OF CHAR) : GtkSourceMark;

(* const char *gtk_source_mark_get_category(GtkSourceMark *mark) *)
PROCEDURE gtk_source_mark_get_category (mark: GtkSourceMark) : ADDRESS;

(* GtkSourceMark *gtk_source_mark_next(GtkSourceMark *mark,
                                       const char *category) *)
PROCEDURE gtk_source_mark_next (mark: GtkSourceMark;
                                category: ARRAY OF CHAR) : ADDRESS;

(* GtkSourceMark *gtk_source_mark_prev(GtkSourceMark *mark,
                                       const char *category) *)
PROCEDURE gtk_source_mark_prev (mark: GtkSourceMark;
                                category: ARRAY OF CHAR) : ADDRESS;

END GtkSourceMark.