representing_date

NOTE An explanation of a template and the associated instantiation path is provided in the Template overview section.

Allow the Date_time entity instantiated in this path to be referenced when this template is used.

Note: The Date_time entity can be referenced in a template path by:

%^target = $representing_date_time.date_time%

where target is the parameter to which the Date_time is bound.

Allow the Time_offset entity instantiated in this path to be referenced when this template is used.

Note: The Time_offset entity can be referenced in a template path by:

%^target = $representing_date_time.time_offset%

where target is the parameter to which the Time_offset is bound.

Allow the Calendar_date entity instantiated in this path to be referenced when this template is used.

Note: The Calendar_date entity can be referenced in a template path by:

%^target = $representing_date_time.calendar_date%

where target is the parameter to which the Calendar_date is bound.

Unique constraint: Unique calendar date

There shall be at most one instance of the entity (Calendar_date) within the data set uniquely identified by a combination of the following parameters on this template (representing_date_time) namely: year, month, day.
The instance is referenced by the following template parameter: calendar_date.

Unique constraint: Unique time offset

There shall be at most one instance of the entity (Time_offset) within the data set uniquely identified by a combination of the following parameters on this template (representing_date_time) namely: hour_offset, minute_offset, sense.
The instance is referenced by the following template parameter: time_offset.

-- Instantiate Date_time entity
Date_time

-- Bind the Date_time to the parameter ^date_time.
-- The parameter is a reference parameter so the Date_time
-- entity can be referred to when this template is used.
%^date_time = Date_time%

-- Instantiate Calendar_date and point at it
Date_time.date_component -> Calendar_date

-- Instantiate Local_time and point at it
Date_time.time_component -> Local_time

-- Instantiate Time_offset and point at it
Local_time.zone -> Time_offset

-- Bind the Time_offset to the parameter ^time_offset.
-- The parameter is a reference parameter so the Time_offset
-- entity can be referred to when this template is used.
%^time_offset = Time_offset%

-- Set the Calendar_date attributes
Calendar_date.year_component -> @year
Calendar_date.month_component -> @month
Calendar_date.day_component -> @day

-- Bind the Calendar_date to the parameter ^calendar_date.
-- The parameter is a reference parameter so the Calendar_date
-- entity can be referred to when this template is used.
%^calendar_date = Calendar_date%

-- Set the Local_time attributes
Local_time.hour_component -> @hour
Local_time.minute_component -> @minute
Local_time.second_component -> @second

-- Set the Time_offset attributes
Time_offset.sense -> @sense
Time_offset.hour_offset -> @hour_offset
Time_offset.minute_offset -> @minute_offset

The instance diagram in Figure 3 shows an example of the EXPRESS entities and templates that are instantiated by the template:

/representing_date_time(year='2005', month='11', day='22', hour='15', minute='12', second='00', sense='exact', hour_offset='0', minute_offset='0')/

(an illustration of the consolidated representing_date_time template is shown in Figure 4 below.)

The instance diagram in Figure 4 shows the graphic symbol for the template that is to be used in other instance diagrams. The example template is:

/representing_date_time(year='2005', month='11', day='22', hour='15', minute='12', second='00', sense='exact', hour_offset='0', minute_offset='0')/