src/parser/Parallel_File_Token_Stream.cc
Parallel_File_Token_Stream::Parallel_File_Token_Stream(string const &file_name)
    : Text_Token_Stream(), letters_(), letter_(make_shared<letter>(file_name)) {
  Ensure(check_class_invariants());
  Ensure(Parallel_File_Token_Stream::location_() == file_name + ", line 1");
}
//------------------------------------------------------------------------------------------------//
/*!
 * \brief Construct a Parallel_File_Token_Stream
 *
 * The constructed object derives its text from the specified file. This
 * Parallel_File_Token_Stream will use the default Text_Token_Stream breaking
 * whitespace characters. If the file cannot be opened, then an exception is
 * thrown.
 *
 * \param[in] file_name Name of the file from which to extract tokens.
 * \throw std::invalid_argument If the file cannot be opened.
 *
 * \todo Make this constructor more failsafe.
 */
\brief Construct a Parallel_File_Token_Stream
The constructed object derives its text from the specified file. This
Parallel_File_Token_Stream will use the default Text_Token_Stream breaking
whitespace characters. If the file cannot be opened, then an exception is
thrown.

\param[in] file_name Name of the file from which to extract tokens.
\throw std::invalid_argument If the file cannot be opened.

\todo Make this constructor more failsafe.
\ brief Construct a Parallel_File_Token_Stream The constructed object derives its text from the specified file . This Parallel_File_Token_Stream will use the default Text_Token_Stream breaking whitespace characters . If the file cannot be opened then an exception is thrown . \ param [ in ] file_name Name of the file from which to extract tokens . \ throw std :: invalid_argument If the file cannot be opened . \ todo Make this constructor more failsafe .
Parallel_File_Token_Stream::Parallel_File_Token_Stream(string const &file_name)
    : Text_Token_Stream(), letters_(), letter_(make_shared<letter>(file_name)) {
  Ensure(check_class_invariants());
  Ensure(Parallel_File_Token_Stream::location_() == file_name + ", line 1");
}
Parallel_File_Token_Stream :: Parallel_File_Token_Stream ( string const & file_name ) : Text_Token_Stream ( ) , letters_ ( ) , letter_ ( make_shared < letter > ( file_name ) ) { Ensure ( check_class_invariants ( ) ) ; Ensure ( Parallel_File_Token_Stream :: location_ ( ) == file_name + " " ) ; }
\brief Construct a Parallel_File_Token_Stream
 The constructed object derives its text from the specified file.
\ brief Construct a Parallel_File_Token_Stream The constructed object derives its text from the specified file .