22 void Print(
const char* fmt, ...);
47 fgets(buffer, 980, stdin);
49 while (isspace(*p)) p++;
55 : filename(fname), done(0)
61 if (done)
return Text();
63 std::fstream fin(filename, std::fstream::in);
66 Print(
"ERROR(Parse): Could not open file '%s'\n", filename.
data());
71 char buf[1000], newline;
73 while (fin.get(buf, 1000)) {
86 : data((char*) block), done(0), length(0)
90 : data((char*) block), done(0), length(len)
96 if (done)
return Text();
99 Text result(data, length);