| // 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>()); |
| } |
| |