DGtal  0.6.devel
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Data Structures | Functions
DGtal::ConceptUtils Namespace Reference

Data Structures

struct  SameType
struct  SameType< T, T >
struct  CheckTrue
struct  CheckTrue< TagTrue >
struct  CheckFalse
struct  CheckUnknown
struct  CheckUnknown< TagUnknown >
struct  CheckTrueOrFalse
struct  CheckTag

Functions

template<typename T >
void sameType (const T &t1, const T &t2)
void checkTrue (const TagTrue &tag)
void checkFalse (const TagFalse &tag)
void checkUnknown (const TagUnknown &tag)
void checkTag (const TagUnknown &tag)
void checkTag (const TagTrue &tag)
void checkTag (const TagFalse &tag)
void checkTrueOrFalse (const TagFalse &tag)
void checkTrueOrFalse (const TagTrue &tag)

Detailed Description

Aim: Gathers several functions useful for concept checks.

Description of namespace 'ConceptUtils'


Function Documentation

void DGtal::ConceptUtils::checkFalse ( const TagFalse &  tag)

Type deduction will fail unless the argument type is exactly TagFalse.

Parameters:
tagthe type to check.
void DGtal::ConceptUtils::checkTag ( const TagUnknown &  tag)

Type deduction will fail unless the argument type is a tag (TagTrue, TagFalse or TagUnknown).

Parameters:
tagthe type to check.
void DGtal::ConceptUtils::checkTag ( const TagTrue &  tag)

Type deduction will fail unless the argument type is a tag (TagTrue, TagFalse or TagUnknown).

Parameters:
tagthe type to check.
void DGtal::ConceptUtils::checkTag ( const TagFalse &  tag)

Type deduction will fail unless the argument type is a tag (TagTrue, TagFalse or TagUnknown).

Parameters:
tagthe type to check.
void DGtal::ConceptUtils::checkTrue ( const TagTrue &  tag)

Type deduction will fail unless the argument type is exactly TagTrue.

Parameters:
tagthe type to check.

Referenced by DGtal::CBoundedInteger< T >::BOOST_CONCEPT_USAGE(), DGtal::CUnsignedInteger< T >::BOOST_CONCEPT_USAGE(), and DGtal::CSignedInteger< T >::BOOST_CONCEPT_USAGE().

void DGtal::ConceptUtils::checkTrueOrFalse ( const TagFalse &  tag)

Type deduction will fail unless the argument type is the tag TagTrue or TagFalse.

Parameters:
tagthe type to check.
void DGtal::ConceptUtils::checkTrueOrFalse ( const TagTrue &  tag)

Type deduction will fail unless the argument type is the tag TagTrue or TagFalse.

Parameters:
tagthe type to check.
void DGtal::ConceptUtils::checkUnknown ( const TagUnknown &  tag)

Type deduction will fail unless the argument type is exactly TagUnknown.

Parameters:
tagthe type to check.
template<typename T >
void DGtal::ConceptUtils::sameType ( const T &  t1,
const T &  t2 
)

Type deduction will fail unless the arguments have the same type.

Parameters:
t1some object of type T.
t2some object of type T.

Referenced by DGtal::CSeparableMetric< T >::BOOST_CONCEPT_USAGE(), DGtal::CSinglePassOutputRange< T, Value >::BOOST_CONCEPT_USAGE(), DGtal::CSinglePassRangeFromPoint< T >::BOOST_CONCEPT_USAGE(), DGtal::CBidirectionalOutputRange< T, Value >::BOOST_CONCEPT_USAGE(), DGtal::CBidirectionalOutputRangeFromPoint< T, Value >::BOOST_CONCEPT_USAGE(), DGtal::CSinglePassOutputRangeFromPoint< T, Value >::BOOST_CONCEPT_USAGE(), DGtal::CNormalVectorEstimator< T >::BOOST_CONCEPT_USAGE(), DGtal::CBidirectionalRangeFromPoint< T >::BOOST_CONCEPT_USAGE(), DGtal::CDynamicBidirectionalSegmentComputer< T >::BOOST_CONCEPT_USAGE(), DGtal::CEuclideanRing< T >::BOOST_CONCEPT_USAGE(), DGtal::CUnaryFunctor< T, T::Cell, T::RealPoint >::BOOST_CONCEPT_USAGE(), DGtal::CDynamicSegmentComputer< T >::BOOST_CONCEPT_USAGE(), DGtal::CColorMap< CMap >::BOOST_CONCEPT_USAGE(), DGtal::CGlobalGeometricEstimator< T >::BOOST_CONCEPT_USAGE(), DGtal::CVertexMap< T >::BOOST_CONCEPT_USAGE(), DGtal::CLocalGeometricEstimator< T >::BOOST_CONCEPT_USAGE(), DGtal::CDrawableWithDisplay3D< T >::BOOST_CONCEPT_USAGE(), DGtal::CImage< I >::BOOST_CONCEPT_USAGE(), DGtal::CDrawableWithBoard2D< T >::BOOST_CONCEPT_USAGE(), DGtal::CTrivialConstImage< I >::BOOST_CONCEPT_USAGE(), DGtal::CDomainAdjacency< T >::BOOST_CONCEPT_USAGE(), DGtal::CEuclideanOrientedShape< T >::BOOST_CONCEPT_USAGE(), DGtal::CDigitalOrientedShape< T >::BOOST_CONCEPT_USAGE(), DGtal::CBidirectionalSegmentComputer< T >::BOOST_CONCEPT_USAGE(), DGtal::CConvolutionWeights< T >::BOOST_CONCEPT_USAGE(), DGtal::CEuclideanBoundedShape< TShape >::BOOST_CONCEPT_USAGE(), DGtal::CDigitalBoundedShape< TShape >::BOOST_CONCEPT_USAGE(), DGtal::CSpace< T >::BOOST_CONCEPT_USAGE(), DGtal::CSegmentFactory< T >::BOOST_CONCEPT_USAGE(), DGtal::CConstImage< I >::BOOST_CONCEPT_USAGE(), DGtal::CSegment< T >::BOOST_CONCEPT_USAGE(), DGtal::CDigitalSet< T >::BOOST_CONCEPT_USAGE(), DGtal::CDomain< T >::BOOST_CONCEPT_USAGE(), DGtal::CAdjacency< T >::BOOST_CONCEPT_USAGE(), DGtal::CIncrementalSegmentComputer< T >::BOOST_CONCEPT_USAGE(), DGtal::CCommutativeRing< T >::BOOST_CONCEPT_USAGE(), DGtal::CPositiveIrreducibleFraction< T >::BOOST_CONCEPT_USAGE(), DGtal::CInteger< T >::BOOST_CONCEPT_USAGE(), DGtal::CCellularGridSpaceND< T >::BOOST_CONCEPT_USAGE(), DGtal::CConstBidirectionalRangeFromPoint< T >::checkConstConstraints(), DGtal::CConstSinglePassRangeFromPoint< T, Value >::checkConstConstraints(), DGtal::CWithGradientMap< T >::checkConstConstraints(), DGtal::CCellEmbedder< T >::checkConstConstraints(), DGtal::CPointEmbedder< T >::checkConstConstraints(), DGtal::CSCellEmbedder< T >::checkConstConstraints(), DGtal::CDigitalSurfaceEmbedder< T >::checkConstConstraints(), DGtal::CPredicate< T, T::Vertex >::checkConstConstraints(), DGtal::CImplicitFunctionDiff1< T >::checkConstConstraints(), DGtal::CDigitalSurfaceTracker< T >::checkConstConstraints(), DGtal::CUndirectedSimpleGraph< T >::checkConstConstraints(), DGtal::CDigitalSet< T >::checkConstConstraints(), DGtal::CUndirectedSimpleLocalGraph< Adj >::checkConstConstraints(), DGtal::CPositiveIrreducibleFraction< T >::checkConstConstraints(), DGtal::CDigitalSurfaceContainer< T >::checkConstConstraints(), DGtal::CCellularGridSpaceND< T >::checkConstConstraints(), and DGtal::CDigitalSet< T >::checkNonConstConstraints().