boostorg/mpl
1
0
Fork 1
mirror of https://github.com/boostorg/mpl.git synced 2025-08-03 23:04:33 +02:00
Code Issues Packages Projects Releases Wiki Activity

set stub implementation

Browse Source 
[SVN r18341]
This commit is contained in:
Aleksey Gurtovoy
2003-05-03 04:42:21 +00:00
parent c852ca8d41
commit 1a48cd1714
1 changed files with 59 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

59
test/set.cpp Normal file
View File

@@ -0,0 +1,59 @@
// + file: libs/mpl/test/set.cpp
// + last modified: 02/may/03
// Copyright (c) 2002-03
// Aleksey Gurtovoy
//
// Permission to use, copy, modify, distribute and sell this software
// and its documentation for any purpose is hereby granted without fee,
// provided that the above copyright notice appears in all copies and
// that both the copyright notice and this permission notice appear in
// supporting documentation. No representations are made about the
// suitability of this software for any purpose. It is provided "as is"
// without express or implied warranty.
//
// See http://www.boost.org/libs/mpl for documentation.
#include "boost/mpl/set/set0.hpp"
#include "boost/mpl/has_key.hpp"
#include "boost/static_assert.hpp"
namespace mpl = boost::mpl;
#define MPL_TEST_CASE( test_name ) void test_name()
#define MPL_TEST_ASSERT( expr ) BOOST_STATIC_ASSERT( expr )
struct UDT {};
struct incomplete;
MPL_TEST_CASE( empty_set )
{
typedef mpl::set0<> s;
MPL_TEST_ASSERT(( !mpl::has_key<s,char>::type::value ));
MPL_TEST_ASSERT(( !mpl::has_key<s,int>::type::value ));
MPL_TEST_ASSERT(( !mpl::has_key<s,UDT>::type::value ));
MPL_TEST_ASSERT(( !mpl::has_key<s,incomplete>::type::value ));
MPL_TEST_ASSERT(( !mpl::has_key<s,char const>::type::value ));
MPL_TEST_ASSERT(( !mpl::has_key<s,int const>::type::value ));
MPL_TEST_ASSERT(( !mpl::has_key<s,UDT const>::type::value ));
MPL_TEST_ASSERT(( !mpl::has_key<s,incomplete const>::type::value ));
MPL_TEST_ASSERT(( !mpl::has_key<s,int*>::type::value ));
MPL_TEST_ASSERT(( !mpl::has_key<s,UDT*>::type::value ));
MPL_TEST_ASSERT(( !mpl::has_key<s,incomplete*>::type::value ));
MPL_TEST_ASSERT(( !mpl::has_key<s,int&>::type::value ));
MPL_TEST_ASSERT(( !mpl::has_key<s,UDT&>::type::value ));
MPL_TEST_ASSERT(( !mpl::has_key<s,incomplete&>::type::value ));
}
int main()
{
return 0;
}