1b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===//
2b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//
3b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//                     The LLVM Compiler Infrastructure
4b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//
5b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// This file is dual licensed under the MIT and the University of Illinois Open
6b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// Source Licenses. See LICENSE.TXT for details.
7b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//
8b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===//
9b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
10b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// <fstream>
11b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
12b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// template <class charT, class traits = char_traits<charT> >
13b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// class basic_ofstream
14b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//     : public basic_ostream<charT,traits>
15b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// {
16b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// public:
17b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//     typedef charT                          char_type;
18b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//     typedef traits                         traits_type;
19b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//     typedef typename traits_type::int_type int_type;
20b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//     typedef typename traits_type::pos_type pos_type;
21b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//     typedef typename traits_type::off_type off_type;
22b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
23b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <fstream>
24b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <type_traits>
25b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
26b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerint main()
27b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{
28b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    static_assert((std::is_base_of<std::basic_ostream<char>, std::basic_ofstream<char> >::value), "");
29b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    static_assert((std::is_same<std::basic_ofstream<char>::char_type, char>::value), "");
30b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    static_assert((std::is_same<std::basic_ofstream<char>::traits_type, std::char_traits<char> >::value), "");
31b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    static_assert((std::is_same<std::basic_ofstream<char>::int_type, std::char_traits<char>::int_type>::value), "");
32b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    static_assert((std::is_same<std::basic_ofstream<char>::pos_type, std::char_traits<char>::pos_type>::value), "");
33b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    static_assert((std::is_same<std::basic_ofstream<char>::off_type, std::char_traits<char>::off_type>::value), "");
34b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}
35