remove last warnings by introducing Ambient_dimension and Feature_dimension in Kernel concept

This commit is contained in:
Sébastien Loriot 2012-10-12 11:05:59 +00:00
parent 6c4e159c54
commit 26acfe9998
2 changed files with 36 additions and 4 deletions

View File

@ -38,7 +38,7 @@ public:
/*!
The dimension value as a compile-time
integral constant. It is implemented as `K::Dimension<T>::type::value`.
integral constant. It is implemented as \link Dimension_tag::value K::Ambient_dimension<T>::type::value \endlink.
It exists only when the dimension is a compile-time constant.
*/
static const int value;
@ -51,7 +51,7 @@ static const int value;
/*!
Either `Dimension_tag<dim>` if the dimension is a
compile-time constant of value `dim`, or `Dynamic_dimension_tag`
otherwise. It is implemented as `K::Ambient_dimension<T>::type`.
otherwise. It is implemented as \link Kernel::Ambient_dimension::type K::Ambient_dimension<T>::type \endlink.
*/
typedef Hidden_type type;
@ -167,7 +167,7 @@ public:
/*!
The dimension value as a compile-time
integral constant. It is implemented as `K::Feature_dimension<T>::type::value`.
integral constant. It is implemented as \link Dimension_tag::value K::Feature_dimension<T>::type::value \endlink.
It exists only when the dimension is a compile-time constant.
*/
static const int value;
@ -180,7 +180,7 @@ static const int value;
/*!
Either `Dimension_tag<dim>` if the dimension is a
compile-time constant of value `dim`, or `Dynamic_dimension_tag`
otherwise. It is implemented as `K::Feature_dimension<T>::type`.
otherwise. It is implemented as \link Kernel::Feature_dimension::type K::Feature_dimension<T>::type \endlink.
*/
typedef Hidden_type type;

View File

@ -9281,6 +9281,38 @@ typedef Hidden_type Angle;
/// @}
/// \name Dimension handling
/// @{
/*!
A class to extract the ambient dimension for each object listed in the <b>Geometric Object</b> section of the Kernel concept.
*/
template <class T>
class Ambient_dimension
{
public:
/*!
`dim` is the ambient dimension of the geometric object `T`.
*/
typedef Dimension_tag<dim> type;
};
/*!
A class to extract the feature dimension for each object listed in the <b>Geometric Object</b> section of the Kernel concept.
*/
template <class T>
class Feature_dimension
{
public:
/*!
`dim` is the feature dimension of the geometric object `T`.
*/
typedef Dimension_tag<dim> type;
};
/// @}
/// \name Constants
/// @{