src/parser/String_Token_Stream.cc
String_Token_Stream::String_Token_Stream(string const &text, set<char> const &ws,
                                         bool const no_nonbreaking_ws)
    : Text_Token_Stream(ws, no_nonbreaking_ws), text_(text), pos_(0), messages_(std::string()) {
  Ensure(check_class_invariants());
  Ensure(whitespace() == ws);
  Ensure(this->text() == text);
  Ensure(messages() == "");
}
//------------------------------------------------------------------------------------------------//
/*!
 * Construct a String_Token_Stream that derives its text from the specified
 * string.
 *
 * \param text Text from which to extract tokens.
 * \param ws Points to a string containing user-defined whitespace characters.
 * \param no_nonbreaking_ws Causes spaces and tabs to be treated as
 *        breaking whitespace. This has the effect of forcing all keywords to
 *        consist of a single identifier.
 */
Construct a String_Token_Stream that derives its text from the specified
string.

\param text Text from which to extract tokens.
\param ws Points to a string containing user-defined whitespace characters.
\param no_nonbreaking_ws Causes spaces and tabs to be treated as
breaking whitespace. This has the effect of forcing all keywords to
consist of a single identifier.
Construct a String_Token_Stream that derives its text from the specified string . \ param text Text from which to extract tokens . \ param ws Points to a string containing user - defined whitespace characters . \ param no_nonbreaking_ws Causes spaces and tabs to be treated as breaking whitespace . This has the effect of forcing all keywords to consist of a single identifier .
String_Token_Stream::String_Token_Stream(string const &text, set<char> const &ws,
                                         bool const no_nonbreaking_ws)
    : Text_Token_Stream(ws, no_nonbreaking_ws), text_(text), pos_(0), messages_(std::string()) {
  Ensure(check_class_invariants());
  Ensure(whitespace() == ws);
  Ensure(this->text() == text);
  Ensure(messages() == "");
}
String_Token_Stream :: String_Token_Stream ( string const & text , set < char > const & ws , bool const no_nonbreaking_ws ) : Text_Token_Stream ( ws , no_nonbreaking_ws ) , text_ ( text ) , pos_ ( 0 ) , messages_ ( std :: string ( ) ) { Ensure ( check_class_invariants ( ) ) ; Ensure ( whitespace ( ) == ws ) ; Ensure ( this -> text ( ) == text ) ; Ensure ( messages ( ) == " " ) ; }
Construct a String_Token_Stream that derives its text from the specified
 string.
Construct a String_Token_Stream that derives its text from the specified string .