cprover
|
#include <safe_pointer.h>
Public Member Functions | |
operator bool () const | |
T * | get () const |
T & | operator* () const |
T * | operator-> () const |
Static Public Member Functions | |
static safe_pointer< T > | create_null () |
static safe_pointer< T > | create_non_null (T *target) |
static safe_pointer< T > | create_maybe_null (T *target) |
Protected Member Functions | |
safe_pointer (T *target) | |
safe_pointer () | |
Protected Attributes | |
T * | ptr |
Definition at line 15 of file safe_pointer.h.
|
inlineexplicitprotected |
Definition at line 60 of file safe_pointer.h.
|
inlineprotected |
Definition at line 63 of file safe_pointer.h.
Referenced by safe_pointer< ci_lazy_methodst >::create_maybe_null(), safe_pointer< ci_lazy_methodst >::create_non_null(), and safe_pointer< ci_lazy_methodst >::create_null().
|
inlinestatic |
Definition at line 51 of file safe_pointer.h.
|
inlinestatic |
Definition at line 44 of file safe_pointer.h.
|
inlinestatic |
Definition at line 39 of file safe_pointer.h.
|
inline |
Definition at line 23 of file safe_pointer.h.
|
inline |
Definition at line 18 of file safe_pointer.h.
|
inline |
Definition at line 29 of file safe_pointer.h.
|
inline |
Definition at line 34 of file safe_pointer.h.
|
protected |
Definition at line 58 of file safe_pointer.h.
Referenced by safe_pointer< ci_lazy_methodst >::get(), and safe_pointer< ci_lazy_methodst >::operator bool().