#include <source_location.h>

Public Member Functions
	source_locationt ()
std::string	as_string () const
std::string	as_string_with_cwd () const
const irep_idt &	get_file () const
const irep_idt &	get_working_directory () const
const irep_idt &	get_line () const
const irep_idt &	get_column () const
const irep_idt &	get_function () const
const irep_idt &	get_property_id () const
const irep_idt &	get_property_class () const
const irep_idt &	get_comment () const
const irep_idt &	get_case_number () const
const irep_idt &	get_java_bytecode_index () const
const irept &	get_basic_block_source_lines () const
bool	property_fatal () const
void	set_file (const irep_idt &file)
void	set_working_directory (const irep_idt &cwd)
void	set_line (const irep_idt &line)
void	set_line (unsigned line)
void	set_column (const irep_idt &column)
void	set_column (unsigned column)
void	set_function (const irep_idt &function)
void	clear_function ()
void	set_property_id (const irep_idt &property_id)
void	set_property_class (const irep_idt &property_class)
void	set_comment (const irep_idt &comment)
void	set_case_number (const irep_idt &number)
void	set_java_bytecode_index (const irep_idt &index)
void	set_basic_block_source_lines (irept source_lines)
void	property_fatal (bool _property_fatal)
void	set_hide ()
bool	get_hide () const
bool	is_built_in () const
void	merge (const source_locationt &from)
	Set all unset source-location fields in this object to their values in 'from'.
std::optional< std::string >	full_path () const
	Get a path to the file, including working directory.
void	add_pragma (const irep_idt &pragma)
const irept::named_subt &	get_pragmas () const
Public Member Functions inherited from irept
bool	is_nil () const
bool	is_not_nil () const
	irept (const irep_idt &_id)
	irept (const irep_idt &_id, const named_subt &_named_sub, const subt &_sub)
	irept ()=default
const irep_idt &	id () const
const std::string &	id_string () const
void	id (const irep_idt &_data)
const irept &	find (const irep_idt &name) const
irept &	add (const irep_idt &name)
irept &	add (const irep_idt &name, irept irep)
const std::string &	get_string (const irep_idt &name) const
const irep_idt &	get (const irep_idt &name) const
bool	get_bool (const irep_idt &name) const
signed int	get_int (const irep_idt &name) const
std::size_t	get_size_t (const irep_idt &name) const
long long	get_long_long (const irep_idt &name) const
void	set (const irep_idt &name, const irep_idt &value)
void	set (const irep_idt &name, irept irep)
void	set (const irep_idt &name, const long long value)
void	set_size_t (const irep_idt &name, const std::size_t value)
void	remove (const irep_idt &name)
void	move_to_sub (irept &irep)
void	move_to_named_sub (const irep_idt &name, irept &irep)
bool	operator== (const irept &other) const
bool	operator!= (const irept &other) const
void	swap (irept &irep)
bool	operator< (const irept &other) const
	defines ordering on the internal representation
bool	ordering (const irept &other) const
	defines ordering on the internal representation
int	compare (const irept &i) const
	defines ordering on the internal representation comments are ignored
void	clear ()
void	make_nil ()
subt &	get_sub ()
const subt &	get_sub () const
named_subt &	get_named_sub ()
const named_subt &	get_named_sub () const
std::size_t	hash () const
std::size_t	full_hash () const
bool	full_eq (const irept &other) const
std::string	pretty (unsigned indent=0, unsigned max_indent=0) const
Public Member Functions inherited from sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
	sharing_treet (irep_idt _id)
	sharing_treet (irep_idt _id, named_subt _named_sub, subt _sub)
	sharing_treet ()
	sharing_treet (const sharing_treet &irep)
	sharing_treet (sharing_treet &&irep)
sharing_treet &	operator= (const sharing_treet &irep)
sharing_treet &	operator= (sharing_treet &&irep)
	~sharing_treet ()
const dt &	read () const
dt &	write ()

Static Public Member Functions
static bool	is_built_in (const std::string &s)
static const source_locationt &	nil ()
Static Public Member Functions inherited from irept
static bool	is_comment (const irep_idt &name)
static std::size_t	number_of_non_comments (const named_subt &)
	count the number of named_sub elements that are not comments

Protected Member Functions
std::string	as_string (bool print_cwd) const
Protected Member Functions inherited from sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
void	detach ()

Additional Inherited Members
Public Types inherited from irept
using	baset = tree_implementationt
Public Types inherited from sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
using	dt = tree_nodet< irept, forward_list_as_mapt< irep_idt, irept >, true >
using	subt = typename dt::subt
using	named_subt = typename dt::named_subt
using	tree_implementationt = sharing_treet
	Used to refer to this class from derived classes.
Static Protected Member Functions inherited from sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
static void	remove_ref (dt *old_data)
static void	nonrecursive_destructor (dt *old_data)
	Does the same as remove_ref, but using an explicit stack instead of recursion.
Protected Attributes inherited from sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
dt *	data
Static Protected Attributes inherited from sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
static dt	empty_d

◆ add_pragma()

◆ as_string() [1/2]

◆ as_string() [2/2]

◆ as_string_with_cwd()

◆ clear_function()

◆ full_path()

◆ get_basic_block_source_lines()

◆ get_case_number()

◆ get_column()

◆ get_comment()

◆ get_file()

◆ get_function()

◆ get_hide()

◆ get_java_bytecode_index()

◆ get_line()

◆ get_pragmas()

◆ get_property_class()

◆ get_property_id()

◆ get_working_directory()

◆ is_built_in() [1/2]

◆ is_built_in() [2/2]

◆ merge()

◆ nil()

◆ property_fatal() [1/2]

◆ property_fatal() [2/2]

◆ set_basic_block_source_lines()

◆ set_case_number()

◆ set_column() [1/2]

◆ set_column() [2/2]

◆ set_comment()

◆ set_file()

◆ set_function()

◆ set_hide()

◆ set_java_bytecode_index()

◆ set_line() [1/2]

◆ set_line() [2/2]

◆ set_property_class()

◆ set_property_id()

◆ set_working_directory()

---

The documentation for this class was generated from the following files:

• /home/runner/work/cbmc/cbmc/src/util/source_location.h
• /home/runner/work/cbmc/cbmc/src/util/source_location.cpp