    // Copyright (C) 2003  Davis E. King (davis@dlib.net)
    // License: Boost Software License   See LICENSE.txt for the full license.
    #ifndef DLIB_HASH_MAP_KERNEl_C_
    #define DLIB_HASH_MAP_KERNEl_C_

    #include "hash_map_kernel_abstract.h"
    #include "../algs.h"
    #include "../assert.h"

    namespace dlib
    {

        template <
            typename hash_map_base
            >
        class hash_map_kernel_c : public hash_map_base
        {

            typedef typename hash_map_base::domain_type domain;
            typedef typename hash_map_base::range_type range;

            public:
                void add (
                    domain& d,
                    range& r
                );

                void remove_any (
                    domain& d,
                    range& r
                );

                void remove (
                    const domain& d,
                    domain& d_copy,
                    range& r
                );

                void destroy (
                    const domain& d
                );

                range& operator[] (
                    const domain& d
                );

                const range& operator[] (
                    const domain& d
                ) const;

                const map_pair<domain,range>& element (
                ) const;

                map_pair<domain,range>& element (
                );
        };

        template <
            typename hash_map_base
            >
        inline void swap (
            hash_map_kernel_c<hash_map_base>& a,
            hash_map_kernel_c<hash_map_base>& b
        ) { a.swap(b); }

    // ----------------------------------------------------------------------------------------
    // ----------------------------------------------------------------------------------------
        // member function definitions
    // ----------------------------------------------------------------------------------------
    // ----------------------------------------------------------------------------------------

        template <
            typename hash_map_base
            >
        void hash_map_kernel_c<hash_map_base>::
        add (
            domain& d,
            range& r
        )
        {

            // make sure requires clause is not broken
            DLIB_CASSERT( (!this->is_in_domain(d)) &&
                    (static_cast<void*>(&d) != static_cast<void*>(&r)),
                "\tvoid hash_map::add"
                << "\n\tdomain element being added must not already be in the hash_map"
                << "\n\tand d and r must not be the same variable"
                << "\n\tis_in_domain(d): " << (this->is_in_domain(d) ? "true" : "false")
                << "\n\tthis: " << this
                << "\n\t&d:   " << static_cast<void*>(&d)
                << "\n\t&r:   " << static_cast<void*>(&r)
                );

            // call the real function
            hash_map_base::add(d,r);
        }

    // ----------------------------------------------------------------------------------------

        template <
            typename hash_map_base
            >
        void hash_map_kernel_c<hash_map_base>::
        remove_any (
            domain& d,
            range& r
        )
        {

            // make sure requires clause is not broken
            DLIB_CASSERT( (this->size() > 0)  &&
                    (static_cast<void*>(&d) != static_cast<void*>(&r)),
                "\tvoid hash_map::remove_any"
                << "\n\tsize() must be greater than zero if something is going to be removed"
                << "\n\tand d and r must not be the same variable."
                << "\n\tsize(): " << this->size()
                << "\n\tthis:   " << this
                << "\n\t&d:     " << static_cast<void*>(&d)
                << "\n\t&r:     " << static_cast<void*>(&r)
                );

            // call the real function
            hash_map_base::remove_any(d,r);
        }

    // ----------------------------------------------------------------------------------------

        template <
            typename hash_map_base
            >
        void hash_map_kernel_c<hash_map_base>::
        remove (
            const domain& d,
            domain& d_copy,
            range& r
        )
        {

            // make sure requires clause is not broken
            DLIB_CASSERT( (this->is_in_domain(d)) &&
                    (static_cast<const void*>(&d) != static_cast<void*>(&r)) &&
                    (static_cast<void*>(&r) != static_cast<void*>(&d_copy)) &&
                    (static_cast<const void*>(&d) != static_cast<void*>(&d_copy)),
                "\tvoid hash_map::remove"
                << "\n\tcan't remove something that isn't in the hash_map or if the paremeters"
                << "\n\tare actually the same variable.  Either way can't remove."
                << "\n\tis_in_domain(d): " << (this->is_in_domain(d) ? "true" : "false")
                << "\n\tthis:      " << this
                << "\n\t&d:        " << static_cast<const void*>(&d)
                << "\n\t&r:        " << static_cast<void*>(&r)
                << "\n\t&d_copy:   " << static_cast<void*>(&d_copy)
                );

            // call the real function
            hash_map_base::remove(d,d_copy,r);
        }

    // ----------------------------------------------------------------------------------------

        template <
            typename hash_map_base
            >
        void hash_map_kernel_c<hash_map_base>::
        destroy (
            const domain& d
        )
        {

            // make sure requires clause is not broken
            DLIB_CASSERT( this->is_in_domain(d),
                "\tvoid hash_map::destroy"
                << "\n\tcan't remove something that isn't in the hash_map"
                << "\n\tthis:      " << this
                << "\n\t&d:        " << static_cast<const void*>(&d)
                );

            // call the real function
            hash_map_base::destroy(d);
        }

    // ----------------------------------------------------------------------------------------

        template <
            typename hash_map_base
            >
        typename hash_map_base::range_type& hash_map_kernel_c<hash_map_base>::
        operator[] (
            const domain& d
        )
        {
            // make sure requires clause is not broken
            DLIB_CASSERT( this->is_in_domain(d),
                "\trange& hash_map::operator[]"
                << "\n\td must be in the domain of the hash_map"
                << "\n\tthis: " << this
                );

            // call the real function
            return hash_map_base::operator[](d);
        }

    // ----------------------------------------------------------------------------------------

        template <
            typename hash_map_base
            >
        const typename hash_map_base::range_type& hash_map_kernel_c<hash_map_base>::
        operator[] (
            const domain& d
        ) const
        {
            // make sure requires clause is not broken
            DLIB_CASSERT( is_in_domain(d),
                "\tconst range& hash_map::operator[]"
                << "\n\td must be in the domain of the hash_map"
                << "\n\tthis: " << this
                );

            // call the real function
            return hash_map_base::operator[](d);
        }

    // ----------------------------------------------------------------------------------------

        template <
            typename hash_map_base
            >
        const map_pair<typename hash_map_base::domain_type,typename hash_map_base::range_type>& hash_map_kernel_c<hash_map_base>::
        element (
        ) const
        {
            // make sure requires clause is not broken
            DLIB_CASSERT(this->current_element_valid() == true,
                "\tconst map_pair<domain,range>& hash_map::element"
                << "\n\tyou can't access the current element if it doesn't exist"
                << "\n\tthis: " << this
                );

            // call the real function
            return hash_map_base::element();
        }

    // ----------------------------------------------------------------------------------------

        template <
            typename hash_map_base
            >
        map_pair<typename hash_map_base::domain_type,typename hash_map_base::range_type>& hash_map_kernel_c<hash_map_base>::
        element (
        )
        {
            // make sure requires clause is not broken
            DLIB_CASSERT(this->current_element_valid() == true,
                "\tmap_pair<domain,range>& hash_map::element"
                << "\n\tyou can't access the current element if it doesn't exist"
                << "\n\tthis: " << this
                );

            // call the real function
            return hash_map_base::element();
        }

    // ----------------------------------------------------------------------------------------

    }

    #endif // DLIB_HASH_MAP_KERNEl_C_