10 #ifndef CPROVER_UTIL_SOURCE_LOCATION_H 11 #define CPROVER_UTIL_SOURCE_LOCATION_H 40 return get(ID_working_directory);
50 return get(ID_column);
55 return get(ID_function);
60 return get(ID_property_id);
65 return get(ID_property_class);
70 return get(ID_comment);
75 return get(ID_switch_case_number);
80 return get(ID_java_bytecode_index);
85 return get(ID_basic_block_covered_lines);
95 set(ID_working_directory, cwd);
110 set(ID_column, column);
115 set(ID_column, column);
120 set(ID_function,
function);
125 set(ID_property_id, property_id);
130 set(ID_property_class, property_class);
141 set(ID_switch_case_number, number);
146 set(ID_java_bytecode_index, index);
151 return set(ID_basic_block_covered_lines, covered_lines);
166 std::string built_in1=
"<built-in-";
167 std::string built_in2=
"<builtin-";
186 std::string
as_string(
bool print_cwd)
const;
191 #endif // CPROVER_UTIL_SOURCE_LOCATION_H const irept & get_nil_irep()
const irep_idt & get_working_directory() const
void set_function(const irep_idt &function)
void set_case_number(const irep_idt &number)
const std::string & id2string(const irep_idt &d)
void set_java_bytecode_index(const irep_idt &index)
void set_property_class(const irep_idt &property_class)
static bool is_built_in(const std::string &s)
static const source_locationt & nil()
std::string comment(const rw_set_baset::entryt &entry, bool write)
void set_comment(const irep_idt &comment)
const irep_idt & get_function() const
std::string as_string() const
bool get_bool(const irep_namet &name) const
void set_line(unsigned line)
const irep_idt & get_column() const
void set_property_id(const irep_idt &property_id)
void set_working_directory(const irep_idt &cwd)
const irep_idt & get_case_number() const
void merge(const source_locationt &from)
Set all unset source-location fields in this object to their values in 'from'.
const irep_idt & get_line() const
void set_file(const irep_idt &file)
void set_line(const irep_idt &line)
const irep_idt & get_basic_block_covered_lines() const
void set_column(const irep_idt &column)
bool has_prefix(const std::string &s, const std::string &prefix)
Base class for tree-like data structures with sharing.
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
const irep_idt & get_file() const
std::string as_string_with_cwd() const
void set_column(unsigned column)
const irep_idt & get_java_bytecode_index() const
const irep_idt & get_comment() const
const irep_idt & get_property_id() const
const irep_idt & get_property_class() const
std::ostream & operator<<(std::ostream &, const source_locationt &)
void set_basic_block_covered_lines(const irep_idt &covered_lines)