src/parser/String_Token_Stream.cc
String_Token_Stream::String_Token_Stream(string const &text)
    : text_(text), pos_(0), messages_(std::string()) {
  Ensure(check_class_invariants());
  Ensure(whitespace() == Text_Token_Stream::default_whitespace);
  Ensure(this->text() == text);
  Ensure(messages() == "");
}
//------------------------------------------------------------------------------------------------//
/*!
 * Construct a String_Token_Stream that derives its text from the specified
 * string. Use the default Text_Token_Stream user-defined whitespace
 * characters.
 *
 * \param text Text to be tokenized.
 */
Construct a String_Token_Stream that derives its text from the specified
string. Use the default Text_Token_Stream user-defined whitespace
characters.

\param text Text to be tokenized.
Construct a String_Token_Stream that derives its text from the specified string . Use the default Text_Token_Stream user - defined whitespace characters . \ param text Text to be tokenized .
String_Token_Stream::String_Token_Stream(string const &text)
    : text_(text), pos_(0), messages_(std::string()) {
  Ensure(check_class_invariants());
  Ensure(whitespace() == Text_Token_Stream::default_whitespace);
  Ensure(this->text() == text);
  Ensure(messages() == "");
}
String_Token_Stream :: String_Token_Stream ( string const & text ) : text_ ( text ) , pos_ ( 0 ) , messages_ ( std :: string ( ) ) { Ensure ( check_class_invariants ( ) ) ; Ensure ( whitespace ( ) == Text_Token_Stream :: default_whitespace ) ; 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 .