VFS.h

/*************************************************************************
 *                                   *
 *   YAP Prolog                              *
 *                                   *
 *  Yap Prolog was developed at NCCUP - Universidade do Porto    *
 *                                   *
 * Copyright L.Damas, V.S.Costa and Universidade do Porto 1985-1997  *
 *                                   *
 **************************************************************************
 *                                   *
 * File:        VFS.h                        *
 * Last rev:    5/2/88                           *
 * mods: *
 * comments:    Virtual File System Access for YAP           *
 *                                   *
 *************************************************************************/
#ifndef VFS_H
#define VFS_H 1
#include <string.h>
#if HAVE_SYS_STAT_H
#include <sys/stat.h>
#endif
 
#ifdef _WIN32
#include <stdint.h>
#ifndef uid_t
#define uid_t int
#endif
#ifndef gid_t
#define gid_t int
#endif
#endif
 
#include <YapEncoding.h>
 
typedef struct {
  dev_t st_dev;                     /* ID of device containing file */
  mode_t st_mode;                   /* Mode of file (see below) */
  uid_t st_uid;                     /* User ID of the file */
  gid_t st_gid;                     /* Group ID of the file */
  struct timespec st_atimespec;     /* time of last access */
  struct timespec st_mtimespec;     /* time of last data modification */
  struct timespec st_ctimespec;     /* time of last status change */
  struct timespec st_birthtimespec; /* time of file creation(birth) */
#if __ANDROID__
  off64_t st_size; /* file size, in bytes */
#else
  off_t st_size; /* file size, in bytes */
#endif
} vfs_stat;
 
typedef enum vfs_flags {
    VFS_CAN_READ = 0x1,    
    VFS_CAN_WRITE = 0x2,    
  VFS_CAN_EXEC = 0x4,     
  VFS_CAN_SEEK = 0x8,     
  VFS_HAS_PREFIX = 0x10,   
  VFS_HAS_SUFFIX = 0x20,  
  VFS_HAS_FUNCTION = 0x40 
} vfs_flags_t;
 
typedef union {
  struct vfs *vfs;
  uintptr_t cell;
  size_t sz;
  void *pt;
  uintptr_t scalar;
#if __ANDROID__0
  AAssetManager *mgr;
  AAsset *asset;
#endif
} cell_size_t;
 
typedef struct vfs {
  const char *name; 
  uintptr_t vflags; 
  const char *prefix;
  const char *suffix;
  bool (*chDir)(struct vfs *me, const char *s);
  void *(*open)(struct vfs *, const char *fname,
                const char *io_mode,
        int sno); 
  bool (*close)(int sno);           
  int (*get_char)(int sno);         
  int (*get_wchar)(int sno);         
    int (*peek_char)(int sno);        
    int (*peek_wchar)(int sno);        
  int (*put_char)(int sno, int ch); 
  int (*put_wchar)(int sno, int ch); 
  void (*flush)(int sno);           
  int64_t (*seek)(int sno, int64_t offset,
                  int whence); 
  void *(*opendir)(struct vfs *,
                   const char *s); 
  const char *(*nextdir)(
      void *d); 
  bool (*closedir)(void *d);
  ; 
  bool (*stat)(struct vfs *, const char *s,
               vfs_stat *); 
  bool (*isdir)(struct vfs *, const char *s);  
  bool (*exists)(struct vfs *, const char *s); 
  bool (*chdir)(struct vfs *,
                const char *s); 
  encoding_t enc;               
  YAP_Term (*parsers)(int sno); // a set of parsers that can read the
                                // stream and generate a YAP_Term
  int (*writers)(int ch, int sno);
  void *priv;
  struct vfs *next;
} VFS_t;
 
extern VFS_t *GLOBAL_VFS;
 
extern void init_android_stream(void);
 
extern void Yap_InitStdStream(int sno, unsigned int flags, FILE *file,
                              VFS_t *vfsp);
 
static inline VFS_t *vfs_owner(const char *fname) {
  VFS_t *me = GLOBAL_VFS;
  int d;
  size_t sz0 = strlen(fname), sz;
 
  while (me) {
    bool p = true;
    if ((me->vflags & VFS_HAS_PREFIX) && p) {
      if (strstr(fname,me->prefix)==fname)
        return me;
    }
    if (me->vflags & VFS_HAS_SUFFIX && (sz = strlen(me->suffix)) &&
        (d = (sz0 - sz)) >= 0 && strcmp(fname + d, me->suffix) == 0) {
      return me;
    }
    me = me->next;
  }
  return NULL;
}
 
#endif