Next: Description Class ControlledInput Up: No Title Previous: Description Class DynamicInterval

Description Class CalendarInterval

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.

BASE CLASSES

Class DynamicInterval(INT_DOM = CALENDAR_TIME)

Intention
: All definitions of a dynamic interval are also provided here, using the domain containing the calendar times as interval domain.

Class	DynamicInterval(INT_DOM = CALENDAR_TIME)

SIGNATURE

Timed Predicate actual

Intention : This predicate is true iff the current date is in the calendar interval.

Scope : mh

REQUIREMENT SPECIFICATIONS

Timed Predicate	actual

Property R_CI1

Formal : ( actual leq( start. checked, currentDate)
leq( currentDate, end. checked) )

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.

Property	R_CI1

Next: Description Class ControlledInput Up: No Title Previous: Description Class DynamicInterval

Forest-System
1999-06-10

Intention	:	This predicate is true iff the current date is in the calendar interval.
Scope	:	mh

Formal	:	( actual leq( start. checked, currentDate) leq( currentDate, end. checked) )
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.