klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::ObjectHolder Class Reference

#include <ObjectHolder.h>

Collaboration diagram for klee::ObjectHolder:

Public Member Functions

 ObjectHolder ()
 
 ObjectHolder (ObjectState *_os)
 
 ObjectHolder (const ObjectHolder &b)
 
 ~ObjectHolder ()
 
ObjectHolderoperator= (const ObjectHolder &b)
 
 operator class ObjectState * ()
 
 operator class ObjectState * () const
 

Private Attributes

ObjectStateos
 

Detailed Description

Definition at line 16 of file ObjectHolder.h.

Constructor & Destructor Documentation

klee::ObjectHolder::ObjectHolder ( )
inline

Definition at line 20 of file ObjectHolder.h.

ObjectHolder::ObjectHolder ( ObjectState _os)

Definition at line 53 of file Memory.cpp.

References os, and klee::ObjectState::refCount.

ObjectHolder::ObjectHolder ( const ObjectHolder b)

Definition at line 49 of file Memory.cpp.

References os, and klee::ObjectState::refCount.

ObjectHolder::~ObjectHolder ( )

Definition at line 57 of file Memory.cpp.

References os, and klee::ObjectState::refCount.

Member Function Documentation

klee::ObjectHolder::operator class ObjectState * ( )
inline

Definition at line 27 of file ObjectHolder.h.

References os.

klee::ObjectHolder::operator class ObjectState * ( ) const
inline

Definition at line 28 of file ObjectHolder.h.

References os.

ObjectHolder & ObjectHolder::operator= ( const ObjectHolder b)

Definition at line 61 of file Memory.cpp.

References os, and klee::ObjectState::refCount.

Member Data Documentation

ObjectState* klee::ObjectHolder::os
private

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