CBMC
|
Base type for structs and unions. More...
#include <std_types.h>
Classes | |
class | componentt |
Public Types | |
typedef std::vector< componentt > | componentst |
![]() | |
using | baset = tree_implementationt |
![]() | |
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. | |
Additional Inherited Members | |
![]() | |
static void | check (const typet &, const validation_modet=validation_modet::INVARIANT) |
Check that the type is well-formed (shallow checks only, i.e., subtypes are not checked) | |
static void | validate (const typet &type, const namespacet &, const validation_modet vm=validation_modet::INVARIANT) |
Check that the type is well-formed, assuming that its subtypes have already been checked for well-formedness. | |
static void | validate_full (const typet &type, const namespacet &ns, const validation_modet vm=validation_modet::INVARIANT) |
Check that the type is well-formed (full check, including checks of subtypes) | |
![]() | |
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 | |
![]() | |
void | detach () |
![]() | |
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. | |
![]() | |
dt * | data |
![]() | |
static dt | empty_d |
Base type for structs and unions.
For example C structs, C unions, C++ classes, Java classes.
Definition at line 61 of file std_types.h.
typedef std::vector<componentt> struct_union_typet::componentst |
Definition at line 140 of file std_types.h.
Definition at line 64 of file std_types.h.
|
inline |
Definition at line 142 of file std_types.h.
Return the sequence number of the component with given name.
Definition at line 47 of file std_types.cpp.
Definition at line 77 of file std_types.cpp.
|
inline |
Definition at line 152 of file std_types.h.
|
inline |
Definition at line 147 of file std_types.h.
|
inline |
Return the access specification for members where access has not been modified.
Definition at line 179 of file std_types.h.
const struct_union_typet::componentt & struct_union_typet::get_component | ( | const irep_idt & | component_name | ) | const |
Get the reference to a component with given name.
Definition at line 64 of file std_types.cpp.
|
inline |
Definition at line 168 of file std_types.h.
Definition at line 157 of file std_types.h.
|
inline |
A struct may be a class, where members may have access restrictions.
Definition at line 172 of file std_types.h.
|
inline |
A struct/union may be incomplete.
Definition at line 185 of file std_types.h.
|
inline |
A struct/union may be incomplete.
Definition at line 191 of file std_types.h.
Definition at line 169 of file std_types.h.