00001 #line 57 "./lpsrc/flx_lib.ipk" 00002 #ifndef FLX_IOUTIL 00003 #define FLX_IOUTIL 00004 #include <string> 00005 #include <cstdio> 00006 #include "flx_rtl_config.hpp" 00007 00008 namespace flx { namespace rtl { namespace ioutil { 00009 RTL_EXTERN std::string load_file (std::FILE *); 00010 RTL_EXTERN std::string load_file (std::string); 00011 RTL_EXTERN std::string readln(std::FILE*); 00012 RTL_EXTERN void write (std::FILE *, std::string); 00013 RTL_EXTERN void writeln (std::FILE *, std::string); 00014 }}} 00015 #endif 00016