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"
 
#include "DGtalCatch.h"
 
using namespace std;
using namespace DGtal;

// Functions for testing class Integer.

TEST_CASE( "Checking CInteger models")
{
  trace.beginBlock ( "Checking CInteger models ..." );
  BOOST_CONCEPT_ASSERT(( concepts::CInteger<int> ));
  BOOST_CONCEPT_ASSERT(( concepts::CInteger<DGtal::int16_t> ));
  
  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> ));
  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;
  trace.info() << "  - digits unsigned int = " << NumberTraits<unsigned int>::digits()<< std::endl;
  trace.info() << "  - digits long int = " << NumberTraits<long int>::digits()<< std::endl;
  trace.endBlock();
}
TEST_CASE( "Checking CInteger models") {…}
 
TEST_CASE("DGal::BigInteger tests")
{
  trace.beginBlock ( "Checking CUnsignedInteger models ..." );
  BOOST_CONCEPT_ASSERT(( concepts::CInteger<DGtal::BigInteger> ));
  trace.endBlock();
  
  DGtal::BigInteger big(425);
  CHECK(big == (int)425);
  
  DGtal::BigInteger anotherbig(5);
  DGtal::BigInteger res = big + anotherbig;
  CHECK(res == (int)430);
}
TEST_CASE("DGal::BigInteger tests") {…}
 
//                                                                           //