PluginPtrNOPDeleter< AllocatedT > Struct Template Reference

Special library deleter to be used with boost smart pointers. More...

#include <include/dlvhex2/PluginInterface.h>

Public Member Functions
	PluginPtrNOPDeleter ()
void	operator() (const AllocatedT *ptr) const
	Deleter for plugins without actual functionality.

---

Detailed Description

template<typename AllocatedT>
struct PluginPtrNOPDeleter< AllocatedT >

Special library deleter to be used with boost smart pointers.

This class should be used as a "deleter" for boost::shared_ptr if the library returning the pointer wants to return a statically linked object (i.e., do not free) [this is used for all PluginInterface pointers, as this pointer is returned as a POD type via an extern "C" function]

You will not need to care about this unless you get segmentation faults when dlvhex shuts down.

Definition at line 1535 of file PluginInterface.h.

---

Constructor & Destructor Documentation

template<typename AllocatedT >

PluginPtrNOPDeleter< AllocatedT >::PluginPtrNOPDeleter

(

)

[inline]

Definition at line 1537 of file PluginInterface.h.

---

Member Function Documentation

template<typename AllocatedT >

void PluginPtrNOPDeleter< AllocatedT >::operator()

(

const AllocatedT *

ptr

)

const [inline]

Deleter for plugins without actual functionality.

Parameters:

ptr	Pointer to the plugin

Definition at line 1542 of file PluginInterface.h.

---

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

• include/dlvhex2/PluginInterface.h