Chris@10: /* Chris@10: * Copyright (c) 2003, 2007-11 Matteo Frigo Chris@10: * Copyright (c) 2003, 2007-11 Massachusetts Institute of Technology Chris@10: * Chris@10: * This program is free software; you can redistribute it and/or modify Chris@10: * it under the terms of the GNU General Public License as published by Chris@10: * the Free Software Foundation; either version 2 of the License, or Chris@10: * (at your option) any later version. Chris@10: * Chris@10: * This program is distributed in the hope that it will be useful, Chris@10: * but WITHOUT ANY WARRANTY; without even the implied warranty of Chris@10: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the Chris@10: * GNU General Public License for more details. Chris@10: * Chris@10: * You should have received a copy of the GNU General Public License Chris@10: * along with this program; if not, write to the Free Software Chris@10: * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA Chris@10: * Chris@10: */ Chris@10: Chris@10: #include "api.h" Chris@10: #include Chris@10: Chris@10: /* getc()/putc() are *unbelievably* slow on linux. Looks like glibc Chris@10: is grabbing a lock for each call to getc()/putc(), or something Chris@10: like that. You pay the price for these idiotic posix threads Chris@10: whether you use them or not. Chris@10: Chris@10: So, we do our own buffering. This completely defeats the purpose Chris@10: of having stdio in the first place, of course. Chris@10: */ Chris@10: Chris@10: #define BUFSZ 256 Chris@10: Chris@10: typedef struct { Chris@10: scanner super; Chris@10: FILE *f; Chris@10: char buf[BUFSZ]; Chris@10: char *bufr, *bufw; Chris@10: } S; Chris@10: Chris@10: static int getchr_file(scanner * sc_) Chris@10: { Chris@10: S *sc = (S *) sc_; Chris@10: Chris@10: if (sc->bufr >= sc->bufw) { Chris@10: sc->bufr = sc->buf; Chris@10: sc->bufw = sc->buf + fread(sc->buf, 1, BUFSZ, sc->f); Chris@10: if (sc->bufr >= sc->bufw) Chris@10: return EOF; Chris@10: } Chris@10: Chris@10: return *(sc->bufr++); Chris@10: } Chris@10: Chris@10: static scanner *mkscanner_file(FILE *f) Chris@10: { Chris@10: S *sc = (S *) X(mkscanner)(sizeof(S), getchr_file); Chris@10: sc->f = f; Chris@10: sc->bufr = sc->bufw = sc->buf; Chris@10: return &sc->super; Chris@10: } Chris@10: Chris@10: int X(import_wisdom_from_file)(FILE *input_file) Chris@10: { Chris@10: scanner *s = mkscanner_file(input_file); Chris@10: planner *plnr = X(the_planner)(); Chris@10: int ret = plnr->adt->imprt(plnr, s); Chris@10: X(scanner_destroy)(s); Chris@10: return ret; Chris@10: } Chris@10: Chris@10: int X(import_wisdom_from_filename)(const char *filename) Chris@10: { Chris@10: FILE *f = fopen(filename, "r"); Chris@10: int ret; Chris@10: if (!f) return 0; /* error opening file */ Chris@10: ret = X(import_wisdom_from_file)(f); Chris@10: if (fclose(f)) ret = 0; /* error closing file */ Chris@10: return ret; Chris@10: }