class lex_string { istrstream* is; public: inline lex_string(char *s ) { is = new istrstream(s); } inline ~lex_string() { //is->close(); //cerr << "Closing:" << name << endl; if (is) delete is; } istream* stream() { return is; } inline void process(iter<term>* l) { (*l)(); } };