/*=============================================================================

    Copyright (c) 2002-2003 Joel de Guzman

    Copyright (c) 2002-2003 Hartmut Kaiser

    Copyright (c) 2003 Martin Wille

    http://spirit.sourceforge.net/



    Use, modification and distribution is subject to the Boost Software

    License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at

    http://www.boost.org/LICENSE_1_0.txt)

=============================================================================*/

#if !defined(BOOST_SPIRIT_PARSER_TRAITS_IPP)

#define BOOST_SPIRIT_PARSER_TRAITS_IPP



#include <boost/spirit/core/composite/operators.hpp>



///////////////////////////////////////////////////////////////////////////////

namespace boost { namespace spirit {



namespace impl

{



#if defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)



    ///////////////////////////////////////////////////////////////////////////

    //

    //  from spirit 1.1 (copyright (c) 2001 Bruce Florman)

    //  various workarounds to support compile time decisions without partial

    //  template specialization whether a given type is an instance of a

    //  concrete parser type.

    //

    ///////////////////////////////////////////////////////////////////////////



    ///////////////////////////////////////////////////////////////////////////

    template <typename T>

    struct parser_type_traits

    {

    //  Determine at compile time (without partial specialization)

    //  whether a given type is an instance of the alternative<A,B>



        static T t();



        typedef struct { char dummy[1]; }   size1_t;

        typedef struct { char dummy[2]; }   size2_t;

        typedef struct { char dummy[3]; }   size3_t;

        typedef struct { char dummy[4]; }   size4_t;

        typedef struct { char dummy[5]; }   size5_t;

        typedef struct { char dummy[6]; }   size6_t;

        typedef struct { char dummy[7]; }   size7_t;

        typedef struct { char dummy[8]; }   size8_t;

        typedef struct { char dummy[9]; }   size9_t;

        typedef struct { char dummy[10]; }  size10_t;



    // the following functions need no implementation

        template <typename A, typename B>

        static size1_t test_(alternative<A, B> const&);

        template <typename A, typename B>

        static size2_t test_(sequence<A, B> const&);

        template <typename A, typename B>

        static size3_t test_(sequential_or<A, B> const&);

        template <typename A, typename B>

        static size4_t test_(intersection<A, B> const&);

        template <typename A, typename B>

        static size5_t test_(difference<A, B> const&);

        template <typename A, typename B>

        static size6_t test_(exclusive_or<A, B> const&);

        template <typename S>

        static size7_t test_(optional<S> const&);

        template <typename S>

        static size8_t test_(kleene_star<S> const&);

        template <typename S>

        static size9_t test_(positive<S> const&);



        static size10_t test_(...);



        BOOST_STATIC_CONSTANT(bool,

            is_alternative = (sizeof(size1_t) == sizeof(test_(t()))) );

        BOOST_STATIC_CONSTANT(bool,

            is_sequence = (sizeof(size2_t) == sizeof(test_(t()))) );

        BOOST_STATIC_CONSTANT(bool,

            is_sequential_or = (sizeof(size3_t) == sizeof(test_(t()))) );

        BOOST_STATIC_CONSTANT(bool,

            is_intersection = (sizeof(size4_t) == sizeof(test_(t()))) );

        BOOST_STATIC_CONSTANT(bool,

            is_difference = (sizeof(size5_t) == sizeof(test_(t()))) );

        BOOST_STATIC_CONSTANT(bool,

            is_exclusive_or = (sizeof(size6_t) == sizeof(test_(t()))) );

        BOOST_STATIC_CONSTANT(bool,

            is_optional = (sizeof(size7_t) == sizeof(test_(t()))) );

        BOOST_STATIC_CONSTANT(bool,

            is_kleene_star = (sizeof(size8_t) == sizeof(test_(t()))) );

        BOOST_STATIC_CONSTANT(bool,

            is_positive = (sizeof(size9_t) == sizeof(test_(t()))) );

    };



#else



    ///////////////////////////////////////////////////////////////////////////

    struct parser_type_traits_base {



        BOOST_STATIC_CONSTANT(bool, is_alternative = false);

        BOOST_STATIC_CONSTANT(bool, is_sequence = false);

        BOOST_STATIC_CONSTANT(bool, is_sequential_or = false);

        BOOST_STATIC_CONSTANT(bool, is_intersection = false);

        BOOST_STATIC_CONSTANT(bool, is_difference = false);

        BOOST_STATIC_CONSTANT(bool, is_exclusive_or = false);

        BOOST_STATIC_CONSTANT(bool, is_optional = false);

        BOOST_STATIC_CONSTANT(bool, is_kleene_star = false);

        BOOST_STATIC_CONSTANT(bool, is_positive = false);

    };



    template <typename ParserT>

    struct parser_type_traits : public parser_type_traits_base {



    //  no definition here, fallback for all not explicitly mentioned parser

    //  types

    };



    template <typename A, typename B>

    struct parser_type_traits<alternative<A, B> >

    :   public parser_type_traits_base {



        BOOST_STATIC_CONSTANT(bool, is_alternative = true);

    };



    template <typename A, typename B>

    struct parser_type_traits<sequence<A, B> >

    :   public parser_type_traits_base {



        BOOST_STATIC_CONSTANT(bool, is_sequence = true);

    };



    template <typename A, typename B>

    struct parser_type_traits<sequential_or<A, B> >

    :   public parser_type_traits_base {



        BOOST_STATIC_CONSTANT(bool, is_sequential_or = true);

    };



    template <typename A, typename B>

    struct parser_type_traits<intersection<A, B> >

    :   public parser_type_traits_base {



        BOOST_STATIC_CONSTANT(bool, is_intersection = true);

    };



    template <typename A, typename B>

    struct parser_type_traits<difference<A, B> >

    :   public parser_type_traits_base {



        BOOST_STATIC_CONSTANT(bool, is_difference = true);

    };



    template <typename A, typename B>

    struct parser_type_traits<exclusive_or<A, B> >

    :   public parser_type_traits_base {



        BOOST_STATIC_CONSTANT(bool, is_exclusive_or = true);

    };



    template <typename S>

    struct parser_type_traits<optional<S> >

    :   public parser_type_traits_base {



        BOOST_STATIC_CONSTANT(bool, is_optional = true);

    };



    template <typename S>

    struct parser_type_traits<kleene_star<S> >

    :   public parser_type_traits_base {



        BOOST_STATIC_CONSTANT(bool, is_kleene_star = true);

    };



    template <typename S>

    struct parser_type_traits<positive<S> >

    :   public parser_type_traits_base {



        BOOST_STATIC_CONSTANT(bool, is_positive = true);

    };



#endif // defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)

}   // namespace impl



///////////////////////////////////////////////////////////////////////////////

}} // namespace boost::spirit



#endif // !defined(BOOST_SPIRIT_PARSER_TRAITS_IPP)

