// (C) Copyright 2008-2009 SDML (www.sdml.info)
//
// 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)


#include <iostream>
#include <iomanip>

#include <origin/utility/typestr.hpp>
#include <origin/concepts.hpp>

using namespace origin;
using std::cout;

int main() {
    // Support
    BOOST_ASSERT(( concept_check< VariableType<int> >::value ));
    BOOST_ASSERT(( concept_check< ObjectType<int> >::value ));
    BOOST_ASSERT(( !concept_check< PolymorphicClass<int> >::value ));
    BOOST_ASSERT(( concept_check< SameType<int, int> >::value ));
    BOOST_ASSERT(( !concept_check< SameType<int, int const> >::value ));

    // True (and False!)
    BOOST_ASSERT(( concept_check< True<true> >::value ));
    BOOST_ASSERT(( !concept_check< True<false> >::value ));
    BOOST_ASSERT(( concept_check< Tautology >::value ));
    BOOST_ASSERT(( !concept_check< Contradiction >::value ));

    // Classification
    BOOST_ASSERT(( concept_check< LvalueReference<int&> >::value ));
    BOOST_ASSERT(( !concept_check< LvalueReference<int> >::value ));
    BOOST_ASSERT(( !concept_check< LvalueReference<int&&> >::value ));

    BOOST_ASSERT(( concept_check< RvalueReference<int&&> >::value ));
    BOOST_ASSERT(( !concept_check< RvalueReference<int> >::value ));
    BOOST_ASSERT(( !concept_check< RvalueReference<int&> >::value ));

    // Destruction
    BOOST_ASSERT(( concept_check< HasDestructor<int> >::value ));
    BOOST_ASSERT(( concept_check< HasDestructor<int*> >::value ));
    BOOST_ASSERT(( concept_check< HasVirtualDestructor<std::ostream> >::value ));
    BOOST_ASSERT(( !concept_check< HasVirtualDestructor<int> >::value ));
    BOOST_ASSERT(( concept_check< NothrowDestructible<int> >::value ));
    BOOST_ASSERT(( concept_check< TriviallyDestructible<int> >::value ));
    BOOST_ASSERT(( !concept_check< TriviallyDestructible<std::string> >::value ));

    // Construction
    BOOST_ASSERT(( concept_check< HasConstructor<int> >::value ));
    BOOST_ASSERT(( concept_check< Constructible<int> >::value ));
    BOOST_ASSERT(( concept_check< DefaultConstructible<int> >::value ));
    BOOST_ASSERT(( concept_check< TriviallyDefaultConstructible<int> >::value ));
    BOOST_ASSERT(( !concept_check< TriviallyDefaultConstructible<std::string> >::value ));
    BOOST_ASSERT(( concept_check< MoveConstructible<int> >::value ));
    BOOST_ASSERT(( concept_check< MoveConstructible<int*> >::value ));
    BOOST_ASSERT(( concept_check< CopyConstructible<int> >::value ));
    BOOST_ASSERT(( concept_check< TriviallyCopyConstructible<int> >::value ));
    BOOST_ASSERT(( !concept_check< TriviallyCopyConstructible<std::string> >::value ));

    // Operators
    BOOST_ASSERT(( concept_check< HasEqualTo<int, int> >::value ));
    BOOST_ASSERT(( concept_check< HasLess<int, int> >::value ));
    BOOST_ASSERT(( concept_check< HasAssign<int, int> >::value ));
    BOOST_ASSERT(( concept_check< HasDereference<int*> >::value ));
    BOOST_ASSERT(( !concept_check< HasDereference<int> >::value ));
    BOOST_ASSERT(( concept_check< HasAddressOf<int> >::value ));
    BOOST_ASSERT(( concept_check< HasPlus<int,int> >::value ));
    // BOOST_ASSERT(( !concept_check< HasSubscript<int, int> > ));  // WRONG
    // BOOST_ASSERT(( !concept_check< Callable<int> > ));   // WRONG
    BOOST_ASSERT(( concept_check< Callable<void(*)(int), int> >::value ));
    BOOST_ASSERT(( concept_check< Callable<std::less<int>, int, int> >::value ));


    // Copy and Move Assignment
    BOOST_ASSERT(( concept_check< MoveConstructible<int> >::value ));
    BOOST_ASSERT(( concept_check< CopyConstructible<int> >::value ));
    BOOST_ASSERT(( concept_check< TriviallyCopyConstructible<int> >::value ));
    BOOST_ASSERT(( !concept_check< TriviallyCopyConstructible<std::string> >::value ));
    BOOST_ASSERT(( concept_check< HasSwap<std::string, std::string> >::value ));
    BOOST_ASSERT(( !concept_check< HasSwap<int, int> >::value ));
    BOOST_ASSERT(( concept_check< Swappable<std::string> >::value ));
    BOOST_ASSERT(( !concept_check< Swappable<int> >::value ));

    // Conversion
    // TODO: Is this right?
    BOOST_ASSERT(( concept_check< ExplicitlyConvertible<int, char> >::value ));
    BOOST_ASSERT(( concept_check< Convertible<int, char> >::value ));

    // Comparison
    BOOST_ASSERT(( concept_check< EqualityComparable<int> >::value ));
    BOOST_ASSERT(( concept_check< LessThanComparable<int> >::value ));

    // Functions
    BOOST_ASSERT(( concept_check< Predicate<bool(*)(int, int), int, int> >::value ));
    BOOST_ASSERT(( concept_check< Predicate<std::less<int>, int, int> >::value ));
    BOOST_ASSERT(( !concept_check< Predicate<std::plus<std::string>, int, int> >::value ));
    BOOST_ASSERT(( concept_check< StrictWeakOrder<bool(*)(int, int), int> >::value ));
    BOOST_ASSERT(( concept_check< StrictWeakOrder<std::less<int>, int> >::value ));
    BOOST_ASSERT(( concept_check< EquivalenceRelation<bool(*)(int, int), int> >::value ));
    BOOST_ASSERT(( concept_check< EquivalenceRelation<std::equal_to<int>, int> >::value ));

    // Memory
    BOOST_ASSERT(( concept_check< FreeStoreAllocatable<int> >::value ));

    // Regular
    BOOST_ASSERT(( concept_check< Semiregular<int> >::value ));
    BOOST_ASSERT(( concept_check< Regular<int> >::value ));

    // Arithmetic
    BOOST_ASSERT(( concept_check< ArithmeticLike<int> >::value ));
    BOOST_ASSERT(( concept_check< ArithmeticLike<float> >::value ));
    BOOST_ASSERT(( concept_check< IntegralLike<int> >::value ));
    BOOST_ASSERT(( !concept_check< IntegralLike<float> >::value ));
    BOOST_ASSERT(( concept_check< SignedIntegralLike<int> >::value ));
    BOOST_ASSERT(( !concept_check< SignedIntegralLike<float> >::value ));
    BOOST_ASSERT(( concept_check< UnsignedIntegralLike<int> >::value ));
    BOOST_ASSERT(( !concept_check< UnsignedIntegralLike<float> >::value ));
    BOOST_ASSERT(( concept_check< FloatingPointLike<float> >::value ));
    BOOST_ASSERT(( !concept_check< FloatingPointLike<int> >::value ));

    return 0;
}