00001 // Underlying io library details -*- C++ -*- 00002 00003 // Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2009 00004 // Free Software Foundation, Inc. 00005 // 00006 // This file is part of the GNU ISO C++ Library. This library is free 00007 // software; you can redistribute it and/or modify it under the 00008 // terms of the GNU General Public License as published by the 00009 // Free Software Foundation; either version 3, or (at your option) 00010 // any later version. 00011 00012 // This library is distributed in the hope that it will be useful, 00013 // but WITHOUT ANY WARRANTY; without even the implied warranty of 00014 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00015 // GNU General Public License for more details. 00016 00017 // Under Section 7 of GPL version 3, you are granted additional 00018 // permissions described in the GCC Runtime Library Exception, version 00019 // 3.1, as published by the Free Software Foundation. 00020 00021 // You should have received a copy of the GNU General Public License and 00022 // a copy of the GCC Runtime Library Exception along with this program; 00023 // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see 00024 // <http://www.gnu.org/licenses/>. 00025 00026 /** @file c++io.h 00027 * This is an internal header file, included by other library headers. 00028 * You should not attempt to use it directly. 00029 */ 00030 00031 // c_io_stdio.h - Defines for using "C" stdio.h 00032 00033 #ifndef _GLIBCXX_CXX_IO_H 00034 #define _GLIBCXX_CXX_IO_H 1 00035 00036 #include <cstdio> 00037 #include <cstddef> 00038 #include <bits/gthr.h> 00039 00040 _GLIBCXX_BEGIN_NAMESPACE(std) 00041 00042 typedef __gthread_mutex_t __c_lock; 00043 00044 // for basic_file.h 00045 typedef FILE __c_file; 00046 00047 _GLIBCXX_END_NAMESPACE 00048 00049 #endif