104   void do_cell( const string & test_case, int i )  in do_cell()  argument
106     string temp = column[i]->cell_value(path(test_case));  in do_cell()
133   void do_row( const string & test_case )  in do_row()  argument
137     if (test_case.empty())  in do_row()
140       outfile << "<td><code>" << test_case << "</code></td>\n";  in do_row()
144       do_cell( test_case, i );  in do_row()
176     string test_case;  in do_table()  local
177     while ( std::getline( infile, test_case ) )  in do_table()
179       if (!test_case.empty() && *--test_case.end() == '\r')  in do_table()
180         test_case.erase(test_case.size()-1);  in do_table()
181       if (test_case.empty() || test_case[0] != '#')  in do_table()
182         do_row( test_case );  in do_table()