ГОСТ Р ИСО 10303-22-2002
EXPRESS-спеинФи камня
*>
ENTITY simple type
ABSTRACT SUPERTYPE OF (ONEOF(integer_type. real_type, string, type,
binary-type, logical type, boolean-type. number_tvpe));
END_ENTITY:
C
6.4.21 О б ъ е к т mimberjype
Объект mimber_type является объектом simple_type. представляющим числовой (NUMBER)
тип языка EXPRESS.
EXPRESS-сиеппфикация
*)
ENTITY number type
SUBTYPE OF (simple_type);
END_ENTITY;
(•
6.4.22 О б ъ е к т intcger_type
Объект integcr_type является объектом simple_type. представляющим целочисленный (INTEGER)
тип языка EXPRESS.
EXPRESS-епенификанпя
*)
ENTITY integer,type
SUBTYPE OF (simple type);
END_ENT1TY;
C
6.4.23 О б ъ е к т real_type
Объект real_type является объектом simple_type, представляющим действительный (REAL)
тип языка EXPRESS. В значении действительного типа может быть задано минимальное число зна
чащих цифр.
EXPRESS-спеиификания
*)
ENTITY realtype
SUBTYPE OF (simple,type);
precision : OPTIONAL bound;
END ENTITY;
C
Определение атрибута
precision —минимальное число значащих цифр в значении типа (при его наличии).
Неформальное утверждение
precision_positive — значение ограничения точности должно приводиться к целому положи
тельному числу (если точность задана).
6.4.24 О б ъ е к т string_typc
Объект string_type является объектом simple_type, представляющим строковый (STRING) тип
языка EXPRESS. Строковый тип может иметь заданную фиксированную или переменную ширину
(число символов).
EXPRESS-спенификапия
*>
ENTITY string type
SUBTYPE OF (simplejype);
width: OPTIONAL bound:
fixed_width; BOOLEAN;
END_ENT1TY:
C
Определения атрибутов
width - максимальное или. для строк с фиксированной шириной, точное число символов в
значении типа (при наличии данного атрибута);
17