INTENTION
This class provides all definitions to describe an interval of calendar times. The start and end point of the interval can change over time. Therefore, this class is derived from the description class DynamicInterval. Additionally, a timed predicate actual indicates whether the current date (currentDate) is in this interval or not.
REQUIREMENT SPECIFICATIONS
Property | R_CI1 |
---|
NL | : | The current time is in the calendar interval iff the interval start point is less than or equal to the current time and the current time is less than or equal to the interval end point. |