///
Pimpl(keyword_item * tab, int num);
///
- string const getString() const;
+ std::string const getString() const;
///
- void printError(string const & message) const;
+ void printError(std::string const & message) const;
///
void printTable(std::ostream & os);
///
///
void popTable();
///
- bool setFile(string const & filename);
+ bool setFile(std::string const & filename);
///
void setStream(std::istream & i);
///
///
bool nextToken();
///
- void pushToken(string const &);
- /// fb__ is only used to open files, the stream is accessed through is.
- std::filebuf fb__;
- /// gz__ is only used to open files, the stream is accessed through is.
- gz::gzstreambuf gz__;
+ void pushToken(std::string const &);
+ /// fb_ is only used to open files, the stream is accessed through is.
+ std::filebuf fb_;
+ /// gz_ is only used to open files, the stream is accessed through is.
+ gz::gzstreambuf gz_;
/// the stream that we use.
std::istream is;
///
- string name;
+ std::string name;
///
keyword_item * table;
///
///
int lineno;
///
- string pushTok;
+ std::string pushTok;
///
char commentChar;
private: