BuildingsBase::DateOfEvent

: Public <<dataType>> Class

-- Name -- Date of event -- Definition -- This data type includes the different possible ways to define the date of an event.

Attribute

Public DateTime
anyPoint

Notes:

-- Name -- Any point -- Definition -- A date and time of any point of the event, between its beginning and its end.

Constraints:
atleast one date

::/*At least, one of the attributes beginning, end or anyPoint shall be supllied*/

Public DateTime
beginning

Notes:

-- Name -- Beginning -- Definition -- Date and time when the event begun.

Public DateTime
end

Notes:

-- Name -- End -- Definition -- Date and time when the event ended.

Constraint	Type	Status
atLeastOneEvent	OCL	Approved
Details: /At least, one of the attributes beginning, end or anyPoint shall be supplied./<br/>inv: dateOfEvent-#gt;notEmpty()<br/>
beginning is before anyPoint is before end	OCL	Approved
Details: inv: beginning #lt;= anyPoint and anyPoint #lt;= end and beginning #lt;= end<br/>