ГОСТ Р ИСОГГС 10303-1263—2014
П р и м е ч а н и е-Для того чтобы быть уверенными, что для объектов, ссылающихся на пустой
расширяемый выбираемый (SELECT) тип данных, существует хотя бы один тип разрешенных экземпляров, в
прикладных модулях, использующих этот тип данных, требуется его расширение.
EXPRESS-спеииФикаиия:
*>
TYPE assumption_item = EXTENSIBLE GENERIC_ENTITY SELECT;
END_TYPE;
<*
4.2.3 Тип данных just_state_definition_of_item
ТипданныхJust_state_definition_ofJtemявляетсярасширениемтипаданных
state_definition_ofJtem. В настоящем типе данных к списку альтернативных типов данных добавлен
тип данных Assumption.
П р и м е ч а н и е-Список объектных типов данных гложет быть расширен в прикладных модулях, в
которых используются конструкции настоящего прикладного модуля.
EXPRESS-спеиификаиия:
*)
TYPE just_state_definition_of_item = EXTENSIBLE GENERIC_ENTITY
SELECT BASED_ON state_definition_of_itern WITH
(Assumption);
EKD_TYPE;
(*
4.2.4 Тип данных just_state_of_item
Тип данных just_stato_of_item является расширением типа данных state_of_item. В настоящем
типе данных к списку альтернативных типов данных добавлен тип данных Assumption.
П р и м е ч а н и е-Список объектных типов данных может быть расширен в прикладных модулях, в
которых используются конструкции настоящего прикладного модуля.
EXPRESS-спецификаиия:
*>
TYPE just_state_of_item = EXTENSIBLE GENERIC_ENTITY SELECT
BASED_ON state_of_item WITH
(Assumption);
END_TYPE;
(*
4.2.5 Тип данных justificationJtem
Тип данных justificationjtem является расширяемым списком альтернативных типов данных,
позволяющимобозначатьтипыданныхAssumption.Assumption_assignmentи
Assumptionrelationship
П р и м е ч а н и е-Список объектных типов данных может быть расширен в прикладных модулях, в
которых используются конструкции настоящего прикладного модуля.
4