ГОСТ Р ИСО 10303-22-2002
fixed_width - булевское значение, соответствующее TRUE, если тип имеет в качестве области
значений строки с фиксированной шириной, и FALSE, если тип имеет в качестве области значе ний
строки с переменной шириной.
Неформальное утверждение
width_positive —значение границы ширины строки должно приводиться к целому положитель
ному числу (если граница задана).
6.4.25 О б ъ е к т binary_1уре
Объект bin*ry_type является объектом simple_type. представляющим двоичный (BINARY) тип
языка EXPRESS. Двоичный тип может иметь заданную фиксированную или переменную ширину
(количество битов).
EXPRESS-снсиификация
*>
ENTITY binarv_tvpe
SUBTYPE OF (simplejype);
width: OPTIONAL bound:
fixed width: BOOLEAN:
END_ENTITY;
C
Определения атрибутов
width - максимальное ши. для двоичного числа с фиксированной шириной, точное число
битов в значении типа;
fixed_width —булевское значение, соответствующее TRUE, если областью значений типа яв
ляются двоичные типы фиксированной ширины, и FALSE, если областью значений типа являются
двоичные типы переменной ширины.
Неформальное утверждение
width_positive — значение границы ширины двоичного числа должно приводиться к целому
положительному числу (если граница задана).
6.4.26 О б ъ е к т logical_type
Объект logical_type является объектом siniple_type. представляющим логический (LOGICAL)
тип языка EXPRESS.
EXPRESS-сиетиЬикаиня
*>
ENTITY Iogicaljype
SUB TYPE OF (simple_type);
END.ENT1TY;
C
6.4.27 О б ъ е к т boolean_type
Объект boolean_type является объектом simple_type. представляющим булевский (BOOLEAN)
тип языка EXPRESS.
LXPRESS-спепнФикапии
*>
ENTITY boolean_type
SUBTYPE OF (simple jype);
END,ENTITY;
(•
6.4.28 О б ъ е к т enumeration_type
Объект enumeration_type представляет перечисляемый (ENUMERATION) тип языка EXPRESS.
EXPRESS-спещиЬикации
*>
ENTITY enumeration type;
elements : LIST fl:?| OF UNIQUE expressJd;
END_ENT1TY:
C
Определение атрибута
elements —список значений типов в порядке их перечисления в объявлении перечисляемого
типа языка EXPRESS.
18