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