boost_concept_check.h File Reference

#include <cstddef>
#include <bits/stl_iterator_base_types.h>
#include <utility>

Go to the source code of this file.

Namespaces
namespace	__gnu_cxx
Classes
struct	__gnu_cxx::_Aux_require_same< _Tp1, _Tp2 >
struct	__gnu_cxx::_Aux_require_same< _Tp, _Tp >
struct	__gnu_cxx::_SameTypeConcept< _Tp1, _Tp2 >
struct	__gnu_cxx::_IntegerConcept< _Tp >
struct	__gnu_cxx::_IntegerConcept< short >
struct	__gnu_cxx::_IntegerConcept< unsigned short >
struct	__gnu_cxx::_IntegerConcept< int >
struct	__gnu_cxx::_IntegerConcept< unsigned int >
struct	__gnu_cxx::_IntegerConcept< long >
struct	__gnu_cxx::_IntegerConcept< unsigned long >
struct	__gnu_cxx::_IntegerConcept< long long >
struct	__gnu_cxx::_IntegerConcept< unsigned long long >
struct	__gnu_cxx::_SignedIntegerConcept< _Tp >
struct	__gnu_cxx::_SignedIntegerConcept< short >
struct	__gnu_cxx::_SignedIntegerConcept< int >
struct	__gnu_cxx::_SignedIntegerConcept< long >
struct	__gnu_cxx::_SignedIntegerConcept< long long >
struct	__gnu_cxx::_UnsignedIntegerConcept< _Tp >
struct	__gnu_cxx::_UnsignedIntegerConcept< unsigned short >
struct	__gnu_cxx::_UnsignedIntegerConcept< unsigned int >
struct	__gnu_cxx::_UnsignedIntegerConcept< unsigned long >
struct	__gnu_cxx::_UnsignedIntegerConcept< unsigned long long >
struct	__gnu_cxx::_DefaultConstructibleConcept< _Tp >
struct	__gnu_cxx::_AssignableConcept< _Tp >
struct	__gnu_cxx::_CopyConstructibleConcept< _Tp >
struct	__gnu_cxx::_SGIAssignableConcept< _Tp >
struct	__gnu_cxx::_ConvertibleConcept< _From, _To >
struct	__gnu_cxx::_EqualityComparableConcept< _Tp >
struct	__gnu_cxx::_LessThanComparableConcept< _Tp >
struct	__gnu_cxx::_ComparableConcept< _Tp >
struct	__gnu_cxx::_GeneratorConcept< _Func, _Return >
struct	__gnu_cxx::_GeneratorConcept< _Func, void >
struct	__gnu_cxx::_UnaryFunctionConcept< _Func, _Return, _Arg >
struct	__gnu_cxx::_UnaryFunctionConcept< _Func, void, _Arg >
struct	__gnu_cxx::_BinaryFunctionConcept< _Func, _Return, _First, _Second >
struct	__gnu_cxx::_BinaryFunctionConcept< _Func, void, _First, _Second >
struct	__gnu_cxx::_UnaryPredicateConcept< _Func, _Arg >
struct	__gnu_cxx::_BinaryPredicateConcept< _Func, _First, _Second >
struct	__gnu_cxx::_Const_BinaryPredicateConcept< _Func, _First, _Second >
struct	__gnu_cxx::_TrivialIteratorConcept< _Tp >
struct	__gnu_cxx::_Mutable_TrivialIteratorConcept< _Tp >
struct	__gnu_cxx::_InputIteratorConcept< _Tp >
struct	__gnu_cxx::_OutputIteratorConcept< _Tp, _ValueT >
struct	__gnu_cxx::_ForwardIteratorConcept< _Tp >
struct	__gnu_cxx::_Mutable_ForwardIteratorConcept< _Tp >
struct	__gnu_cxx::_BidirectionalIteratorConcept< _Tp >
struct	__gnu_cxx::_Mutable_BidirectionalIteratorConcept< _Tp >
struct	__gnu_cxx::_RandomAccessIteratorConcept< _Tp >
struct	__gnu_cxx::_Mutable_RandomAccessIteratorConcept< _Tp >
struct	__gnu_cxx::_ContainerConcept< _Container >
struct	__gnu_cxx::_Mutable_ContainerConcept< _Container >
struct	__gnu_cxx::_ForwardContainerConcept< _ForwardContainer >
struct	__gnu_cxx::_Mutable_ForwardContainerConcept< _ForwardContainer >
struct	__gnu_cxx::_ReversibleContainerConcept< _ReversibleContainer >
struct	__gnu_cxx::_Mutable_ReversibleContainerConcept< _ReversibleContainer >
struct	__gnu_cxx::_RandomAccessContainerConcept< _RandomAccessContainer >
struct	__gnu_cxx::_Mutable_RandomAccessContainerConcept< _RandomAccessContainer >
struct	__gnu_cxx::_SequenceConcept< _Sequence >
struct	__gnu_cxx::_FrontInsertionSequenceConcept< _FrontInsertionSequence >
struct	__gnu_cxx::_BackInsertionSequenceConcept< _BackInsertionSequence >
struct	__gnu_cxx::_AssociativeContainerConcept< _AssociativeContainer >
struct	__gnu_cxx::_UniqueAssociativeContainerConcept< _UniqueAssociativeContainer >
struct	__gnu_cxx::_MultipleAssociativeContainerConcept< _MultipleAssociativeContainer >
struct	__gnu_cxx::_SimpleAssociativeContainerConcept< _SimpleAssociativeContainer >
struct	__gnu_cxx::_PairAssociativeContainerConcept< _SimpleAssociativeContainer >
struct	__gnu_cxx::_SortedAssociativeContainerConcept< _SortedAssociativeContainer >
Defines
#define	_BOOST_CONCEPT_CHECK_H   1
#define	_IsUnused   __attribute__ ((__unused__))
#define	_GLIBCXX_CLASS_REQUIRES(_type_var, _ns, _concept)
#define	_GLIBCXX_CLASS_REQUIRES2(_type_var1, _type_var2, _ns, _concept)
#define	_GLIBCXX_CLASS_REQUIRES3(_type_var1, _type_var2, _type_var3, _ns, _concept)
#define	_GLIBCXX_CLASS_REQUIRES4(_type_var1, _type_var2, _type_var3, _type_var4, _ns, _concept)
#define	_GLIBCXX_DEFINE_BINARY_PREDICATE_OP_CONSTRAINT(_OP, _NAME)
#define	_GLIBCXX_DEFINE_BINARY_OPERATOR_CONSTRAINT(_OP, _NAME)
Functions
template<class _Concept>
void	__gnu_cxx::__function_requires ()
void	__gnu_cxx::__error_type_must_be_an_integer_type ()
void	__gnu_cxx::__error_type_must_be_an_unsigned_integer_type ()
void	__gnu_cxx::__error_type_must_be_a_signed_integer_type ()
template<class _Tp>
void	__gnu_cxx::__aux_require_boolean_expr (const _Tp &__t)
	__gnu_cxx::_GLIBCXX_DEFINE_BINARY_PREDICATE_OP_CONSTRAINT (==, _EqualOpConcept)
	__gnu_cxx::_GLIBCXX_DEFINE_BINARY_PREDICATE_OP_CONSTRAINT (!=, _NotEqualOpConcept)
	__gnu_cxx::_GLIBCXX_DEFINE_BINARY_PREDICATE_OP_CONSTRAINT (<, _LessThanOpConcept)
	__gnu_cxx::_GLIBCXX_DEFINE_BINARY_PREDICATE_OP_CONSTRAINT (<=, _LessEqualOpConcept)
	__gnu_cxx::_GLIBCXX_DEFINE_BINARY_PREDICATE_OP_CONSTRAINT (>, _GreaterThanOpConcept)
	__gnu_cxx::_GLIBCXX_DEFINE_BINARY_PREDICATE_OP_CONSTRAINT (>=, _GreaterEqualOpConcept)
	__gnu_cxx::_GLIBCXX_DEFINE_BINARY_OPERATOR_CONSTRAINT (+, _PlusOpConcept)
	__gnu_cxx::_GLIBCXX_DEFINE_BINARY_OPERATOR_CONSTRAINT (/, _DivideOpConcept)
	__gnu_cxx::_GLIBCXX_DEFINE_BINARY_OPERATOR_CONSTRAINT (-, _SubtractOpConcept)
	__gnu_cxx::_GLIBCXX_DEFINE_BINARY_OPERATOR_CONSTRAINT (%, _ModOpConcept)
Variables
_GLIBCXX_DEFINE_BINARY_OPERATOR_CONSTRAINT *	__gnu_cxx::_TimesOpConcept

---

Detailed Description

This is an internal header file, included by other library headers. You should not attempt to use it directly.

Definition in file boost_concept_check.h.

---

Define Documentation

#define _BOOST_CONCEPT_CHECK_H   1

Definition at line 43 of file boost_concept_check.h.

#define _GLIBCXX_CLASS_REQUIRES	(	_type_var,
		_ns,
		_concept		)

Value:

typedef void (_ns::_concept <_type_var>::* _func##_type_var##_concept)(); \
  template <_func##_type_var##_concept _Tp1> \
  struct _concept_checking##_type_var##_concept { }; \
  typedef _concept_checking##_type_var##_concept< \
    &_ns::_concept <_type_var>::__constraints> \
    _concept_checking_typedef##_type_var##_concept

Definition at line 73 of file boost_concept_check.h.

#define _GLIBCXX_CLASS_REQUIRES2	(	_type_var1,
		_type_var2,
		_ns,
		_concept		)

Value:

typedef void (_ns::_concept <_type_var1,_type_var2>::* _func##_type_var1##_type_var2##_concept)(); \
  template <_func##_type_var1##_type_var2##_concept _Tp1> \
  struct _concept_checking##_type_var1##_type_var2##_concept { }; \
  typedef _concept_checking##_type_var1##_type_var2##_concept< \
    &_ns::_concept <_type_var1,_type_var2>::__constraints> \
    _concept_checking_typedef##_type_var1##_type_var2##_concept

Definition at line 81 of file boost_concept_check.h.

#define _GLIBCXX_CLASS_REQUIRES3	(	_type_var1,
		_type_var2,
		_type_var3,
		_ns,
		_concept		)

Value:

typedef void (_ns::_concept <_type_var1,_type_var2,_type_var3>::* _func##_type_var1##_type_var2##_type_var3##_concept)(); \
  template <_func##_type_var1##_type_var2##_type_var3##_concept _Tp1> \
  struct _concept_checking##_type_var1##_type_var2##_type_var3##_concept { }; \
  typedef _concept_checking##_type_var1##_type_var2##_type_var3##_concept< \
    &_ns::_concept <_type_var1,_type_var2,_type_var3>::__constraints>  \
  _concept_checking_typedef##_type_var1##_type_var2##_type_var3##_concept

Definition at line 89 of file boost_concept_check.h.

#define _GLIBCXX_CLASS_REQUIRES4	(	_type_var1,
		_type_var2,
		_type_var3,
		_type_var4,
		_ns,
		_concept		)

Value:

typedef void (_ns::_concept <_type_var1,_type_var2,_type_var3,_type_var4>::* _func##_type_var1##_type_var2##_type_var3##_type_var4##_concept)(); \
  template <_func##_type_var1##_type_var2##_type_var3##_type_var4##_concept _Tp1> \
  struct _concept_checking##_type_var1##_type_var2##_type_var3##_type_var4##_concept { }; \
  typedef _concept_checking##_type_var1##_type_var2##_type_var3##_type_var4##_concept< \
  &_ns::_concept <_type_var1,_type_var2,_type_var3,_type_var4>::__constraints> \
    _concept_checking_typedef##_type_var1##_type_var2##_type_var3##_type_var4##_concept

Definition at line 97 of file boost_concept_check.h.

#define _GLIBCXX_DEFINE_BINARY_OPERATOR_CONSTRAINT	(	_OP,
		_NAME		)

Value:

template <class _Ret, class _First, class _Second> \
  struct _NAME { \
    void __constraints() { (void)__constraints_(); } \
    _Ret __constraints_() {  \
      return __a _OP __b; \
    } \
    _First __a; \
    _Second __b; \
  }

Definition at line 285 of file boost_concept_check.h.

#define _GLIBCXX_DEFINE_BINARY_PREDICATE_OP_CONSTRAINT	(	_OP,
		_NAME		)

Value:

template <class _First, class _Second> \
  struct _NAME { \
    void __constraints() { (void)__constraints_(); } \
    bool __constraints_() {  \
      return  __a _OP __b; \
    } \
    _First __a; \
    _Second __b; \
  }

Definition at line 274 of file boost_concept_check.h.

#define _IsUnused   __attribute__ ((__unused__))

Definition at line 54 of file boost_concept_check.h.

Referenced by __gnu_cxx::__aux_require_boolean_expr(), __gnu_cxx::_BackInsertionSequenceConcept< _BackInsertionSequence >::__const_constraints(), __gnu_cxx::_SequenceConcept< _Sequence >::__const_constraints(), __gnu_cxx::_SGIAssignableConcept< _Tp >::__const_constraints(), __gnu_cxx::_CopyConstructibleConcept< _Tp >::__const_constraints(), __gnu_cxx::_SortedAssociativeContainerConcept< _SortedAssociativeContainer >::__constraints(), __gnu_cxx::_BackInsertionSequenceConcept< _BackInsertionSequence >::__constraints(), __gnu_cxx::_SequenceConcept< _Sequence >::__constraints(), __gnu_cxx::_Mutable_RandomAccessContainerConcept< _RandomAccessContainer >::__constraints(), __gnu_cxx::_RandomAccessContainerConcept< _RandomAccessContainer >::__constraints(), __gnu_cxx::_ForwardIteratorConcept< _Tp >::__constraints(), __gnu_cxx::_GeneratorConcept< _Func, _Return >::__constraints(), __gnu_cxx::_ConvertibleConcept< _From, _To >::__constraints(), __gnu_cxx::_SGIAssignableConcept< _Tp >::__constraints(), __gnu_cxx::_CopyConstructibleConcept< _Tp >::__constraints(), __gnu_cxx::_DefaultConstructibleConcept< _Tp >::__constraints(), and __gnu_cxx::__function_requires().

---