2
0
mirror of https://github.com/boostorg/gil.git synced 2026-02-19 14:32:10 +00:00
Files
gil/test/channel/channel_concepts.cpp
Mateusz Loskot 73ec99e606 Refactor single-program channel test to Boost.Test suites and cases
Motivation:
- state clearly what is covered with tests without reading non-trivial code
- avoid cleverness - tests should be no-brainer
- get closer to one test case targets one feature/beaviour with one check
- replace obscure `throw std::exception` with diagnostics that are actually
  useful to pin-point failure cause and location - makes CI logs useful.
- allow to select and run specific tests
- make tests maintenance easy, quick and fun

Propose new structure of tests that reflects the previous tests hierarchy,
but organizes channel tests in test/channel directory with test programs
each covering specific library feature (or set of closely related features).

The refactored tests cover 100% of checks from the old `channel.cpp`,
plus it refines or adds a bunch more.
NOTE: old test/channel.cpp has not been removed yet.

Common definitions from the single test/channel.cpp moved to
channel_test_fixtures.hpp and namespace boost::gil::test::fixture:
Classes and typedefs:
- `do_test` as `fixture::channel`
- `value_core` as `fixture::channel_value`
- `reference_core` as `fixture::channel_reference`
- `packed_reference_core` as `fixture::packed_channel_reference`
- `packed_dynamic_reference_core` as `fixture::packed_dynamic_channel_reference`
- `channel_archetype` and relatives to `channel_concepts.cpp` which is compile
   test in Jamfile
- `test_packed_channel_reference()` parts as `fixture::packed_channels565`
- `test_packed_dynamic_channel_reference()` parts as `fixture::packed_dynamic_channels565`
Test case functions called from `do_test<T>::test_all`:
- `test_channel_invert()` to `algorithm_channel_invert.cpp` suite
- `test_channel_convert()` to `algorithm_channel_convert.cpp` suite
- `test_channel_multiply()` to `algorithm_channel_multiply.cpp` suite
- `test_channel_math()` split to `algorithm_channel_relation.cpp`
   and `algorithm_channel_arithmetic.cpp`

Add test cases for each channel value type T as used to run from
`test_channel_value_impl<T>`, `test_packed_channel_reference<T>` and
`test_packed_dynamic_channel_reference<T>`.

Add list of possible T-s defined as type-lists `fixture::channel_byte_types`,
`fixture::channel_integer_types`, `channel_float_types` and
`channel_bitfield_types` which used with `BOOST_AUTO_TEST_CASE_TEMPLATE`
generate all possible combination of inputs.

Add new `channel_test_fixture.cpp` is a self-test suite verifying the fixtures.
2018-06-27 00:02:27 -04:00

93 lines
3.0 KiB
C++

//
// Copyright 2005-2007 Adobe Systems Incorporated
// Copyright 2018 Mateusz Loskot <mateusz at loskot dot net>
//
// 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
//
#include <boost/gil/gil_concept.hpp>
#include <cstdint>
#define BOOST_TEST_MODULE test_channel_concepts
#include <gil_test_common.hpp>
#include "channel_test_fixture.hpp"
namespace gil = boost::gil;
namespace fixture = boost::gil::test::fixture;
// A channel archetype - to test the minimum requirements of the concept
struct channel_value_archetype;
struct channel_archetype
{
// equality comparable
friend bool operator==(channel_archetype const&, channel_archetype const&)
{ return true; }
// inequality comparable
friend bool operator!=(channel_archetype const&, channel_archetype const&)
{ return false; }
// less-than comparable
friend bool operator<(channel_archetype const&, channel_archetype const&)
{ return false; }
// convertible to a scalar
operator std::uint8_t() const { return 0; }
channel_archetype& operator++() { return *this; }
channel_archetype& operator--() { return *this; }
channel_archetype operator++(int) { return *this; }
channel_archetype operator--(int) { return *this; }
template <typename Scalar>
channel_archetype operator+=(Scalar) { return *this; }
template <typename Scalar>
channel_archetype operator-=(Scalar) { return *this; }
template <typename Scalar>
channel_archetype operator*=(Scalar) { return *this; }
template <typename Scalar>
channel_archetype operator/=(Scalar) { return *this; }
using value_type = channel_value_archetype;
using reference = channel_archetype;
using const_reference = channel_archetype const;
using pointer = channel_value_archetype*;
using const_pointer = channel_value_archetype const*;
BOOST_STATIC_CONSTANT(bool, is_mutable=true);
static value_type min_value();
static value_type max_value();
};
struct channel_value_archetype : public channel_archetype
{
// default constructible
channel_value_archetype() {}
// copy constructible
channel_value_archetype(channel_value_archetype const&) = default;
// assignable
channel_value_archetype& operator=(channel_value_archetype const&)
{return *this;}
channel_value_archetype(std::uint8_t) {}
};
channel_value_archetype channel_archetype::min_value()
{
return channel_value_archetype();
}
channel_value_archetype channel_archetype::max_value()
{
return channel_value_archetype();
}
BOOST_AUTO_TEST_CASE(channel_minimal_requirements)
{
// Do only compile-time tests for the archetype
// (because asserts like val1<val2 fail)
boost::function_requires<gil::MutableChannelConcept<channel_archetype>>();
fixture::channel_value<channel_value_archetype>();
fixture::channel_reference<channel_archetype>();
fixture::channel_reference<channel_archetype const&>();
}