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";