| 1 | #ifndef DATE_TIME_PERIOD_HPP___ | 
|---|
| 2 | #define DATE_TIME_PERIOD_HPP___ | 
|---|
| 3 |  | 
|---|
| 4 | /*    Copyright (c) 2002,2003 CrystalClear Software, Inc. | 
|---|
| 5 |  * | 
|---|
| 6 |  * Distributed under the Boost Software License, Version 1.0. | 
|---|
| 7 |  *     (See accompanying file LICENSE_1_0.txt or copy at | 
|---|
| 8 |  *           http://www.boost.org/LICENSE_1_0.txt) | 
|---|
| 9 |  * | 
|---|
| 10 |  * | 
|---|
| 11 |  * Author: Jeff Garland, Bart Garst  | 
|---|
| 12 |  * $Date: 2006/07/17 03:56:05 $ | 
|---|
| 13 |  */ | 
|---|
| 14 |  | 
|---|
| 15 | /*! \file period.hpp | 
|---|
| 16 |   This file contain the implementation of the period abstraction. This is | 
|---|
| 17 |   basically the same idea as a range.  Although this class is intended for | 
|---|
| 18 |   use in the time library, it is pretty close to general enough for other | 
|---|
| 19 |   numeric uses. | 
|---|
| 20 |  | 
|---|
| 21 | */ | 
|---|
| 22 |  | 
|---|
| 23 | #include "boost/operators.hpp" | 
|---|
| 24 |  | 
|---|
| 25 |  | 
|---|
| 26 | namespace boost { | 
|---|
| 27 | namespace date_time { | 
|---|
| 28 |   //!Provides generalized period type useful in date-time systems | 
|---|
| 29 |   /*!This template uses a class to represent a time point within the period | 
|---|
| 30 |     and another class to represent a duration.  As a result, this class is | 
|---|
| 31 |     not appropriate for use when the number and duration representation  | 
|---|
| 32 |     are the same (eg: in the regular number domain). | 
|---|
| 33 |      | 
|---|
| 34 |     A period can be specified by providing either the begining point and  | 
|---|
| 35 |     a duration or the begining point and the end point( end is NOT part  | 
|---|
| 36 |     of the period but 1 unit past it. A period will be "invalid" if either | 
|---|
| 37 |     end_point <= begin_point or the given duration is <= 0. Any valid period  | 
|---|
| 38 |     will return false for is_null(). | 
|---|
| 39 |      | 
|---|
| 40 |     Zero length periods are also considered invalid. Zero length periods are | 
|---|
| 41 |     periods where the begining and end points are the same, or, the given  | 
|---|
| 42 |     duration is zero. For a zero length period, the last point will be one  | 
|---|
| 43 |     unit less than the begining point. | 
|---|
| 44 |  | 
|---|
| 45 |     In the case that the begin and last are the same, the period has a  | 
|---|
| 46 |     length of one unit. | 
|---|
| 47 |      | 
|---|
| 48 |     The best way to handle periods is usually to provide a begining point and | 
|---|
| 49 |     a duration.  So, day1 + 7 days is a week period which includes all of the | 
|---|
| 50 |     first day and 6 more days (eg: Sun to Sat). | 
|---|
| 51 |  | 
|---|
| 52 |    */ | 
|---|
| 53 |   template<class point_rep, class duration_rep> | 
|---|
| 54 |   class period : private | 
|---|
| 55 |       boost::less_than_comparable<period<point_rep, duration_rep>  | 
|---|
| 56 |     , boost::equality_comparable< period<point_rep, duration_rep>  | 
|---|
| 57 |     > > | 
|---|
| 58 |   { | 
|---|
| 59 |   public: | 
|---|
| 60 |     typedef point_rep point_type; | 
|---|
| 61 |     typedef duration_rep duration_type; | 
|---|
| 62 |  | 
|---|
| 63 |     period(point_rep first_point, point_rep end_point); | 
|---|
| 64 |     period(point_rep first_point, duration_rep len); | 
|---|
| 65 |     point_rep begin() const; | 
|---|
| 66 |     point_rep end() const; | 
|---|
| 67 |     point_rep last() const; | 
|---|
| 68 |     duration_rep length() const; | 
|---|
| 69 |     bool is_null() const; | 
|---|
| 70 |     bool operator==(const period& rhs) const; | 
|---|
| 71 |     bool operator<(const period& rhs) const; | 
|---|
| 72 |     void shift(const duration_rep& d); | 
|---|
| 73 |     bool contains(const point_rep& point) const; | 
|---|
| 74 |     bool contains(const period& other) const; | 
|---|
| 75 |     bool intersects(const period& other) const; | 
|---|
| 76 |     bool is_adjacent(const period& other) const; | 
|---|
| 77 |     bool is_before(const point_rep& point) const; | 
|---|
| 78 |     bool is_after(const point_rep& point) const; | 
|---|
| 79 |     period intersection(const period& other) const; | 
|---|
| 80 |     period merge(const period& other) const; | 
|---|
| 81 |     period span(const period& other) const; | 
|---|
| 82 |   private: | 
|---|
| 83 |     point_rep begin_; | 
|---|
| 84 |     point_rep last_; | 
|---|
| 85 |   }; | 
|---|
| 86 |  | 
|---|
| 87 |   //! create a period from begin to last eg: [begin,end) | 
|---|
| 88 |   /*! If end <= begin then the period will be invalid | 
|---|
| 89 |    */ | 
|---|
| 90 |   template<class point_rep, class duration_rep> | 
|---|
| 91 |   inline | 
|---|
| 92 |   period<point_rep,duration_rep>::period(point_rep first_point,  | 
|---|
| 93 |                                          point_rep end_point) :  | 
|---|
| 94 |     begin_(first_point),  | 
|---|
| 95 |     last_(end_point - duration_rep::unit()) | 
|---|
| 96 |   {} | 
|---|
| 97 |  | 
|---|
| 98 |   //! create a period as [begin, begin+len) | 
|---|
| 99 |   /*! If len is <= 0 then the period will be invalid | 
|---|
| 100 |    */ | 
|---|
| 101 |   template<class point_rep, class duration_rep> | 
|---|
| 102 |   inline | 
|---|
| 103 |   period<point_rep,duration_rep>::period(point_rep first_point, duration_rep len) : | 
|---|
| 104 |     begin_(first_point),  | 
|---|
| 105 |     last_(first_point + len-duration_rep::unit()) | 
|---|
| 106 |   { } | 
|---|
| 107 |  | 
|---|
| 108 |  | 
|---|
| 109 |   //! Return the first element in the period | 
|---|
| 110 |   template<class point_rep, class duration_rep> | 
|---|
| 111 |   inline | 
|---|
| 112 |   point_rep period<point_rep,duration_rep>::begin() const  | 
|---|
| 113 |   { | 
|---|
| 114 |     return begin_; | 
|---|
| 115 |   } | 
|---|
| 116 |  | 
|---|
| 117 |   //! Return one past the last element  | 
|---|
| 118 |   template<class point_rep, class duration_rep> | 
|---|
| 119 |   inline | 
|---|
| 120 |   point_rep period<point_rep,duration_rep>::end() const  | 
|---|
| 121 |   { | 
|---|
| 122 |     return last_ + duration_rep::unit(); | 
|---|
| 123 |   } | 
|---|
| 124 |  | 
|---|
| 125 |   //! Return the last item in the period | 
|---|
| 126 |   template<class point_rep, class duration_rep> | 
|---|
| 127 |   inline | 
|---|
| 128 |   point_rep period<point_rep,duration_rep>::last() const  | 
|---|
| 129 |   { | 
|---|
| 130 |     return last_; | 
|---|
| 131 |   } | 
|---|
| 132 |  | 
|---|
| 133 |   //! True if period is ill formed (length is zero or less) | 
|---|
| 134 |   template<class point_rep, class duration_rep> | 
|---|
| 135 |   inline | 
|---|
| 136 |   bool period<point_rep,duration_rep>::is_null() const  | 
|---|
| 137 |   { | 
|---|
| 138 |     return end() <= begin_; | 
|---|
| 139 |   } | 
|---|
| 140 |  | 
|---|
| 141 |   //! Return the length of the period | 
|---|
| 142 |   template<class point_rep, class duration_rep> | 
|---|
| 143 |   inline | 
|---|
| 144 |   duration_rep period<point_rep,duration_rep>::length() const | 
|---|
| 145 |   { | 
|---|
| 146 |     if(last_ < begin_){ // invalid period | 
|---|
| 147 |       return last_+duration_rep::unit() - begin_; | 
|---|
| 148 |     } | 
|---|
| 149 |     else{ | 
|---|
| 150 |       return end() - begin_; // normal case | 
|---|
| 151 |     } | 
|---|
| 152 |   } | 
|---|
| 153 |  | 
|---|
| 154 |   //! Equality operator | 
|---|
| 155 |   template<class point_rep, class duration_rep> | 
|---|
| 156 |   inline | 
|---|
| 157 |   bool period<point_rep,duration_rep>::operator==(const period& rhs) const  | 
|---|
| 158 |   { | 
|---|
| 159 |     return  ((begin_ == rhs.begin_) &&  | 
|---|
| 160 |              (last_ == rhs.last_)); | 
|---|
| 161 |   } | 
|---|
| 162 |  | 
|---|
| 163 |   //! Strict as defined by rhs.last <= lhs.last | 
|---|
| 164 |   template<class point_rep, class duration_rep> | 
|---|
| 165 |   inline | 
|---|
| 166 |   bool period<point_rep,duration_rep>::operator<(const period& rhs) const  | 
|---|
| 167 |   { | 
|---|
| 168 |     return (last_ < rhs.begin_); | 
|---|
| 169 |   }  | 
|---|
| 170 |  | 
|---|
| 171 |  | 
|---|
| 172 |   //! Shift the start and end by the specified amount | 
|---|
| 173 |   template<class point_rep, class duration_rep> | 
|---|
| 174 |   inline | 
|---|
| 175 |   void period<point_rep,duration_rep>::shift(const duration_rep& d) | 
|---|
| 176 |   { | 
|---|
| 177 |     begin_ = begin_ + d; | 
|---|
| 178 |     last_  = last_  + d; | 
|---|
| 179 |   } | 
|---|
| 180 |  | 
|---|
| 181 |   //! True if the point is inside the period, zero length periods contain no points | 
|---|
| 182 |   template<class point_rep, class duration_rep> | 
|---|
| 183 |   inline | 
|---|
| 184 |   bool period<point_rep,duration_rep>::contains(const point_rep& point) const  | 
|---|
| 185 |   { | 
|---|
| 186 |     return ((point >= begin_) && | 
|---|
| 187 |             (point <= last_)); | 
|---|
| 188 |   } | 
|---|
| 189 |  | 
|---|
| 190 |  | 
|---|
| 191 |   //! True if this period fully contains (or equals) the other period | 
|---|
| 192 |   template<class point_rep, class duration_rep> | 
|---|
| 193 |   inline | 
|---|
| 194 |   bool period<point_rep,duration_rep>::contains(const period<point_rep,duration_rep>& other) const | 
|---|
| 195 |   { | 
|---|
| 196 |     return ((begin_ <= other.begin_) && (last_ >= other.last_)); | 
|---|
| 197 |   } | 
|---|
| 198 |  | 
|---|
| 199 |  | 
|---|
| 200 |   //! True if periods are next to each other without a gap. | 
|---|
| 201 |   /* In the example below, p1 and p2 are adjacent, but p3 is not adjacent | 
|---|
| 202 |    * with either of p1 or p2. | 
|---|
| 203 |    *@code | 
|---|
| 204 |    *   [-p1-) | 
|---|
| 205 |    *        [-p2-) | 
|---|
| 206 |    *          [-p3-)  | 
|---|
| 207 |    *@endcode | 
|---|
| 208 |    */ | 
|---|
| 209 |   template<class point_rep, class duration_rep> | 
|---|
| 210 |   inline | 
|---|
| 211 |   bool  | 
|---|
| 212 |   period<point_rep,duration_rep>::is_adjacent(const period<point_rep,duration_rep>& other) const  | 
|---|
| 213 |   { | 
|---|
| 214 |     return (other.begin() == end() || | 
|---|
| 215 |             begin_ == other.end()); | 
|---|
| 216 |   } | 
|---|
| 217 |  | 
|---|
| 218 |  | 
|---|
| 219 |   //! True if all of the period is prior or t < start | 
|---|
| 220 |   /* In the example below only point 1 would evaluate to true. | 
|---|
| 221 |    *@code | 
|---|
| 222 |    *     [---------]) | 
|---|
| 223 |    * ^   ^    ^     ^   ^ | 
|---|
| 224 |    * 1   2    3     4   5 | 
|---|
| 225 |    *  | 
|---|
| 226 |    *@endcode | 
|---|
| 227 |    */ | 
|---|
| 228 |   template<class point_rep, class duration_rep> | 
|---|
| 229 |   inline | 
|---|
| 230 |   bool  | 
|---|
| 231 |   period<point_rep,duration_rep>::is_after(const point_rep& t) const  | 
|---|
| 232 |   {  | 
|---|
| 233 |     if (is_null())  | 
|---|
| 234 |     { | 
|---|
| 235 |       return false; //null period isn't after | 
|---|
| 236 |     } | 
|---|
| 237 |      | 
|---|
| 238 |     return t < begin_; | 
|---|
| 239 |   } | 
|---|
| 240 |  | 
|---|
| 241 |   //! True if all of the period is prior to the passed point or end <= t | 
|---|
| 242 |   /* In the example below points 4 and 5 return true. | 
|---|
| 243 |    *@code | 
|---|
| 244 |    *     [---------]) | 
|---|
| 245 |    * ^   ^    ^     ^   ^ | 
|---|
| 246 |    * 1   2    3     4   5 | 
|---|
| 247 |    *  | 
|---|
| 248 |    *@endcode | 
|---|
| 249 |    */ | 
|---|
| 250 |   template<class point_rep, class duration_rep> | 
|---|
| 251 |   inline | 
|---|
| 252 |   bool  | 
|---|
| 253 |   period<point_rep,duration_rep>::is_before(const point_rep& t) const  | 
|---|
| 254 |   {  | 
|---|
| 255 |     if (is_null())  | 
|---|
| 256 |     { | 
|---|
| 257 |       return false;  //null period isn't before anything | 
|---|
| 258 |     } | 
|---|
| 259 |      | 
|---|
| 260 |     return last_ < t; | 
|---|
| 261 |   } | 
|---|
| 262 |  | 
|---|
| 263 |  | 
|---|
| 264 |   //! True if the periods overlap in any way | 
|---|
| 265 |   /* In the example below p1 intersects with p2, p4, and p6. | 
|---|
| 266 |    *@code | 
|---|
| 267 |    *       [---p1---) | 
|---|
| 268 |    *             [---p2---) | 
|---|
| 269 |    *                [---p3---)  | 
|---|
| 270 |    *  [---p4---)  | 
|---|
| 271 |    * [-p5-)  | 
|---|
| 272 |    *         [-p6-)  | 
|---|
| 273 |    *@endcode | 
|---|
| 274 |    */ | 
|---|
| 275 |   template<class point_rep, class duration_rep> | 
|---|
| 276 |   inline | 
|---|
| 277 |   bool period<point_rep,duration_rep>::intersects(const period<point_rep,duration_rep>& other) const  | 
|---|
| 278 |   {  | 
|---|
| 279 |     return ( contains(other.begin_) || | 
|---|
| 280 |              other.contains(begin_) || | 
|---|
| 281 |              ((other.begin_ < begin_) && (other.last_ >= begin_))); | 
|---|
| 282 |   } | 
|---|
| 283 |  | 
|---|
| 284 |   //! Returns the period of intersection or invalid range no intersection | 
|---|
| 285 |   template<class point_rep, class duration_rep> | 
|---|
| 286 |   inline | 
|---|
| 287 |   period<point_rep,duration_rep> | 
|---|
| 288 |   period<point_rep,duration_rep>::intersection(const period<point_rep,duration_rep>& other) const  | 
|---|
| 289 |   { | 
|---|
| 290 |     if (begin_ > other.begin_) { | 
|---|
| 291 |       if (last_ <= other.last_) { //case2 | 
|---|
| 292 |         return *this;   | 
|---|
| 293 |       } | 
|---|
| 294 |       //case 1 | 
|---|
| 295 |       return period<point_rep,duration_rep>(begin_, other.end()); | 
|---|
| 296 |     } | 
|---|
| 297 |     else { | 
|---|
| 298 |       if (last_ <= other.last_) { //case3 | 
|---|
| 299 |         return period<point_rep,duration_rep>(other.begin_, this->end()); | 
|---|
| 300 |       } | 
|---|
| 301 |       //case4 | 
|---|
| 302 |       return other; | 
|---|
| 303 |     } | 
|---|
| 304 |     //unreachable | 
|---|
| 305 |   } | 
|---|
| 306 |  | 
|---|
| 307 |   //! Returns the union of intersecting periods -- or null period | 
|---|
| 308 |   /*!  | 
|---|
| 309 |    */ | 
|---|
| 310 |   template<class point_rep, class duration_rep> | 
|---|
| 311 |   inline | 
|---|
| 312 |   period<point_rep,duration_rep> | 
|---|
| 313 |   period<point_rep,duration_rep>::merge(const period<point_rep,duration_rep>& other) const  | 
|---|
| 314 |   { | 
|---|
| 315 |     if (this->intersects(other)) {       | 
|---|
| 316 |       if (begin_ < other.begin_) { | 
|---|
| 317 |         return period<point_rep,duration_rep>(begin_, last_ > other.last_ ? this->end() : other.end()); | 
|---|
| 318 |       } | 
|---|
| 319 |        | 
|---|
| 320 |       return period<point_rep,duration_rep>(other.begin_, last_ > other.last_ ? this->end() : other.end()); | 
|---|
| 321 |        | 
|---|
| 322 |     } | 
|---|
| 323 |     return period<point_rep,duration_rep>(begin_,begin_); // no intersect return null | 
|---|
| 324 |   } | 
|---|
| 325 |  | 
|---|
| 326 |   //! Combine two periods with earliest start and latest end. | 
|---|
| 327 |   /*! Combines two periods and any gap between them such that  | 
|---|
| 328 |    *  start = minimum(p1.start, p2.start) | 
|---|
| 329 |    *  end   = maximum(p1.end  , p2.end) | 
|---|
| 330 |    *@code | 
|---|
| 331 |    *        [---p1---) | 
|---|
| 332 |    *                       [---p2---) | 
|---|
| 333 |    * result: | 
|---|
| 334 |    *        [-----------p3----------)  | 
|---|
| 335 |    *@endcode | 
|---|
| 336 |    */ | 
|---|
| 337 |   template<class point_rep, class duration_rep> | 
|---|
| 338 |   inline | 
|---|
| 339 |   period<point_rep,duration_rep> | 
|---|
| 340 |   period<point_rep,duration_rep>::span(const period<point_rep,duration_rep>& other) const  | 
|---|
| 341 |   { | 
|---|
| 342 |     point_rep start((begin_ < other.begin_) ? begin() : other.begin()); | 
|---|
| 343 |     point_rep newend((last_  < other.last_)  ? other.end() : this->end()); | 
|---|
| 344 |     return period<point_rep,duration_rep>(start, newend); | 
|---|
| 345 |   } | 
|---|
| 346 |  | 
|---|
| 347 |  | 
|---|
| 348 | } } //namespace date_time | 
|---|
| 349 |  | 
|---|
| 350 |  | 
|---|
| 351 |  | 
|---|
| 352 | #endif | 
|---|