/* This file is part of GNU epsilon, a functional language implementation

Copyright (C) 2003 Luca Saiu

GNU epsilon is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published
by the Free Software Foundation; either version 2, or (at your
option) any later version.

GNU epsilon is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
General Public License for more details.

You should have received a copy of the GNU General Public License
along with epsilon; see the file COPYING.  If not, write to the
Free Software Foundation, Inc., 59 Temple Place - Suite 330,
Boston, MA 02111-1307, USA. */


/* Code for the s_fileor instruction */

char* filename;
integer_t i;
integer_t size;

/* Convert top (the filename) into a C string: */
size = ((integer_t*)top)[0];
filename = (char*) xmalloc(sizeof(char) * (size + 1));
for(i = 0; i < size; i++)
     filename[i] = (char)(((integer_t*)top)[i + 1]);
filename[i] = '\0';

/* Open the file and put the FILE* into the I/O register: */
if((output_register = fopen(filename, "r")) == NULL)
  /* fopen() failed: */
  switch(errno){
  case ENOENT: {
    THROW(file_not_found_exception, NULL);
    break; /* just for uniformity */
  }
  case EACCES: case EPERM: {
    THROW(permission_denied_exception, NULL);
    break; /* just for uniformity */
  }
  default: {
    fprintf(stderr, "fopen() failed (%s)\n", strerror (errno));
    fprintf(stderr, "To do: deal with this case in s_fileor\n");
    THROW(unimplemented_exception, NULL);
  }
  } /* switch */


/* remove the filename from the stack: */
POP; 
/* Free the C filename string */
free(filename);
