1 /*
   2  * Copyright (c) 2014, Oracle and/or its affiliates. All rights reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.
   8  *
   9  * This code is distributed in the hope that it will be useful, but WITHOUT
  10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  12  * version 2 for more details (a copy is included in the LICENSE file that
  13  * accompanied this code).
  14  *
  15  * You should have received a copy of the GNU General Public License version
  16  * 2 along with this work; if not, write to the Free Software Foundation,
  17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  18  *
  19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  20  * or visit www.oracle.com if you need additional information or have any
  21  * questions.
  22  *
  23  */
  24 
  25 #include "utilities/debug.hpp"
  26 #include "utilities/traits/isSame.hpp"
  27 #include "utilities/traits/removeCv.hpp"
  28 
  29 class RemoveCvTest {
  30   enum EnumType {};
  31   union UnionType {};
  32   class ClassType {};
  33   struct StructType {};
  34   typedef int PrimitiveType;
  35 
  36   static void test() {
  37     STATIC_ASSERT((IsSame<EnumType, RemoveCv<const volatile EnumType>::type>::value));
  38     STATIC_ASSERT((IsSame<UnionType, RemoveCv<const volatile UnionType>::type>::value));
  39     STATIC_ASSERT((IsSame<ClassType, RemoveCv<const volatile ClassType>::type>::value));
  40     STATIC_ASSERT((IsSame<StructType, RemoveCv<const volatile StructType>::type>::value));
  41     STATIC_ASSERT((IsSame<PrimitiveType, RemoveCv<const volatile PrimitiveType>::type>::value));
  42 
  43     STATIC_ASSERT((IsSame<EnumType, RemoveCv<const EnumType>::type>::value));
  44     STATIC_ASSERT((IsSame<EnumType, RemoveCv<volatile EnumType>::type>::value));
  45     STATIC_ASSERT((IsSame<UnionType, RemoveCv<const UnionType>::type>::value));
  46     STATIC_ASSERT((IsSame<UnionType, RemoveCv<volatile UnionType>::type>::value));
  47     STATIC_ASSERT((IsSame<ClassType, RemoveCv<const ClassType>::type>::value));
  48     STATIC_ASSERT((IsSame<ClassType, RemoveCv<volatile ClassType>::type>::value));
  49     STATIC_ASSERT((IsSame<StructType, RemoveCv<const StructType>::type>::value));
  50     STATIC_ASSERT((IsSame<StructType, RemoveCv<volatile StructType>::type>::value));
  51     STATIC_ASSERT((IsSame<PrimitiveType, RemoveCv<const PrimitiveType>::type>::value));
  52     STATIC_ASSERT((IsSame<PrimitiveType, RemoveCv<volatile PrimitiveType>::type>::value));
  53 
  54     // These are currently not part of contract
  55     STATIC_ASSERT((!IsSame<PrimitiveType*, RemoveCv<const PrimitiveType*>::type>::value));
  56     STATIC_ASSERT((!IsSame<PrimitiveType*, RemoveCv<volatile PrimitiveType*>::type>::value));
  57     STATIC_ASSERT((!IsSame<PrimitiveType*, RemoveCv<PrimitiveType const*>::type>::value));
  58     STATIC_ASSERT((!IsSame<PrimitiveType*, RemoveCv<PrimitiveType volatile*>::type>::value));
  59   }
  60 };
  61