// -*- C++ -*-
/***************************************************************************
 *
 * 20.meta.trans.arr.cpp - test exercising meta.trans.arr
 *
 * $Id$
 *
 ***************************************************************************
 *
 * Licensed to the Apache Software  Foundation (ASF) under one or more
 * contributor  license agreements.  See  the NOTICE  file distributed
 * with  this  work  for  additional information  regarding  copyright
 * ownership.   The ASF  licenses this  file to  you under  the Apache
 * License, Version  2.0 (the  "License"); you may  not use  this file
 * except in  compliance with the License.   You may obtain  a copy of
 * the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the  License is distributed on an  "AS IS" BASIS,
 * WITHOUT  WARRANTIES OR CONDITIONS  OF ANY  KIND, either  express or
 * implied.   See  the License  for  the  specific language  governing
 * permissions and limitations under the License.
 *
 * Copyright 1999-2008 Rogue Wave Software, Inc.
 *
 **************************************************************************/

#include <rw_driver.h>
#include <rw/_defs.h>

// compile out all test code if extensions disabled
#ifndef _RWSTD_NO_EXT_CXX_0X

#include <type_traits>

/**************************************************************************/

void test_trait (int line, const char* trait,
                 const char* typeT, const char* typeU,
                 bool success)
{
    rw_assert (success, 0, line,
               "%s<%s>::type is %{?}exactly%{:}not%{;} %s",
               trait, typeT, success, typeU);
}

#define TEST(Trait,TypeT,TypeU)                                      \
    test_trait(__LINE__, #Trait, #TypeT, #TypeU,                     \
               std::is_same<Trait<TypeT>::type, TypeU>::value)

/**************************************************************************/

static void test_remove_extent ()
{
    TEST (std::remove_extent, int, int);
    TEST (std::remove_extent, int[], int);
    TEST (std::remove_extent, int[5], int);
    TEST (std::remove_extent, int[][5], int[5]);
    TEST (std::remove_extent, int[5][5], int[5]);

    TEST (std::remove_extent, void, void);
    TEST (std::remove_extent, void*, void*);

    TEST (std::remove_extent, long (*)[1], long (*)[1]);

    TEST (std::remove_extent, long    (), long    ());
    TEST (std::remove_extent, long (*)(), long (*)());
    TEST (std::remove_extent, long (&)(), long (&)());
}

static void test_remove_all_extents ()
{
    TEST (std::remove_all_extents, int, int);
    TEST (std::remove_all_extents, int[], int);
    TEST (std::remove_all_extents, int[5], int);
    TEST (std::remove_all_extents, int[][5], int);
    TEST (std::remove_all_extents, int[5][5], int);

    TEST (std::remove_all_extents, void, void);
    TEST (std::remove_all_extents, void*, void*);

    TEST (std::remove_all_extents, long (*)[1], long (*)[1]);

    TEST (std::remove_all_extents, long    (), long    ());
    TEST (std::remove_all_extents, long (*)(), long (*)());
    TEST (std::remove_all_extents, long (&)(), long (&)());
}

/**************************************************************************/

static int run_test (int, char*[])
{
    test_remove_extent ();
    test_remove_all_extents ();

    return 0;
}

/**************************************************************************/

#else // _RWSTD_NO_EXT_CXX_0X

/**************************************************************************/

static int run_test (int, char*[])
{
    rw_warn (0, 0, __LINE__,
             "test disabled because _RWSTD_NO_EXT_CXX_0X is defined");
    return 0;
}

#endif // !_RWSTD_NO_EXT_CXX_0X

/**************************************************************************/

int main (int argc, char *argv[])
{
    return rw_test (argc, argv, __FILE__,
                    "meta.trans.arr",
                    0 /* no comment */,
                    run_test,
                    0);
}