00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00028 #ifndef _RTXCPPFILEINPUTSTREAM_H_
00029 #define _RTXCPPFILEINPUTSTREAM_H_
00030
00031 #include "rtxsrc/rtxCppInputStream.h"
00032
00037 class EXTERNRTX OSFileInputStream : public OSInputStream {
00038 public:
00046 OSFileInputStream (const char* pFilename);
00047
00056 OSFileInputStream (OSContext* pContext, const char* pFilename);
00057
00066 OSFileInputStream (FILE* file);
00067
00077 OSFileInputStream (OSContext* pContext, FILE* file);
00078
00079 } ;
00080
00081 #endif