4.4.1 Объект binary_representation_item
Объект binary_representation_item явпяется таким подтипом объекта representation_item, посредством которого задается двоичное значение.
EХPRESS-спецификация:
*)
ENTITY binary_representation_item
SUBTYPE OF (representation_item);
binary_value : BINARY;
END_ENTITY;
(*
Определение атрибута:
binary_value - значение элемента представления.
4.4.2 Объект bytes_representation_item
Объект bytes_representation_item является таким подтипом объекта binary_representation_item, посредством которого задается байтовое значение.
EХPRESS-спецификация:
*)
ENTITY bytes_representation_item
SUBTYPE OF (binary_representation_item);
DERIVE
no_of_bytes : INTEGER:= BLENGTH (SELF\binary_representation_item.binary_value)
DIV 8;
WHERE
WR1: BLENGTH (SELF\binary_representation_item.binary_value) MOD 8 = 0;
END_ENTITY;
(*
Определение атрибута:
no_of_bytes - количество байт в элементе представления.
Формальное положение:
WR1. Количество бит в значении, заданном наследуемым атрибутом binary_value, должно быть кратно 8.