1234567891011121314151617181920212223242526 |
- // Copyright (c) 2001-2010 Hartmut Kaiser
- // Copyright (c) 2001-2007 Joel de Guzman
- //
- // Distributed under the Boost Software License, Version 1.0. (See accompanying
- // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- #include <iostream>
- #include <fstream>
- #include <string>
- ///////////////////////////////////////////////////////////////////////////////
- // Helper function reading a file into a string
- ///////////////////////////////////////////////////////////////////////////////
- inline std::string
- read_from_file(char const* infile)
- {
- std::ifstream instream(infile);
- if (!instream.is_open()) {
- std::cerr << "Couldn't open file: " << infile << std::endl;
- exit(-1);
- }
- instream.unsetf(std::ios::skipws); // No white space skipping!
- return std::string(std::istreambuf_iterator<char>(instream.rdbuf()),
- std::istreambuf_iterator<char>());
- }
|