src/parser/Console_Token_Stream.cc
Console_Token_Stream::Console_Token_Stream(set<char> const &ws, bool const no_nonbreaking_ws)
    : Text_Token_Stream(ws, no_nonbreaking_ws) {
  Ensure(check_class_invariants());
  Ensure(Console_Token_Stream::location_() == "input");
  Ensure(whitespace() == ws);
  Ensure(this->no_nonbreaking_ws() == no_nonbreaking_ws);
}
//------------------------------------------------------------------------------------------------//
/*!
 * \param ws User-defined whitespace characters.
 *
 * \param no_nonbreaking_ws Treat spaces and tabs as breaking whitespace. This
 *           has the effect of forcing all keywords to consist of a single
 *           identifier.
 */
\param ws User-defined whitespace characters.
\param no_nonbreaking_ws Treat spaces and tabs as breaking whitespace. This
has the effect of forcing all keywords to consist of a single
identifier.
\ param ws User - defined whitespace characters . \ param no_nonbreaking_ws Treat spaces and tabs as breaking whitespace . This has the effect of forcing all keywords to consist of a single identifier .
Console_Token_Stream::Console_Token_Stream(set<char> const &ws, bool const no_nonbreaking_ws)
    : Text_Token_Stream(ws, no_nonbreaking_ws) {
  Ensure(check_class_invariants());
  Ensure(Console_Token_Stream::location_() == "input");
  Ensure(whitespace() == ws);
  Ensure(this->no_nonbreaking_ws() == no_nonbreaking_ws);
}
Console_Token_Stream :: Console_Token_Stream ( set < char > const & ws , bool const no_nonbreaking_ws ) : Text_Token_Stream ( ws , no_nonbreaking_ws ) { Ensure ( check_class_invariants ( ) ) ; Ensure ( Console_Token_Stream :: location_ ( ) == " " ) ; Ensure ( whitespace ( ) == ws ) ; Ensure ( this -> no_nonbreaking_ws ( ) == no_nonbreaking_ws ) ; }
\param ws User-defined whitespace characters.
\ param ws User - defined whitespace characters .