5dc379f1305defdb6d4eee0bc77646de2f137c1b
[platform/upstream/gcc48.git] / libstdc++-v3 / testsuite / 27_io / basic_ifstream / requirements / typedefs.cc
1 // { dg-do compile }
2 // 2002-07-25 Benjamin Kosnik <bkoz@redhat.com>
3
4 // Copyright (C) 2002-2013 Free Software Foundation, Inc.
5 //
6 // This file is part of the GNU ISO C++ Library.  This library is free
7 // software; you can redistribute it and/or modify it under the
8 // terms of the GNU General Public License as published by the
9 // Free Software Foundation; either version 3, or (at your option)
10 // any later version.
11
12 // This library is distributed in the hope that it will be useful,
13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 // GNU General Public License for more details.
16
17 // You should have received a copy of the GNU General Public License along
18 // with this library; see the file COPYING3.  If not see
19 // <http://www.gnu.org/licenses/>.
20
21
22 // 27.8.1.5 - Template class basic_ifstream
23 // NB: This file is for testing basic_ifstream with NO OTHER INCLUDES.
24
25 #include <fstream>
26
27 // libstdc++/7216
28 void test01()
29 {
30   // Check for required typedefs
31   typedef std::ifstream test_type;
32   typedef test_type::char_type char_type;
33   typedef test_type::traits_type traits_type;
34   typedef test_type::int_type int_type;
35   typedef test_type::pos_type pos_type;
36   typedef test_type::off_type off_type;
37 }