PluginPtrDeleter< AllocatedT > Struct Template Reference

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

#include <include/dlvhex2/PluginInterface.h>

Public Member Functions
	PluginPtrDeleter ()
void	operator() (const AllocatedT *ptr) const
	Deleter for plugins.

---

Detailed Description

template<typename AllocatedT>
struct PluginPtrDeleter< 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 an object allocated with "new" this must stay inline! (the correct delete operator must be used by the library)

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

Definition at line 1510 of file PluginInterface.h.

---

Constructor & Destructor Documentation

template<typename AllocatedT >

PluginPtrDeleter< AllocatedT >::PluginPtrDeleter

(

)

[inline]

Definition at line 1512 of file PluginInterface.h.

---

Member Function Documentation

template<typename AllocatedT >

void PluginPtrDeleter< AllocatedT >::operator()

(

const AllocatedT *

ptr

)

const [inline]

Deleter for plugins.

Parameters:

ptr	Pointer to the plugin

Definition at line 1517 of file PluginInterface.h.

---

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

• include/dlvhex2/PluginInterface.h