cprover
c_sizeoft Class Reference

#include <c_sizeof.h>

Collaboration diagram for c_sizeoft:
[legend]

Public Member Functions

 c_sizeoft (const namespacet &_ns)
 
virtual ~c_sizeoft ()
 
exprt operator() (const typet &type)
 
exprt c_offsetof (const struct_typet &type, const irep_idt &component_name)
 

Protected Member Functions

virtual exprt sizeof_rec (const typet &type)
 

Protected Attributes

const namespacetns
 

Detailed Description

Definition at line 16 of file c_sizeof.h.

Constructor & Destructor Documentation

◆ c_sizeoft()

c_sizeoft::c_sizeoft ( const namespacet _ns)
inlineexplicit

Definition at line 19 of file c_sizeof.h.

◆ ~c_sizeoft()

virtual c_sizeoft::~c_sizeoft ( )
inlinevirtual

Definition at line 23 of file c_sizeof.h.

Member Function Documentation

◆ c_offsetof()

exprt c_sizeoft::c_offsetof ( const struct_typet type,
const irep_idt component_name 
)

◆ operator()()

exprt c_sizeoft::operator() ( const typet type)
inline

Definition at line 27 of file c_sizeof.h.

References sizeof_rec().

◆ sizeof_rec()

Member Data Documentation

◆ ns

const namespacet& c_sizeoft::ns
protected

Definition at line 37 of file c_sizeof.h.

Referenced by c_offsetof(), and sizeof_rec().


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