//  (C) Copyright Rani Sharoni,Robert Ramey and Pavel Vozenilek 2004. 
//  Use, modification and distribution are 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)


// gcc 3.4.2 passes is_abstract_test, but fails the test in this file.
// See http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17232

#include "test.hpp"
#include "check_integral_constant.hpp"
#ifdef TEST_STD
#  include <type_traits>
#else
#  include <boost/type_traits/is_abstract.hpp>
#endif

template<typename T>
struct TestA {};

template<typename T>
struct TestB { virtual void foo(void) = 0; };

template<typename T>
struct TestC { private: virtual void foo(void) = 0; };

template<typename T>
struct TestD : TestA<char> {};

template<typename T>
struct TestE : TestB<char> {};

template<typename T>
struct TestF : TestC<char> {};

template<typename T>
struct TestG : TestB<char> { virtual void foo(void) {} };

template<typename T>
struct TestH : TestC<char> { private: virtual void foo(void) {} };

template<typename T>
struct TestI : TestB<char>, TestC<char> {};

template<typename T>
struct TestJ : TestI<char> { virtual void foo(void) {} };

template<typename T>
struct TestK : TestB<char> { virtual void foo(void); virtual void foo2(void) = 0; };

template<typename T>
struct TestL : TestK<char> { virtual void foo2(void) {} };

template<typename T>
struct TestM : virtual TestB<char> {};

template<typename T>
struct TestN : virtual TestC<char> {};

template<typename T>
struct TestO : TestM<char>, TestN<char> {};

template<typename T>
struct TestP : TestO<char> { virtual void foo(void) {} };

template<typename T>
struct TestQ : TestB<char> { virtual void foo(void) = 0; };

template<typename T>
struct TestR : TestC<char> { private: virtual void foo(void) = 0; };

template<typename T>
struct TestS { virtual void foo(void) {} };

template<typename T>
struct TestT { virtual ~TestT(void) {} virtual void foo(void) {} };

template<typename T>
struct TestU : TestT<char> { virtual void foo(void) = 0; };

template<typename T>
struct TestV : TestT<char> { virtual void foo(void) {} };

template<typename T>
struct TestW { virtual void foo1(void) = 0; virtual void foo2(void) = 0; };

template<typename T>
struct TestX : TestW<char> { virtual void foo1(void) {}  virtual void foo2(void) {} };

template<typename T>
struct TestY { virtual ~TestY(void) = 0; };

template<typename T>
struct TestZ { virtual ~TestZ(void) = 0; };

template<typename T>
TestZ<T>::~TestZ(void) {}

template<typename T>
struct TestAA : TestZ<char> { virtual ~TestAA(void) = 0; };

template<typename T>
TestAA<T>::~TestAA(void) {}

template<typename T>
struct TestAB : TestAA<char> { virtual ~TestAB(void) {} }; 

template<typename T>
struct TestAC { virtual void foo(void) = 0; };

template<typename T>
void TestAC<T>::foo(void) {}

template<typename T>
struct TestAD : TestAC<char> {};

template<typename T>
struct TestAE : TestAD<char> { virtual void foo() {} };

template<typename T>
struct TestAF : TestAD<char> { virtual void foo(); };

template<typename T>
void TestAF<T>::foo(void) {}

template<typename T>
struct TestAG : virtual TestA<char> {};

template<typename T>
struct TestAH : T {};

template<typename T>
struct TestAI : virtual T {};

template<typename T>
struct TestAJ {};

template<>
struct TestAJ<int> { virtual void foo() = 0; };

template<typename T>
struct TestAK { virtual void foo() = 0; };

template<>
struct TestAK<int> {};

// template
// struct TestB<int>;

TT_TEST_BEGIN(is_abstract)

BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestA<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestB<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestC<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestD<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestE<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestF<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestG<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestH<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestI<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestJ<int> >::value),
  false); // only one method implemented!
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestK<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestL<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestM<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestN<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestO<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestP<int> >::value),
  false); // ???
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestQ<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestR<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestS<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestT<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestU<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestV<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestW<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestX<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestY<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestZ<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAA<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAB<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAC<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAD<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAE<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAF<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAG<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAH<TestA<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAH<TestB<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAH<TestC<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAH<TestD<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAH<TestE<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAH<TestF<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAH<TestG<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAI<TestA<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAI<TestB<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAI<TestC<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAI<TestD<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAI<TestE<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAI<TestF<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAI<TestG<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAJ<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAJ<TestA<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAK<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAK<TestA<int> > >::value),
  true);
 
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestA<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestB<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestC<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestD<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestE<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestF<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestG<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestH<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestI<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestJ<int> >::value),
  false); // only one method implemented!
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestK<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestL<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestM<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestN<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestO<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestP<int> >::value),
  false); // ???
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestQ<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestR<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestS<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestT<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestU<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestV<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestW<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestX<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestY<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestZ<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAA<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAB<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAC<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAD<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAE<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAF<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAG<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAH<TestA<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAH<TestB<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAH<TestC<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAH<TestD<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAH<TestE<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAH<TestF<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAH<TestG<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAI<TestA<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAI<TestB<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAI<TestC<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAI<TestD<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAI<TestE<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAI<TestF<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAI<TestG<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAJ<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAJ<TestA<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAK<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<const TestAK<TestA<int> > >::value),
  true);

BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestA<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestB<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestC<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestD<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestE<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestF<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestG<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestH<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestI<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestJ<int> >::value),
  false); // only one method implemented!
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestK<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestL<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestM<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestN<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestO<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestP<int> >::value),
  false); // ???
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestQ<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestR<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestS<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestT<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestU<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestV<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestW<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestX<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestY<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestZ<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAA<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAB<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAC<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAD<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAE<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAF<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAG<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAH<TestA<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAH<TestB<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAH<TestC<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAH<TestD<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAH<TestE<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAH<TestF<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAH<TestG<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAI<TestA<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAI<TestB<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAI<TestC<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAI<TestD<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAI<TestE<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAI<TestF<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAI<TestG<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAJ<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAJ<TestA<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAK<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile TestAK<TestA<int> > >::value),
  true);

BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestA<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestB<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestC<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestD<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestE<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestF<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestG<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestH<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestI<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestJ<int> >::value),
  false); // only one method implemented!
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestK<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestL<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestM<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestN<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestO<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestP<int> >::value),
  false); // ???
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestQ<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestR<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestS<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestT<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestU<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestV<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestW<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestX<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestY<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestZ<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAA<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAB<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAC<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAD<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAE<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAF<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAG<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAH<TestA<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAH<TestB<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAH<TestC<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAH<TestD<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAH<TestE<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAH<TestF<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAH<TestG<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAI<TestA<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAI<TestB<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAI<TestC<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAI<TestD<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAI<TestE<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAI<TestF<int> > >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAI<TestG<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAJ<int> >::value),
  true);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAJ<TestA<int> > >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAK<int> >::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<volatile const TestAK<TestA<int> > >::value),
  true);

BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestA<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestB<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestC<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestD<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestE<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestF<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestG<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestH<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestI<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestJ<int> &>::value),
  false); // only one method implemented!
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestK<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestL<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestM<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestN<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestO<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestP<int> &>::value),
  false); // ???
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestQ<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestR<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestS<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestT<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestU<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestV<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestW<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestX<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestY<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestZ<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAA<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAB<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAC<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAD<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAE<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAF<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAG<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAH<TestA<int> > &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAH<TestB<int> > &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAH<TestC<int> > &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAH<TestD<int> > &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAH<TestE<int> > &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAH<TestF<int> > &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAH<TestG<int> > &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAI<TestA<int> > &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAI<TestB<int> > &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAI<TestC<int> > &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAI<TestD<int> > &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAI<TestE<int> > &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAI<TestF<int> > &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAI<TestG<int> > &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAJ<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAJ<TestA<int> > &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAK<int> &>::value),
  false);
BOOST_CHECK_INTEGRAL_CONSTANT(
  (::tt::is_abstract<TestAK<TestA<int> > &>::value),
  false);

TT_TEST_END