19 const std::string &message,
41 const auto full_path = location.
full_path();
43 if(full_path.has_value() && !line.empty())
46 std::ifstream in(
widen(full_path.value()));
48 std::ifstream in(full_path.value());
52 const auto line_number = std::stoull(line);
54 for(std::size_t l = 0; l < line_number; l++)
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
void print(unsigned, const xmlt &) override
void print(unsigned, const xmlt &) override
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
optionalt< std::string > full_path() const
Get a path to the file, including working directory.
const irep_idt & get_file() const
const irep_idt & get_line() const
const std::string & id2string(const irep_idt &d)
std::wstring widen(const char *s)