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
const cpp_linkage_spect & get_linkage_spec() const
C++ Language Type Checking.
bool is_static_assert() const
cpp_usingt & make_using()
bool is_declaration() const
bool is_namespace_spec() const
const irep_idt & id() const
cpp_namespace_spect & get_namespace_spec()
cpp_declarationt & make_declaration()
cpp_namespace_spect & make_namespace_spec()
cpp_linkage_spect & make_linkage_spec()
cpp_static_assertt & make_static_assert()
cpp_static_assertt & get_static_assert()
Base class for tree-like data structures with sharing.
C++ Language Type Checking.
const cpp_namespace_spect & get_namespace_spec() const
const cpp_usingt & get_using() const
C++ Language Type Checking.
const source_locationt & source_location() const
cpp_declarationt & get_declaration()
C++ Language Type Checking.
cpp_linkage_spect & get_linkage_spec()
C++ Language Type Checking.
const irept & find(const irep_namet &name) const
const cpp_declarationt & get_declaration() const
bool is_linkage_spec() const