ГОСТ Р ИСО/ТС 10303-1014—2010
5.2.1.2 Тип date_and_time_item
Тип date_and_timejtem является наращиваемым списком альтернативных типовданных. Допол
нительные альтернативные типы данных определяются в выбираемых типах данных, расширяющих
тип date_and_time_item.
П р и м е ч а н и е — Для пустого наращиваемого списка выбора требуется его наполнение в других модулях
для обеспечения того, чтобы ссылающиеся на него объекты имели по крайней мере одну допустимую реализацию.
EXPRESS-спецификация:
*>
TYPE date_andJimeJtem = EXTENSIBLE SELECT;
END_TYPE:
r
5.2.2 Определение объектов ИММ
В данном пункте определены объекты ИММ для рассматриваемого прикладного модуля.
5.2.2.1 Объект applied_date_and_tlme_assignment
Объектapplied_date_and_time_assignmentявляетсяподтипомобъекта
date_and_time_assignment. который назначает объект date_and_time экземплярам объектных типов
данных, представленных в объекте date_and_time_item и его расширениях.
EXPRESS-слециФикация.
’)
ENTITY applied_date_and_time_assignment
SUBTYPE OF (date_and_time_assignment);
items : SET[1:?] OF date_and_time_item:
END_ENTITY;
r
Определение атрибута
items — множество объектов, которым назначен объект date_and_time.
5.2 2.2 Объект applied_date_assignment
Объект applied_date_assignment является подтипом объекта date_assignment, который назна
чает объект date экземплярам объектныхтиповданных, представленных в объекте dateJtem и его рас
ширениях.
EXPRESS-спецификация:
# >
ENTITY applied_date_assignment
SUBTYPE OF (date_assignment):
items : SET[1:?) OF dateJtem;
END_ENTITY;
r
Определение атрибута
Items — множество объектов, которым назначен объект date.
•>
END_SCHEMA; — Date time_assignment_mim
С
8