Go to the documentation of this file.
12 #ifndef CPROVER_CPP_CPP_ITEM_H
13 #define CPROVER_CPP_CPP_ITEM_H
30 id(ID_cpp_declaration);
48 return id()==ID_cpp_declaration;
55 id(ID_cpp_linkage_spec);
73 return id()==ID_cpp_linkage_spec;
80 id(ID_cpp_namespace_spec);
98 return id()==ID_cpp_namespace_spec;
123 return id()==ID_cpp_using;
130 id(ID_cpp_static_assert);
142 return id()==ID_cpp_static_assert;
147 return static_cast<const source_locationt &>(
148 find(ID_C_source_location));
152 #endif // CPROVER_CPP_CPP_ITEM_H
cpp_declarationt & make_declaration()
cpp_static_assertt & make_static_assert()
const cpp_namespace_spect & get_namespace_spec() const
cpp_declarationt & get_declaration()
const irept & find(const irep_namet &name) const
const source_locationt & source_location() const
const cpp_usingt & get_using() const
cpp_linkage_spect & get_linkage_spec()
bool is_linkage_spec() const
const cpp_declarationt & get_declaration() const
const irep_idt & id() const
bool is_static_assert() const
const cpp_linkage_spect & get_linkage_spec() const
cpp_usingt & make_using()
cpp_linkage_spect & make_linkage_spec()
bool is_namespace_spec() const
cpp_static_assertt & get_static_assert()
Base class for tree-like data structures with sharing.
cpp_namespace_spect & make_namespace_spec()
cpp_namespace_spect & get_namespace_spec()
bool is_declaration() const