Г О С Т Р 5 5 3 4 6 — 2 0 1 2
lowjndex: INTEGER;
END ENTITY;
C
Определенно атрибута:
Атрибут lowjndex; Этот атрибут определяет минимальное значение, которое может принимать
прикладной компонент datajnstance данного типа.
4.3.145 Прикладной компонент lobound_real_interval
Прикладной компонент lobound_real_interval принадлежит к тому же типу, что и прикладной ком
понент realjnterval. и имеет нижнюю границу, ограничивающую подмножество содержащихся в нем
действительных чисел.
EXPRESS-описание:
*)
ENTITY lobound_realJnterval
SUBTYPE OF (realjnterval);
low_closure: BOOLEAN;
lowjndex; REAL;
r
END_ENTITY;
Определения атрибутов:
Атрибут low_closure; Этот атрибут определяет, включается ли атрибут lowjndex в прикладной
компонент maths_space. Состояние TRUE соответствует его включению, а состояние FALSE — невклю
чению этого атрибута.
Атрибут lowjndex; Этот атрибут определяет минимальное значение, которое может принимать
прикладной компонент datajnstance данного типа.
4.3.146 Прикладной компонент logical_data_type_defmition
Прикладной компонент logical_datajype_definition принадлежит к тому же типу, что и прикладной
компонент elementary_maths_space, чьими состояниями являются TRUE. FALSE или UNKNOWN.
Примечание — Прикладной компонент logical_dataJype_definitk>n не моделируется как прикладной
компонент finite_space. так и понятие прикладного компонента logical_dataJype_definition. которые могут иметь
более точный смысл, чем это будет допускаться прикладным компонентом finite_space.
EXPRESS-описание:
*)
ENTITY logical_datajype_defmition
SUBTYPE OF (elementary_maths_space);
END_ENTITY;
C
4.3.147 Прикладной компонент maths_space
Прикладной компонент maths_space определяет множество математических значений, которое
может принимать прикладной компонент datajnstance вданной области значений.
Примечание — Для целей контроля типов данных должны быть предусмотрены строки, состоящие из
математических значений.
EXPRESS-описание:
*)
ENTITY maths_space
ABSTRACT SUPERTYPE OF ( ONEOF(elementary_ maths_space. finite_space. integerjnterval,
realjnterval));
description : OPTIONAL text_select,
id; elementjdentifier;
name; OPTIONAL label:
UNIQUE
UR1: Id;
END_ENTITY;
Г
89