#include "../context.h"
#interface "SysRead.h"

// ----
// typedef struct FileRead<Type, Isa> impl SysRead {
//   struct file* f;
//   int r;
//   __code cbc_fileread1(Type* file_read, struct file* f,int r,__code next(r,...));
//   __code next(...);
// } FileRead;
// ----

SysRead* createFileReadInstFromFile(struct Context* cbc_context, struct file* f,char* addr, int n) {
   if (f->type == FD_PIPE) {
       return create_piperead(cbc_context, f->pipe, addr, n, next);
   }

   if (f->type == FD_INODE) {
       ilock(f->ip);
       return create_readi(cbc_context, f->ip, addr, f->off, n, cbc_fileread1);
   }
   return NULL; //Error?
}

__code selectReadInstance(struct Context cbc_context, struct file* f, __code ret(int i)) {
   if (f->readable == 0) {
     i = -1;
     goto ret(i);
   }
   SysRead* read = createFileReadInstFromFile(proc->cbc_context, f);
   goto read->read(f,addr,n);
}