//============================================================================
//  Copyright (c) Kitware, Inc.
//  All rights reserved.
//  See LICENSE.txt for details.
//
//  This software is distributed WITHOUT ANY WARRANTY; without even
//  the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
//  PURPOSE.  See the above copyright notice for more information.
//============================================================================

// This test does not really need a device compiler
#define VTKM_NO_ERROR_ON_MIXED_CUDA_CXX_TAG

#include <vtkm/cont/arg/TypeCheckTagKeys.h>

#include <vtkm/worklet/Keys.h>

#include <vtkm/cont/ArrayHandle.h>

#include <vtkm/cont/testing/Testing.h>

namespace
{

struct TestNotKeys
{
};

void TestCheckKeys()
{
  std::cout << "Checking reporting of type checking keys." << std::endl;

  using vtkm::cont::arg::TypeCheck;
  using vtkm::cont::arg::TypeCheckTagKeys;

  VTKM_TEST_ASSERT((TypeCheck<TypeCheckTagKeys, vtkm::worklet::Keys<vtkm::Id>>::value),
                   "Type check failed.");
  VTKM_TEST_ASSERT((TypeCheck<TypeCheckTagKeys, vtkm::worklet::Keys<vtkm::Float32>>::value),
                   "Type check failed.");
  VTKM_TEST_ASSERT((TypeCheck<TypeCheckTagKeys, vtkm::worklet::Keys<vtkm::Id3>>::value),
                   "Type check failed.");

  VTKM_TEST_ASSERT(!(TypeCheck<TypeCheckTagKeys, TestNotKeys>::value), "Type check failed.");
  VTKM_TEST_ASSERT(!(TypeCheck<TypeCheckTagKeys, vtkm::Id>::value), "Type check failed.");
  VTKM_TEST_ASSERT(!(TypeCheck<TypeCheckTagKeys, vtkm::cont::ArrayHandle<vtkm::Id>>::value),
                   "Type check failed.");
}

} // anonymous namespace

int UnitTestTypeCheckKeys(int argc, char* argv[])
{
  return vtkm::cont::testing::Testing::Run(TestCheckKeys, argc, argv);
}
