testPointPredicateConcepts.cpp

Go to the documentation of this file.

#include <iostream>
#include <functional>
#include "DGtal/base/Common.h"
#include "DGtal/helpers/StdDefs.h"
#include "DGtal/kernel/BasicPointPredicates.h"
#include "DGtal/images/ImageSelector.h"
 
using namespace std;
using namespace DGtal;
using namespace DGtal::functors;
using namespace DGtal::concepts;

// Functions for testing class PointPredicateConcepts.

template <typename PointFunctor1,typename Predicate1, typename PointFunctor2, typename Predicate2>
bool
testPointPredicateConcepts()
{
    // PointFunctorPredicate
    typedef PointFunctorPredicate<PointFunctor1, Predicate1> PointPredicate1;
    BOOST_CONCEPT_ASSERT (( concepts::CPointPredicate< PointPredicate1 > ));
    typedef PointFunctorPredicate<PointFunctor2, Predicate2> PointPredicate2;
    BOOST_CONCEPT_ASSERT (( concepts::CPointPredicate< PointPredicate2 > ));
 
    // Binary PointPredicate
    typedef std::logical_and<bool> BinaryFunctor;
    BOOST_CONCEPT_ASSERT (( concepts::CPointPredicate< BinaryPointPredicate<PointPredicate1, PointPredicate2, BinaryFunctor> > ));
 
    // NotPointPredicate
    BOOST_CONCEPT_ASSERT(( concepts::CPointPredicate< NotPointPredicate<PointPredicate1> > ));
    BOOST_CONCEPT_ASSERT(( concepts::CPointPredicate< NotPointPredicate<PointPredicate2> > ));
 
    typedef typename PointFunctor1::Point Point;
    // EqualPointPredicate
    BOOST_CONCEPT_ASSERT(( concepts::CPointPredicate< EqualPointPredicate<Point> > ));
    // IsWithinPointPredicate
    BOOST_CONCEPT_ASSERT(( concepts::CPointPredicate< IsWithinPointPredicate<Point> > ));
    // IsUpperPointPredicate
    BOOST_CONCEPT_ASSERT(( concepts::CPointPredicate< IsUpperPointPredicate<Point> > ));
    // IsLowerPointPredicate
    BOOST_CONCEPT_ASSERT(( concepts::CPointPredicate< IsLowerPointPredicate<Point> > ));
    // TruePointPredicate
    BOOST_CONCEPT_ASSERT(( concepts::CPointPredicate< TruePointPredicate<Point> > ));
    // FalsePointPredicate
    BOOST_CONCEPT_ASSERT(( concepts::CPointPredicate< FalsePointPredicate<Point> > ));
 
    return true;
}

// Standard services - public :
 
int main( int argc, char** argv )
{
  trace.beginBlock ( "Testing PointPredicate Concepts" );
  trace.info() << "Args:";
  for ( int i = 0; i < argc; ++i )
    trace.info() << " " << argv[ i ];
  trace.info() << endl;
 
  bool res = true;
  typedef ImageSelector<Z3i::Domain, int>::Type IntImage;
  using IntPredicate = std::function<bool(int)>;
  typedef ImageSelector<Z3i::Domain, float>::Type FloatImage;
  using FloatPredicate = std::function<bool(float)>;
  res &= testPointPredicateConcepts<IntImage, IntPredicate, FloatImage, FloatPredicate>();
 
  trace.emphase() << ( res ? "Passed." : "Error." ) << endl;
  trace.endBlock();
  return res ? 0 : 1;
}
//                                                                           //