linear_hierarchy.h

Go to the documentation of this file.

#pragma once
#include "interop/util/type_traits.h"

namespace illumina { namespace interop { namespace hierarchy
{
    template<
            class TypeList,
            template<class AtomicType, class BaseType> class Base,
            class Root=null_type
    >
    class linear_hierarchy;

    template<
            class T1,
            class T2,
            template<class, class> class Base,
            class Root
    >
    class linear_hierarchy< type_list<T1,T2>, Base, Root > : public Base<T1, linear_hierarchy<T2, Base, Root> >
    {
    protected:
        typedef Base<T1, linear_hierarchy<T2, Base, Root> > base_t;
    };

    template<
            class T,
            template<class, class> class Base,
            class Root
    >
    class linear_hierarchy<type_list<T,null_type>, Base, Root> : public Base<T, Root>
    {
    protected:
        typedef Base<T, Root> base_t;
    };

    template<
            template<class, class> class Base,
            class Root
    >
    class linear_hierarchy<null_type, Base, Root> : public Root
    {
    protected:
        typedef Root base_t;
    };


    template<
            class T,
            class TypeList,
            template<class AtomicType, class BaseType> class Base,
            class Root=null_type
    >
    struct base_at;
    template<
            class T,
            class T1,
            class T2,
            template<class, class> class Base,
            class Root
    >
    struct base_at< T, type_list<T1,T2>, Base, Root >
    {
        typedef typename base_at<T,T2, Base, Root>::result_t result_t;
    };
    template<
            class T1,
            class T2,
            template<class, class> class Base,
            class Root
    >
    struct base_at< T1, type_list<T1,T2>, Base, Root >
    {
        typedef Base<T1, linear_hierarchy<T2, Base, Root> > result_t;
    };
    template<
            class T1,
            template<class, class> class Base,
            class Root
    >
    struct base_at< T1, type_list<T1,null_type>, Base, Root >
    {
        typedef Base<T1, Root > result_t;
    };


}}}