2017-07-05 20:30:18 -07:00
|
|
|
//
|
2019-03-04 23:13:42 -08:00
|
|
|
// Copyright (c) 2015-2019 Vinnie Falco (vinnie dot falco at gmail dot com)
|
2017-07-05 20:30:18 -07:00
|
|
|
//
|
|
|
|
// 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)
|
|
|
|
//
|
2017-07-20 13:40:34 -07:00
|
|
|
// Official repository: https://github.com/boostorg/beast
|
|
|
|
//
|
2017-07-05 20:30:18 -07:00
|
|
|
|
2017-07-20 13:40:34 -07:00
|
|
|
#ifndef BOOST_BEAST_CORE_FILE_HPP
|
|
|
|
#define BOOST_BEAST_CORE_FILE_HPP
|
2017-07-05 20:30:18 -07:00
|
|
|
|
2017-10-10 07:49:03 -07:00
|
|
|
#include <boost/beast/core/detail/config.hpp>
|
2017-07-20 13:40:34 -07:00
|
|
|
#include <boost/beast/core/file_base.hpp>
|
|
|
|
#include <boost/beast/core/file_posix.hpp>
|
|
|
|
#include <boost/beast/core/file_stdio.hpp>
|
|
|
|
#include <boost/beast/core/file_win32.hpp>
|
2017-07-05 20:30:18 -07:00
|
|
|
|
2017-07-20 13:40:34 -07:00
|
|
|
namespace boost {
|
2017-07-05 20:30:18 -07:00
|
|
|
namespace beast {
|
|
|
|
|
|
|
|
/** An implementation of File.
|
|
|
|
|
|
|
|
This alias is set to the best available implementation
|
2019-03-05 12:05:00 -08:00
|
|
|
of <em>File</em> given the platform and build settings.
|
2017-07-05 20:30:18 -07:00
|
|
|
*/
|
2017-07-20 13:40:34 -07:00
|
|
|
#if BOOST_BEAST_DOXYGEN
|
2017-07-08 01:30:53 -07:00
|
|
|
struct file : file_stdio
|
|
|
|
{
|
|
|
|
};
|
2017-07-06 03:59:33 -07:00
|
|
|
#else
|
2017-07-20 13:40:34 -07:00
|
|
|
#if BOOST_BEAST_USE_WIN32_FILE
|
2017-07-06 02:04:19 -07:00
|
|
|
using file = file_win32;
|
2017-07-20 13:40:34 -07:00
|
|
|
#elif BOOST_BEAST_USE_POSIX_FILE
|
2017-07-06 03:59:33 -07:00
|
|
|
using file = file_posix;
|
2017-07-06 02:04:19 -07:00
|
|
|
#else
|
2017-07-05 20:30:18 -07:00
|
|
|
using file = file_stdio;
|
2017-07-06 03:59:33 -07:00
|
|
|
#endif
|
2017-07-06 02:04:19 -07:00
|
|
|
#endif
|
|
|
|
|
2017-07-05 20:30:18 -07:00
|
|
|
} // beast
|
2017-07-20 13:40:34 -07:00
|
|
|
} // boost
|
2017-07-05 20:30:18 -07:00
|
|
|
|
|
|
|
#endif
|