DEFINITION MODULE FOR "C" GFile ;

(*
   m2-GTK4 - GFile: an abstract file handle (local path or URI).
   Mapped onto <gio/gfile.h>.

   GFile is an interface; the functions here are the static
   constructors and accessors.  g_file_get_basename(), g_file_get_path()
   and g_file_get_uri() return newly allocated strings that must be
   released with GLib.g_free().  A GFile is a GObject: release it with
   GObject.g_object_unref().
*)

FROM SYSTEM IMPORT ADDRESS;

EXPORT UNQUALIFIED
   GFile,
   g_file_new_for_path, g_file_new_for_uri,
   g_file_get_basename, g_file_get_path, g_file_get_uri,
   g_file_query_exists, g_file_delete;


TYPE
   GFile = ADDRESS;

(* GFile *g_file_new_for_path(const char *path) *)
PROCEDURE g_file_new_for_path (path: ARRAY OF CHAR) : GFile;

(* GFile *g_file_new_for_uri(const char *uri) *)
PROCEDURE g_file_new_for_uri (uri: ARRAY OF CHAR) : GFile;

(* char *g_file_get_basename(GFile *file) *)
PROCEDURE g_file_get_basename (file: GFile) : ADDRESS;

(* char *g_file_get_path(GFile *file) *)
PROCEDURE g_file_get_path (file: GFile) : ADDRESS;

(* char *g_file_get_uri(GFile *file) *)
PROCEDURE g_file_get_uri (file: GFile) : ADDRESS;

(* gboolean g_file_query_exists(GFile *file, GCancellable *cancellable) *)
PROCEDURE g_file_query_exists (file: GFile; cancellable: ADDRESS) : [ INTEGER ];

(* gboolean g_file_delete(GFile *file, GCancellable *cancellable, GError **error) *)
PROCEDURE g_file_delete (file: GFile; cancellable: ADDRESS;
                         error: ADDRESS) : [ INTEGER ];

END GFile.