//===----------------------------------------------------------------------===//
//
//                     The LLVM Compiler Infrastructure
//
// This file is dual licensed under the MIT and the University of Illinois Open
// Source Licenses. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//

// dynarray.cons

// template <class Alloc>
//   dynarray(size_type c, const Alloc& alloc);
// template <class Alloc>
//   dynarray(size_type c, const T& v, const Alloc& alloc);
// template <class Alloc>
//   dynarray(const dynarray& d, const Alloc& alloc);
// template <class Alloc>
//   dynarray(initializer_list<T>, const Alloc& alloc);

// ~dynarray();

  
#include <__config>

#if _LIBCPP_STD_VER > 11

#include <experimental/dynarray>
#include <cassert>

#include <algorithm>
#include <complex>
#include <string>
#include "test_allocator.h"

using std::experimental::dynarray;

template <class T, class Allocator>
void check_allocator ( const dynarray<T> &dyn, const Allocator &alloc ) {
    for ( int i = 0; i < dyn.size (); ++i )
        assert ( dyn[i].get_allocator() == alloc );
}

template <class T, class Allocator>
void test ( const std::initializer_list<T> &vals, const Allocator &alloc ) {
    typedef dynarray<T> dynA;
    
    dynA d1 ( vals, alloc );
    assert ( d1.size () == vals.size() );
    assert ( std::equal ( vals.begin (), vals.end (), d1.begin (), d1.end ()));
    check_allocator ( d1, alloc );
    }


template <class T, class Allocator>
void test ( const T &val, const Allocator &alloc1, const Allocator &alloc2 ) {
    typedef dynarray<T> dynA;
    
    dynA d1 ( 4, alloc1 );
    assert ( d1.size () == 4 );
    assert ( std::all_of ( d1.begin (), d1.end (), []( const T &item ){ return item == T(); } ));
    check_allocator ( d1, alloc1 );

    dynA d2 ( 7, val, alloc1 );
    assert ( d2.size () == 7 );
    assert ( std::all_of ( d2.begin (), d2.end (), [&val]( const T &item ){ return item == val; } ));
    check_allocator ( d2, alloc1 );

    dynA d3 ( d2, alloc2 );
    assert ( d3.size () == 7 );
    assert ( std::all_of ( d3.begin (), d3.end (), [&val]( const T &item ){ return item == val; } ));   
    check_allocator ( d3, alloc2 );
    }

int main()
{
//  This test is waiting on the resolution of LWG issue #2235 
//     typedef test_allocator<char> Alloc;
//     typedef std::basic_string<char, std::char_traits<char>, Alloc> nstr;
// 
//     test ( nstr("fourteen"), Alloc(3), Alloc(4) );
//     test ( { nstr("1"), nstr("1"), nstr("2"), nstr("3"), nstr("5"), nstr("8")}, Alloc(6));
}
#else
int main() {}
#endif