src/parser/String_Token_Stream.cc
void String_Token_Stream::comment(string const &message) {
  messages_ += message + '\n';

  Ensure(check_class_invariants());
}
//------------------------------------------------------------------------------------------------//
/*!
 * This function sends a message by writing it to an internal string..
 *
 * This version prints no location information.
 */
This function sends a message by writing it to an internal string
This version prints no location information.
This function sends a message by writing it to an internal string This version prints no location information .
void String_Token_Stream::comment(string const &message) {
  messages_ += message + '\n';
  Ensure(check_class_invariants());
}
void String_Token_Stream :: comment ( string const & message ) { messages_ += message + ' \n ' ; Ensure ( check_class_invariants ( ) ) ; }
This function sends a message by writing it to an internal string..
This function sends a message by writing it to an internal string ..