ГОСТРИСО 15926-2 2010
Определения атрибутов:
content: значение EXPRESS integer.
Формальный предлог:
rule 1: содержание должно быть единственным в своем роде в пределах системы.
5.2.18.4 EXPRESS logical (логический тип EXPRESS)
Сущность EXPRESS logical есть класс class, of EXPRESS information representation, отобра
жающий логическое число. как определено в ИСО 10303-11:1994. 8.1.4.
Примечание —Правило UNIQUE (однозначно определяемое) устанавливает фиксирование любою
значения только один раз.
Спепификаиия на языке EXPRESS:
*)
ENTITY EXPRESS_logical
SUBTYPE OF{class_of_EXPRESS_information_representation);
content:LOGICAL;
UNIQUE
rule_l :content;
END_ENTITY;
(’
Определения атрибутов:
content: значение EXPRESS. logical.
Формальный предлог:
rule 1: содержание должно быть единственным в своем роде в пределах системы.
5.2.18.5 EXPRESS real (вещественный тип EXPRESS)
Сущность EXPRESS^realесть класс class of EXPRESS information representation, отображаю
щий вещественное число, как определено в ИСО 10303-11:1994. 8.1.2.
Примечание — Правило UNIQUE (однозначно определяемое) обеспечивает фиксирование любого
значения толькоодин раз.
Спецификация на языке EXPRESS:
")
ENTITY £XPRESS_real
SUBTYPE 01<class_of_EXPRESS_information_representation);
content:REAL;
UNIQUE
rule_l :content;
END_ENTITY;
(*
Определения атрибутов:
content: значение EXPRESS.real
Формальный предлог:
rule. 1: содержание должно быть единственным в своем роде в пределах системы.
176