| ... | ... |
@@ -23,4 +23,4 @@ |
| 23 | 23 |
|
| 24 |
/// \file |
|
| 25 |
/// \brief Variant types |
|
| 24 |
// \file |
|
| 25 |
// \brief Variant types |
|
| 26 | 26 |
|
| ... | ... |
@@ -38,10 +38,10 @@ |
| 38 | 38 |
|
| 39 |
/// \brief Simple Variant type for two types |
|
| 40 |
/// |
|
| 41 |
/// Simple Variant type for two types. The Variant type is a type |
|
| 42 |
/// safe union. The C++ has strong limitations for using unions, by |
|
| 43 |
/// example we can not store type with non default constructor or |
|
| 44 |
/// destructor in an union. This class always knowns the current |
|
| 45 |
/// state of the variant and it cares for the proper construction |
|
| 46 |
/// and destruction. |
|
| 39 |
// \brief Simple Variant type for two types |
|
| 40 |
// |
|
| 41 |
// Simple Variant type for two types. The Variant type is a type-safe |
|
| 42 |
// union. C++ has strong limitations for using unions, for |
|
| 43 |
// example you cannot store a type with non-default constructor or |
|
| 44 |
// destructor in a union. This class always knowns the current |
|
| 45 |
// state of the variant and it cares for the proper construction |
|
| 46 |
// and destruction. |
|
| 47 | 47 |
template <typename _First, typename _Second> |
| ... | ... |
@@ -50,11 +50,11 @@ |
| 50 | 50 |
|
| 51 |
|
|
| 51 |
// \brief The \c First type. |
|
| 52 | 52 |
typedef _First First; |
| 53 |
|
|
| 53 |
// \brief The \c Second type. |
|
| 54 | 54 |
typedef _Second Second; |
| 55 | 55 |
|
| 56 |
/// \brief Constructor |
|
| 57 |
/// |
|
| 58 |
/// This constructor initalizes to the default value of the \c First |
|
| 59 |
/// type. |
|
| 56 |
// \brief Constructor |
|
| 57 |
// |
|
| 58 |
// This constructor initalizes to the default value of the \c First |
|
| 59 |
// type. |
|
| 60 | 60 |
BiVariant() {
|
| ... | ... |
@@ -64,6 +64,6 @@ |
| 64 | 64 |
|
| 65 |
/// \brief Constructor |
|
| 66 |
/// |
|
| 67 |
/// This constructor initalizes to the given value of the \c First |
|
| 68 |
/// type. |
|
| 65 |
// \brief Constructor |
|
| 66 |
// |
|
| 67 |
// This constructor initalizes to the given value of the \c First |
|
| 68 |
// type. |
|
| 69 | 69 |
BiVariant(const First& f) {
|
| ... | ... |
@@ -73,6 +73,6 @@ |
| 73 | 73 |
|
| 74 |
/// \brief Constructor |
|
| 75 |
/// |
|
| 76 |
/// This constructor initalizes to the given value of the \c |
|
| 77 |
/// Second type. |
|
| 74 |
// \brief Constructor |
|
| 75 |
// |
|
| 76 |
// This constructor initalizes to the given value of the \c |
|
| 77 |
// Second type. |
|
| 78 | 78 |
BiVariant(const Second& s) {
|
| ... | ... |
@@ -82,5 +82,5 @@ |
| 82 | 82 |
|
| 83 |
/// \brief Copy constructor |
|
| 84 |
/// |
|
| 85 |
// |
|
| 83 |
// \brief Copy constructor |
|
| 84 |
// |
|
| 85 |
// Copy constructor |
|
| 86 | 86 |
BiVariant(const BiVariant& bivariant) {
|
| ... | ... |
@@ -94,5 +94,5 @@ |
| 94 | 94 |
|
| 95 |
/// \brief Destrcutor |
|
| 96 |
/// |
|
| 97 |
// |
|
| 95 |
// \brief Destrcutor |
|
| 96 |
// |
|
| 97 |
// Destructor |
|
| 98 | 98 |
~BiVariant() {
|
| ... | ... |
@@ -101,6 +101,6 @@ |
| 101 | 101 |
|
| 102 |
/// \brief Set to the default value of the \c First type. |
|
| 103 |
/// |
|
| 104 |
/// This function sets the variant to the default value of the \c |
|
| 105 |
/// First type. |
|
| 102 |
// \brief Set to the default value of the \c First type. |
|
| 103 |
// |
|
| 104 |
// This function sets the variant to the default value of the \c |
|
| 105 |
// First type. |
|
| 106 | 106 |
BiVariant& setFirst() {
|
| ... | ... |
@@ -112,6 +112,6 @@ |
| 112 | 112 |
|
| 113 |
/// \brief Set to the given value of the \c First type. |
|
| 114 |
/// |
|
| 115 |
/// This function sets the variant to the given value of the \c |
|
| 116 |
/// First type. |
|
| 113 |
// \brief Set to the given value of the \c First type. |
|
| 114 |
// |
|
| 115 |
// This function sets the variant to the given value of the \c |
|
| 116 |
// First type. |
|
| 117 | 117 |
BiVariant& setFirst(const First& f) {
|
| ... | ... |
@@ -123,6 +123,6 @@ |
| 123 | 123 |
|
| 124 |
/// \brief Set to the default value of the \c Second type. |
|
| 125 |
/// |
|
| 126 |
/// This function sets the variant to the default value of the \c |
|
| 127 |
/// Second type. |
|
| 124 |
// \brief Set to the default value of the \c Second type. |
|
| 125 |
// |
|
| 126 |
// This function sets the variant to the default value of the \c |
|
| 127 |
// Second type. |
|
| 128 | 128 |
BiVariant& setSecond() {
|
| ... | ... |
@@ -134,6 +134,6 @@ |
| 134 | 134 |
|
| 135 |
/// \brief Set to the given value of the \c Second type. |
|
| 136 |
/// |
|
| 137 |
/// This function sets the variant to the given value of the \c |
|
| 138 |
/// Second type. |
|
| 135 |
// \brief Set to the given value of the \c Second type. |
|
| 136 |
// |
|
| 137 |
// This function sets the variant to the given value of the \c |
|
| 138 |
// Second type. |
|
| 139 | 139 |
BiVariant& setSecond(const Second& s) {
|
| ... | ... |
@@ -145,3 +145,3 @@ |
| 145 | 145 |
|
| 146 |
|
|
| 146 |
// \brief Operator form of the \c setFirst() |
|
| 147 | 147 |
BiVariant& operator=(const First& f) {
|
| ... | ... |
@@ -150,3 +150,3 @@ |
| 150 | 150 |
|
| 151 |
|
|
| 151 |
// \brief Operator form of the \c setSecond() |
|
| 152 | 152 |
BiVariant& operator=(const Second& s) {
|
| ... | ... |
@@ -155,3 +155,3 @@ |
| 155 | 155 |
|
| 156 |
|
|
| 156 |
// \brief Assign operator |
|
| 157 | 157 |
BiVariant& operator=(const BiVariant& bivariant) {
|
| ... | ... |
@@ -168,56 +168,56 @@ |
| 168 | 168 |
|
| 169 |
/// \brief Reference to the value |
|
| 170 |
/// |
|
| 171 |
/// Reference to the value of the \c First type. |
|
| 172 |
/// \pre The BiVariant should store value of \c First type. |
|
| 169 |
// \brief Reference to the value |
|
| 170 |
// |
|
| 171 |
// Reference to the value of the \c First type. |
|
| 172 |
// \pre The BiVariant should store value of \c First type. |
|
| 173 | 173 |
First& first() {
|
| 174 | 174 |
LEMON_DEBUG(flag, "Variant wrong state"); |
| 175 |
return *reinterpret_cast<First*>(data); |
|
| 175 |
return *reinterpret_cast<First*>(data); |
|
| 176 | 176 |
} |
| 177 | 177 |
|
| 178 |
/// \brief Const reference to the value |
|
| 179 |
/// |
|
| 180 |
/// Const reference to the value of the \c First type. |
|
| 181 |
/// \pre The BiVariant should store value of \c First type. |
|
| 182 |
|
|
| 178 |
// \brief Const reference to the value |
|
| 179 |
// |
|
| 180 |
// Const reference to the value of the \c First type. |
|
| 181 |
// \pre The BiVariant should store value of \c First type. |
|
| 182 |
const First& first() const {
|
|
| 183 | 183 |
LEMON_DEBUG(flag, "Variant wrong state"); |
| 184 |
return *reinterpret_cast<const First*>(data); |
|
| 184 |
return *reinterpret_cast<const First*>(data); |
|
| 185 | 185 |
} |
| 186 | 186 |
|
| 187 |
|
|
| 187 |
// \brief Operator form of the \c first() |
|
| 188 | 188 |
operator First&() { return first(); }
|
| 189 |
|
|
| 189 |
// \brief Operator form of the const \c first() |
|
| 190 | 190 |
operator const First&() const { return first(); }
|
| 191 | 191 |
|
| 192 |
/// \brief Reference to the value |
|
| 193 |
/// |
|
| 194 |
/// Reference to the value of the \c Second type. |
|
| 195 |
/// \pre The BiVariant should store value of \c Second type. |
|
| 196 |
|
|
| 192 |
// \brief Reference to the value |
|
| 193 |
// |
|
| 194 |
// Reference to the value of the \c Second type. |
|
| 195 |
// \pre The BiVariant should store value of \c Second type. |
|
| 196 |
Second& second() {
|
|
| 197 | 197 |
LEMON_DEBUG(!flag, "Variant wrong state"); |
| 198 |
return *reinterpret_cast<Second*>(data); |
|
| 198 |
return *reinterpret_cast<Second*>(data); |
|
| 199 | 199 |
} |
| 200 | 200 |
|
| 201 |
/// \brief Const reference to the value |
|
| 202 |
/// |
|
| 203 |
/// Const reference to the value of the \c Second type. |
|
| 204 |
/// \pre The BiVariant should store value of \c Second type. |
|
| 205 |
|
|
| 201 |
// \brief Const reference to the value |
|
| 202 |
// |
|
| 203 |
// Const reference to the value of the \c Second type. |
|
| 204 |
// \pre The BiVariant should store value of \c Second type. |
|
| 205 |
const Second& second() const {
|
|
| 206 | 206 |
LEMON_DEBUG(!flag, "Variant wrong state"); |
| 207 |
return *reinterpret_cast<const Second*>(data); |
|
| 207 |
return *reinterpret_cast<const Second*>(data); |
|
| 208 | 208 |
} |
| 209 | 209 |
|
| 210 |
|
|
| 210 |
// \brief Operator form of the \c second() |
|
| 211 | 211 |
operator Second&() { return second(); }
|
| 212 |
|
|
| 212 |
// \brief Operator form of the const \c second() |
|
| 213 | 213 |
operator const Second&() const { return second(); }
|
| 214 | 214 |
|
| 215 |
/// \brief %True when the variant is in the first state |
|
| 216 |
/// |
|
| 217 |
// |
|
| 215 |
// \brief %True when the variant is in the first state |
|
| 216 |
// |
|
| 217 |
// %True when the variant stores value of the \c First type. |
|
| 218 | 218 |
bool firstState() const { return flag; }
|
| 219 | 219 |
|
| 220 |
/// \brief %True when the variant is in the second state |
|
| 221 |
/// |
|
| 222 |
// |
|
| 220 |
// \brief %True when the variant is in the second state |
|
| 221 |
// |
|
| 222 |
// %True when the variant stores value of the \c Second type. |
|
| 223 | 223 |
bool secondState() const { return !flag; }
|
| ... | ... |
@@ -291,36 +291,36 @@ |
| 291 | 291 |
|
| 292 |
/// \brief Variant type |
|
| 293 |
/// |
|
| 294 |
/// Simple Variant type. The Variant type is a type safe union. The |
|
| 295 |
/// C++ has strong limitations for using unions, for example we |
|
| 296 |
/// cannot store type with non default constructor or destructor in |
|
| 297 |
/// a union. This class always knowns the current state of the |
|
| 298 |
/// variant and it cares for the proper construction and |
|
| 299 |
/// destruction. |
|
| 300 |
/// |
|
| 301 |
/// \param _num The number of the types which can be stored in the |
|
| 302 |
/// variant type. |
|
| 303 |
/// \param _TypeMap This class describes the types of the Variant. The |
|
| 304 |
/// _TypeMap::Map<index>::Type should be a valid type for each index |
|
| 305 |
/// in the range {0, 1, ..., _num - 1}. The \c VariantTypeMap is helper
|
|
| 306 |
/// class to define such type mappings up to 10 types. |
|
| 307 |
/// |
|
| 308 |
/// And the usage of the class: |
|
| 309 |
///\code |
|
| 310 |
/// typedef Variant<3, VariantTypeMap<int, std::string, double> > MyVariant; |
|
| 311 |
/// MyVariant var; |
|
| 312 |
/// var.set<0>(12); |
|
| 313 |
/// std::cout << var.get<0>() << std::endl; |
|
| 314 |
/// var.set<1>("alpha");
|
|
| 315 |
/// std::cout << var.get<1>() << std::endl; |
|
| 316 |
/// var.set<2>(0.75); |
|
| 317 |
/// std::cout << var.get<2>() << std::endl; |
|
| 318 |
///\endcode |
|
| 319 |
/// |
|
| 320 |
/// The result of course: |
|
| 321 |
///\code |
|
| 322 |
/// 12 |
|
| 323 |
/// alpha |
|
| 324 |
/// 0.75 |
|
| 325 |
///\endcode |
|
| 292 |
// \brief Variant type |
|
| 293 |
// |
|
| 294 |
// Simple Variant type. The Variant type is a type-safe union. |
|
| 295 |
// C++ has strong limitations for using unions, for example you |
|
| 296 |
// cannot store type with non-default constructor or destructor in |
|
| 297 |
// a union. This class always knowns the current state of the |
|
| 298 |
// variant and it cares for the proper construction and |
|
| 299 |
// destruction. |
|
| 300 |
// |
|
| 301 |
// \param _num The number of the types which can be stored in the |
|
| 302 |
// variant type. |
|
| 303 |
// \param _TypeMap This class describes the types of the Variant. The |
|
| 304 |
// _TypeMap::Map<index>::Type should be a valid type for each index |
|
| 305 |
// in the range {0, 1, ..., _num - 1}. The \c VariantTypeMap is helper
|
|
| 306 |
// class to define such type mappings up to 10 types. |
|
| 307 |
// |
|
| 308 |
// And the usage of the class: |
|
| 309 |
//\code |
|
| 310 |
// typedef Variant<3, VariantTypeMap<int, std::string, double> > MyVariant; |
|
| 311 |
// MyVariant var; |
|
| 312 |
// var.set<0>(12); |
|
| 313 |
// std::cout << var.get<0>() << std::endl; |
|
| 314 |
// var.set<1>("alpha");
|
|
| 315 |
// std::cout << var.get<1>() << std::endl; |
|
| 316 |
// var.set<2>(0.75); |
|
| 317 |
// std::cout << var.get<2>() << std::endl; |
|
| 318 |
//\endcode |
|
| 319 |
// |
|
| 320 |
// The result of course: |
|
| 321 |
//\code |
|
| 322 |
// 12 |
|
| 323 |
// alpha |
|
| 324 |
// 0.75 |
|
| 325 |
//\endcode |
|
| 326 | 326 |
template <int _num, typename _TypeMap> |
| ... | ... |
@@ -333,6 +333,6 @@ |
| 333 | 333 |
|
| 334 |
/// \brief Constructor |
|
| 335 |
/// |
|
| 336 |
/// This constructor initalizes to the default value of the \c type |
|
| 337 |
/// with 0 index. |
|
| 334 |
// \brief Constructor |
|
| 335 |
// |
|
| 336 |
// This constructor initalizes to the default value of the \c type |
|
| 337 |
// with 0 index. |
|
| 338 | 338 |
Variant() {
|
| ... | ... |
@@ -344,5 +344,5 @@ |
| 344 | 344 |
|
| 345 |
/// \brief Copy constructor |
|
| 346 |
/// |
|
| 347 |
// |
|
| 345 |
// \brief Copy constructor |
|
| 346 |
// |
|
| 347 |
// Copy constructor |
|
| 348 | 348 |
Variant(const Variant& variant) {
|
| ... | ... |
@@ -352,5 +352,5 @@ |
| 352 | 352 |
|
| 353 |
/// \brief Assign operator |
|
| 354 |
/// |
|
| 355 |
// |
|
| 353 |
// \brief Assign operator |
|
| 354 |
// |
|
| 355 |
// Assign operator |
|
| 356 | 356 |
Variant& operator=(const Variant& variant) {
|
| ... | ... |
@@ -365,5 +365,5 @@ |
| 365 | 365 |
|
| 366 |
/// \brief Destrcutor |
|
| 367 |
/// |
|
| 368 |
// |
|
| 366 |
// \brief Destrcutor |
|
| 367 |
// |
|
| 368 |
// Destructor |
|
| 369 | 369 |
~Variant() {
|
| ... | ... |
@@ -372,6 +372,6 @@ |
| 372 | 372 |
|
| 373 |
/// \brief Set to the default value of the type with \c _idx index. |
|
| 374 |
/// |
|
| 375 |
/// This function sets the variant to the default value of the |
|
| 376 |
/// type with \c _idx index. |
|
| 373 |
// \brief Set to the default value of the type with \c _idx index. |
|
| 374 |
// |
|
| 375 |
// This function sets the variant to the default value of the |
|
| 376 |
// type with \c _idx index. |
|
| 377 | 377 |
template <int _idx> |
| ... | ... |
@@ -385,6 +385,6 @@ |
| 385 | 385 |
|
| 386 |
/// \brief Set to the given value of the type with \c _idx index. |
|
| 387 |
/// |
|
| 388 |
/// This function sets the variant to the given value of the type |
|
| 389 |
/// with \c _idx index. |
|
| 386 |
// \brief Set to the given value of the type with \c _idx index. |
|
| 387 |
// |
|
| 388 |
// This function sets the variant to the given value of the type |
|
| 389 |
// with \c _idx index. |
|
| 390 | 390 |
template <int _idx> |
| ... | ... |
@@ -398,5 +398,5 @@ |
| 398 | 398 |
|
| 399 |
/// \brief Gets the current value of the type with \c _idx index. |
|
| 400 |
/// |
|
| 401 |
// |
|
| 399 |
// \brief Gets the current value of the type with \c _idx index. |
|
| 400 |
// |
|
| 401 |
// Gets the current value of the type with \c _idx index. |
|
| 402 | 402 |
template <int _idx> |
| ... | ... |
@@ -408,5 +408,5 @@ |
| 408 | 408 |
|
| 409 |
/// \brief Gets the current value of the type with \c _idx index. |
|
| 410 |
/// |
|
| 411 |
// |
|
| 409 |
// \brief Gets the current value of the type with \c _idx index. |
|
| 410 |
// |
|
| 411 |
// Gets the current value of the type with \c _idx index. |
|
| 412 | 412 |
template <int _idx> |
| ... | ... |
@@ -418,5 +418,5 @@ |
| 418 | 418 |
|
| 419 |
/// \brief Returns the current state of the variant. |
|
| 420 |
/// |
|
| 421 |
// |
|
| 419 |
// \brief Returns the current state of the variant. |
|
| 420 |
// |
|
| 421 |
// Returns the current state of the variant. |
|
| 422 | 422 |
int state() const {
|
| ... | ... |
@@ -452,3 +452,3 @@ |
| 452 | 452 |
template <int _idx, typename _T0, typename _T1, typename _T2, |
| 453 |
typename _T3, typename |
|
| 453 |
typename _T3, typename _T4, typename _T5, typename _T6, |
|
| 454 | 454 |
typename _T7, typename _T8, typename _T9> |
| ... | ... |
@@ -471,7 +471,7 @@ |
| 471 | 471 |
|
| 472 |
/// \brief Helper class for Variant |
|
| 473 |
/// |
|
| 474 |
/// Helper class to define type mappings for Variant. This class |
|
| 475 |
/// converts the template parameters to be mappable by integer. |
|
| 476 |
// |
|
| 472 |
// \brief Helper class for Variant |
|
| 473 |
// |
|
| 474 |
// Helper class to define type mappings for Variant. This class |
|
| 475 |
// converts the template parameters to be mappable by integer. |
|
| 476 |
// \see Variant |
|
| 477 | 477 |
template < |
| ... | ... |
@@ -479,3 +479,3 @@ |
| 479 | 479 |
typename _T1 = void, typename _T2 = void, typename _T3 = void, |
| 480 |
typename |
|
| 480 |
typename _T4 = void, typename _T5 = void, typename _T6 = void, |
|
| 481 | 481 |
typename _T7 = void, typename _T8 = void, typename _T9 = void> |
0 comments (0 inline)