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");
83 Data_file::data_get() {
85 if (!rawmode && c == '#') // gobble comment
87 while ((c = get()) != '\n' && !eof())
95 Only class member who uses text_file::get
98 /// read line, gobble '\n'
99 String Data_file::get_line()
104 while ((c = data_get()) != '\n' && !eof())
109 /// gobble stuff before first entry on a line.
111 Data_file::gobble_leading_white()