// Copyright {Jagger Software Limited} 2003

#ifndef OWNERSHIP_ARRAY_DELETER_INCLUDED
#define OWNERSHIP_ARRAY_DELETER_INCLUDED

namespace ownership
{
    struct array_deleter // <<concrete>>
    {
        template<typename type>
        void operator()(type deleting) const
        {
            delete[] deleting;
        }
    };
}

#endif

//-------------------------------------------------
// Example of use

#if 0

#include "ownership/array_deleter.hpp"
#include "ownership/scoped.hpp"
#include <vector>

using namespace ownership;

void example(const std::vector<char> & seq)
{
    scoped<array_deleter, char*> source(new char[seq.size()]);

    //...    
}

#endif