5 Text_stream::Text_stream(String fn)
20 cerr <<__FUNCTION__<< ": can't open `" << fn << "'\n";
28 Text_stream::message(String s)
30 cerr << "\n"<<get_name() << ": " << line()<<": "<<s<<endl;
34 Data_file::gobble_white()
38 while ((c=data_get()) == ' ' ||c == '\t')
47 {// should handle escape seq's
54 if (isspace(c) || eof())
65 while ((c = data_get()) != '\"')
67 error("EOF in a string");
82 Only class member who uses text_file::get
85 Data_file::data_get() {
87 if (!rawmode && c == '#') // gobble comment
89 while ((c = get()) != '\n' && !eof())
97 /// read line, gobble '\n'
98 String Data_file::get_line()
103 while ((c = data_get()) != '\n' && !eof())
108 /// gobble stuff before first entry on a line.
110 Data_file::gobble_leading_white()