testInteger.cpp

Go to the documentation of this file.

#include <iostream>
#include <string>
#include "DGtal/base/Common.h"
#include "DGtal/kernel/CInteger.h"
#include "DGtal/kernel/CUnsignedNumber.h"

using namespace std;
using namespace DGtal;

// Functions for testing class Integer.

bool testInteger()
{
  unsigned int nbok = 0;
  unsigned int nb = 0;
  
  trace.beginBlock ( "Checking CInteger models ..." );
  BOOST_CONCEPT_ASSERT(( concepts::CInteger<int> ));
  BOOST_CONCEPT_ASSERT(( concepts::CInteger<DGtal::int16_t> ));

  nbok += true ? 1 : 0; 
  nb++;
  trace.info() << "(" << nbok << "/" << nb << ") "
         << "true == true" << std::endl;

  trace.info() << "  - max int16 = " << NumberTraits<DGtal::int16_t>::max()
         << std::endl;
  trace.info() << "  - min int16 = " << NumberTraits<DGtal::int16_t>::min()
         << std::endl;
  trace.info() << "  - max int32 = " << NumberTraits<DGtal::int32_t>::max()
         << std::endl;
  trace.info() << "  - min int32 = " << NumberTraits<DGtal::int32_t>::min()
         << std::endl;
  trace.info() << "  - max int64 = " << NumberTraits<DGtal::int64_t>::max()
         << std::endl;
  trace.info() << "  - min int64 = " << NumberTraits<DGtal::int64_t>::min()
         << std::endl;
  trace.info() << "  - max uint16 = " << NumberTraits<DGtal::uint16_t>::max()
         << std::endl;
  trace.info() << "  - min uint16 = " << NumberTraits<DGtal::uint16_t>::min()
         << std::endl;
  trace.info() << "  - max uint32 = " << NumberTraits<DGtal::uint32_t>::max()
         << std::endl;
  trace.info() << "  - min uint32 = " << NumberTraits<DGtal::uint32_t>::min()
         << std::endl;
  trace.info() << "  - max uint64 = " << NumberTraits<DGtal::uint64_t>::max()
         << std::endl;
  trace.info() << "  - min uint64 = " << NumberTraits<DGtal::uint64_t>::min()
         << std::endl;

  trace.endBlock();

  trace.beginBlock ( "Checking CUnsignedInteger models ..." );
  BOOST_CONCEPT_ASSERT(( concepts::CUnsignedNumber<unsigned int> ));
  // These tests fail : int is not a model of CUnsignedInteger.
  // BOOST_CONCEPT_ASSERT(( CUnsignedInteger<int> ));
  nbok += true ? 1 : 0; 
  nb++;
  trace.info() << "(" << nbok << "/" << nb << ") "
         << "true == true" << std::endl;
  trace.endBlock();

  trace.beginBlock ( "Checking NumberTraits on  built-in OS dependent types ..." );
  trace.warning() << "If digits() returns 0, the type is not considered in specilizations"<<endl;
  trace.info() << "  - digits int = " << NumberTraits<int>::digits()<< std::endl;
  //  nbok += (NumberTraits<int>::digits() == 0) ? 0 : 1; 
  //  nb++;
  trace.info() << "  - digits unsigned int = " << NumberTraits<unsigned int>::digits()<< std::endl;
  // nbok += (NumberTraits<unsigned int>::digits() == 0) ? 0 : 1; 
  //nb++;
  trace.info() << "  - digits long int = " << NumberTraits<long int>::digits()<< std::endl;
  //nbok += (NumberTraits<long int>::digits() == 0) ? 0 : 1; 
  //nb++;
  
  trace.info() << "(" << nbok << "/" << nb << ") "
         << "true == true" << std::endl;
  trace.endBlock();


  
  return nbok == nb;
}

// Standard services - public :

int main( int argc, char** argv )
{
  trace.beginBlock ( "Testing class Integer" );
  trace.info() << "Args:";
  for ( int i = 0; i < argc; ++i )
    trace.info() << " " << argv[ i ];
  trace.info() << endl;

  bool res = testInteger(); // && ... other tests
  trace.emphase() << ( res ? "Passed." : "Error." ) << endl;
  trace.endBlock();
  return res ? 0 : 1;
}
//                                                                           //