1 #ifndef __JUTC__JUTCTIMERANGE__ 
    2 #define __JUTC__JUTCTIMERANGE__ 
   13 namespace JPP { 
using namespace JUTC; }
 
   33       JRange<double>(0.0, 999999999999.9)
 
   54       JRange<double>(Tmin_s, Tmax_s)
 
  100       const JFormat format(out, getFormat<JUTCTimeRange>(
JFormat_t(13, 1, std::ios::fixed)));
 
JUTCTimeRange(const JRange< double > &timerange)
Constructor. 
 
JUTCTimeRange()
Default constructor. 
 
void setUTCTimeRange(const JRange< double > &timerange)
Set UTC time range. 
 
JUTCTimeRange(const double Tmin_s, const double Tmax_s)
Constructor. 
 
Auxiliary class to define a range between two values. 
 
friend std::ostream & operator<<(std::ostream &out, const JUTCTimeRange &utc)
Write UTC time range to output. 
 
JUTCTimeRange & getUTCTimeRange()
Get UTC time range. 
 
const JUTCTimeRange & getUTCTimeRange() const 
Get UTC time range.