ГОСТ Р ИСОГГС 10303-1263—2014
5.2.1.2 Тип данных just_state_type_of_item
Тип данных just_state_type_of_item является расширением типа данных state_ type_of_item. В
настоящем типе данных к списку альтернативных типов данных добавлен тип данных assumption.
П р и м е ч а н и е-Список объектных типов данных гложет быть расширен в прикладных модулях, в
которых используются конструкции настоящего прикладного модуля.
EXPRESS-спеиификация:
*)
TYPE just_state_type_of_item = EXTENSIBLE GENERIC_ENTITY SELECT
BASED_ON state_type_of_item WITH
(assumption);
END_TYPE;
(*
5.2.1.3 Тип данныхjustificationJtem
Тип данных justificationJtem является расширяемым списхом альтернативных типов данных. К
выбираемым (SELECT) типам данных, расширяющим тип данных justiflcation_item. добавляются
дополнительные альтернативные типы данных.
П р и м е ч а н и е-Для того чтобы быть уверенными, что для объектов, ссылающихся на пустой
расширяемый выбираемый (SELECT) тип данных, существует хотя бы один тип разрешенных экземпляров, в
прикладных модулях, использующих этот тип данных, требуется его расширение.
EXPRESS-спеиификация:
*)
TYPE justification_item = EXTENSIBLE GENERIC_ENTITY SELECT;
END_TYPE;
(*
5.2.1.4 Тип данныхjustification_supportJtem
Тип данных justification_support_item является расширяемым списком альтернативных типов
данных.Квыбираемым(SELECT)типамданных.расширяющимтипданных
justification_support_item, добавляются дополнительные альтернативные типы данных.
П р и м е ч а н и е-Для того чтобы быть уверенными, что для объектов, ссылающихся на пустой
расширяемый выбираемый (SELECT) тип данных, существует хотя бы один тип разрешенных экземпляров, в
прикладных модулях, использующих этот тип данных, требуется его расширение.
EXPRESS-спеиификация:
*>
TYPE justification_support_item = EXTENSIBLE GENERIC_ENTITY
SELECT;
ENDJTYPE;
(*
5.2.2 Определение объектов ИММ
В настоящем пункте определены объекты ИММ для прикладного модуля, рассматриваемого в
настоящем стандарте. Ниже специфицированы объекты ИММ и их определения.
5.2.2.1 Объект assumption
Объект assumption является таким подтипом объекта state_type. который используется для
обозначения того, что считается истинным без доказательства.
20