10#ifndef CPROVER_UTIL_SOURCE_LOCATION_H
11#define CPROVER_UTIL_SOURCE_LOCATION_H
63 DEPRECATED(
SINCE(2022, 10, 13,
"use identifier of containing function"))
134 DEPRECATED(
SINCE(2022, 10, 13,
"use identifier of containing function"))
205 std::optional<std::string>
full_path()
const;
229 return "source location: " + source_location.
as_string();
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
There are a large number of kinds of tree structured or tree-like data in CPROVER.
bool get_bool(const irep_idt &name) const
const irept & find(const irep_idt &name) const
const irep_idt & get(const irep_idt &name) const
void remove(const irep_idt &name)
void set(const irep_idt &name, const irep_idt &value)
irept & add(const irep_idt &name)
typename dt::named_subt named_subt
void merge(const source_locationt &from)
Set all unset source-location fields in this object to their values in 'from'.
void set_column(const irep_idt &column)
void property_fatal(bool _property_fatal)
void set_comment(const irep_idt &comment)
void set_property_id(const irep_idt &property_id)
static const source_locationt & nil()
bool property_fatal() const
const irep_idt & get_property_id() const
void set_basic_block_source_lines(irept source_lines)
void set_line(unsigned line)
void set_working_directory(const irep_idt &cwd)
const irep_idt & get_java_bytecode_index() const
const irep_idt & get_column() const
const irep_idt & get_case_number() const
void set_property_class(const irep_idt &property_class)
const irep_idt & get_function() const
const irep_idt & get_working_directory() const
const irep_idt & get_file() const
void set_case_number(const irep_idt &number)
const irept & get_basic_block_source_lines() const
void set_java_bytecode_index(const irep_idt &index)
const irep_idt & get_line() const
void add_pragma(const irep_idt &pragma)
const irep_idt & get_property_class() const
const irept::named_subt & get_pragmas() const
std::string as_string() const
std::string as_string_with_cwd() const
void set_column(unsigned column)
void set_file(const irep_idt &file)
void set_line(const irep_idt &line)
std::optional< std::string > full_path() const
Get a path to the file, including working directory.
const irep_idt & get_comment() const
void set_function(const irep_idt &function)
#define SINCE(year, month, day, msg)
const irept & get_nil_irep()
const std::string & id2string(const irep_idt &d)
static std::string comment(const rw_set_baset::entryt &entry, bool write)
std::ostream & operator<<(std::ostream &, const source_locationt &)
static std::string diagnostics_as_string(const source_locationt &source_location)
Helper to give us some diagnostic in a usable form on assertion failure.