test_mutant.cpp

Boost provides free peer-reviewed portable C++ source libraries. We emphasize libraries that work

// Boost.Bimap
//
// Copyright (c) 2006-2007 Matias Capeletto
//
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)

//  VC++ 8.0 warns on usage of certain Standard Library and API functions that
//  can be cause buffer overruns or other possible security issues if misused.
//  See http://msdn.microsoft.com/msdnmag/issues/05/05/SafeCandC/default.aspx
//  But the wording of the warning is misleading and unsettling, there are no
//  portable alternative functions, and VC++ 8.0's own libraries use the
//  functions in question. So turn off the warnings.
#define _CRT_SECURE_NO_DEPRECATE
#define _SCL_SECURE_NO_DEPRECATE

#include <boost/config.hpp>

// Boost.Test
#include <boost/test/minimal.hpp>

// Boost.MPL
#include <boost/mpl/list.hpp>
#include <boost/type_traits/is_same.hpp>

// Boost.Bimap
#include <boost/bimap/relation/detail/mutant.hpp>

using namespace boost::bimaps::relation::detail;

// The mutant idiom is standard if only POD types are used.

typedef double  type_a;
typedef int     type_b;

const type_a value_a = 1.4;
const type_b value_b = 3;

struct Data
{
    type_a a;
    type_b b;
};

struct StdPairView
{
    typedef type_a first_type;
    typedef type_b second_type;
    type_a first;
    type_b second;
};

struct ReverseStdPairView
{
    typedef type_a second_type;
    typedef type_b first_type;
    type_a second;
    type_b first;
};


struct MutantData
{
    typedef boost::mpl::list< StdPairView, ReverseStdPairView > mutant_views;

    MutantData(type_a ap, type_b bp) : a(ap), b(bp) {}
    type_a a;
    type_b b;
};


void test_mutant_basic()
{

    // mutant test
    {
        MutantData m(value_a,value_b);

        BOOST_CHECK( sizeof( MutantData ) == sizeof( StdPairView ) );

        BOOST_CHECK( mutate<StdPairView>(m).first  == value_a );
        BOOST_CHECK( mutate<StdPairView>(m).second == value_b );
        BOOST_CHECK( mutate<ReverseStdPairView>(m).first  == value_b );
        BOOST_CHECK( mutate<ReverseStdPairView>(m).second == value_a );

        ReverseStdPairView & rpair = mutate<ReverseStdPairView>(m);
        rpair.first = value_b;
        rpair.second = value_a;

        BOOST_CHECK( mutate<StdPairView>(m).first  == value_a );
        BOOST_CHECK( mutate<StdPairView>(m).second == value_b );

        BOOST_CHECK( &mutate<StdPairView>(m).first  == &m.a );
        BOOST_CHECK( &mutate<StdPairView>(m).second == &m.b );
    }
}

int test_main( int, char* [] )
{
    test_mutant_basic();
    return 0;
}