7 Data_file::gobble_leading_white();
8 return Data_file::eof_b();
12 Text_db::gobble_leading_white()
16 Data_file::gobble_leading_white();
20 if ((c = data_get()) !='\n')
38 while ((s = get_word()) != "")
48 assert (fields.size());
49 return Text_record (fields, get_name(), line ());
55 Text_record::message (String s)
57 cerr << '\n'<< filename << ": "<< line_no << s << "\n";