#include <flx_rtl.hpp>
Public Member Functions | |
flx_halt_t (flx_range_srcref_t ff, char *cf, int cl, std::string reason) | |
Public Attributes | |
std::string | reason |
halt argument | |
flx_range_srcref_t | flx_loc |
location in Felix file | |
char * | cxx_srcfile |
C++ file name. | |
int | cxx_srcline |
C++ line number. |