// (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 <vector>
#include <list>
#include <forward_list>

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

using namespace origin;
using std::cout;

template <
    typename R,
    typename = typename requires<Range<R>>::type
>
void test() {
    typedef Range<R> Model;
    cout << typestr<Model>() << "\n";
    cout << "  sat: " << typestr<typename Model::satisfied>() << "\n";
}


int main() {
    {
        typedef std::vector<int> Vector;
        typedef iterator_range<Vector::iterator> VectorRange;
        test<VectorRange>();
    }

    {
        typedef std::list<int> List;
        typedef iterator_range<List::iterator> ListRange;
        test<ListRange>();
    }

    {
        typedef iterator_range<int> InvalidRange;
        // test<int>(); CRIT
        test<InvalidRange>();
    }

    return 0;
}