10 #ifndef CPROVER_CPP_CPP_STORAGE_SPEC_H 11 #define CPROVER_CPP_CPP_STORAGE_SPEC_H 24 return static_cast<source_locationt &>(
add(ID_C_source_location));
29 return static_cast<const source_locationt &>(
find(ID_C_source_location));
56 #endif // CPROVER_CPP_CPP_STORAGE_SPEC_H
bool get_bool(const irep_namet &name) const
source_locationt & location()
Base class for tree-like data structures with sharing.
bool is_thread_local() const
irept & add(const irep_namet &name)
const irept & find(const irep_namet &name) const
void set(const irep_namet &name, const irep_idt &value)
const source_locationt & location() const