CBMC
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | Protected Member Functions | List of all members
pointer_arithmetict Struct Reference

#include <pointer_arithmetic.h>

+ Collaboration diagram for pointer_arithmetict:
[フレーム]
[legend]

Public Member Functions

  pointer_arithmetict (const exprt &src)
 

Public Attributes

exprt  pointer
 
exprt  offset
 

Protected Member Functions

void  read (const exprt &src)
 
void  add_to_offset (const exprt &src)
 
void  make_pointer (const exprt &src)
 

Detailed Description

Definition at line 15 of file pointer_arithmetic.h.

Constructor & Destructor Documentation

◆  pointer_arithmetict()

pointer_arithmetict::pointer_arithmetict ( const exprt &  src )
explicit

Definition at line 15 of file pointer_arithmetic.cpp.

Member Function Documentation

◆  add_to_offset()

void pointer_arithmetict::add_to_offset ( const exprt &  src )
protected

Definition at line 68 of file pointer_arithmetic.cpp.

◆  make_pointer()

void pointer_arithmetict::make_pointer ( const exprt &  src )
protected

Definition at line 81 of file pointer_arithmetic.cpp.

◆  read()

void pointer_arithmetict::read ( const exprt &  src )
protected

Definition at line 22 of file pointer_arithmetic.cpp.

Member Data Documentation

◆  offset

exprt pointer_arithmetict::offset

Definition at line 17 of file pointer_arithmetic.h.

◆  pointer

exprt pointer_arithmetict::pointer

Definition at line 17 of file pointer_arithmetic.h.

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

AltStyle によって変換されたページ (->オリジナル) /