00001 #line 2469 "./lpsrc/flx_rtl.pak" 00002 #ifndef __FLX_EH_H__ 00003 #define __FLX_EH_H__ 00004 #include "flx_rtl_config.hpp" 00005 #include "flx_rtl.hpp" 00006 00007 namespace flx { namespace rtl { 00008 void RTL_EXTERN print_loc(FILE *ef,flx::rtl::flx_range_srcref_t x,char *cf, int cl); 00009 int RTL_EXTERN std_exception_handler (std::exception *e); 00010 int RTL_EXTERN flx_exception_handler (flx::rtl::flx_exception_t *e); 00011 }} 00012 00013 #endif 00014