klee::ObjectHolder Class Reference

#include <ObjectHolder.h>

Collaboration diagram for klee::ObjectHolder:

[legend]

List of all members.

Public Member Functions
	ObjectHolder ()
	ObjectHolder (ObjectState *_os)
	ObjectHolder (const ObjectHolder &b)
	~ObjectHolder ()
ObjectHolder &	operator= (const ObjectHolder &b)
	operator class ObjectState * ()
	operator class ObjectState * () const
Private Attributes
ObjectState *	os

---

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 38 of file Memory.cpp.

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

ObjectHolder::ObjectHolder

(

const ObjectHolder &

b

)

Definition at line 34 of file Memory.cpp.

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

ObjectHolder::~ObjectHolder

(

)

Definition at line 42 of file Memory.cpp.

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

---

Member Function Documentation

klee::ObjectHolder::operator class ObjectState *

(

)

const [inline]

Definition at line 28 of file ObjectHolder.h.

References os.

klee::ObjectHolder::operator class ObjectState *

(

)

[inline]

Definition at line 27 of file ObjectHolder.h.

References os.

ObjectHolder & ObjectHolder::operator=

(

const ObjectHolder &

b

)

Definition at line 46 of file Memory.cpp.

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

---

Member Data Documentation

ObjectState* klee::ObjectHolder::os [private]

Definition at line 17 of file ObjectHolder.h.

Referenced by ObjectHolder(), operator class ObjectState *(), operator=(), and ~ObjectHolder().

---

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

• lib/Core/ObjectHolder.h
• lib/Core/Memory.cpp