Back to index

php5  5.3.10
zend_istdiostream.h
Go to the documentation of this file.
00001 /* 
00002    +----------------------------------------------------------------------+
00003    | Zend Engine                                                          |
00004    +----------------------------------------------------------------------+
00005    | Copyright (c) 1998-2012 Zend Technologies Ltd. (http://www.zend.com) |
00006    +----------------------------------------------------------------------+
00007    | This source file is subject to version 2.00 of the Zend license,     |
00008    | that is bundled with this package in the file LICENSE, and is        |
00009    | available through the world-wide-web at the following url:           |
00010    | http://www.zend.com/license/2_00.txt.                                |
00011    | If you did not receive a copy of the Zend license and are unable to  |
00012    | obtain it through the world-wide-web, please send a note to          |
00013    | license@zend.com so we can mail you a copy immediately.              |
00014    +----------------------------------------------------------------------+
00015    | Authors: Andi Gutmans <andi@zend.com>                                |
00016    |          Zeev Suraski <zeev@zend.com>                                |
00017    +----------------------------------------------------------------------+
00018 */
00019 
00020 /* $Id: zend_istdiostream.h 321634 2012-01-01 13:15:04Z felipe $ */
00021 
00022 #ifndef _ZEND_STDIOSTREAM
00023 #define _ZEND_STDIOSTREAM
00024 
00025 #if defined(ZTS) && !defined(HAVE_CLASS_ISTDIOSTREAM)
00026 class istdiostream : public istream
00027 {
00028 private:
00029        stdiobuf _file;
00030 public:
00031        istdiostream (FILE* __f) : istream(), _file(__f) { init(&_file); }
00032        stdiobuf* rdbuf()/* const */ { return &_file; }
00033 };
00034 #endif
00035 
00036 #endif
00037 
00038 /*
00039  * Local variables:
00040  * tab-width: 4
00041  * c-basic-offset: 4
00042  * indent-tabs-mode: t
00043  * End:
00044  */