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')
30 Text_db::get_record ()
38 while ((s = get_word ()) != "")
45 if (get_line () != "")
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";