ГОСТ Р ИСО 13584-20-2006; Страница 33

или поделиться

Ещё ГОСТы из 41757, используйте поиск в верху страницы

ГОСТ 27289-87 Веретена кольцевых прядильных и крутильных машин. Основные параметры и размеры Spindles for twister and ring frames (Настоящий стандарт распространяется на веретена кольцевых прядильных и крутильных машин для производства нитей из натуральных волокон и их смесей с химическими волокнами и устанавливает требования к веретенам, изготовляемым для нужд народного хозяйства и экспорта. Стандарт не распространяется на веретена машин для прядения льна) ГОСТ 22358-87 Коньки беговые и хоккейные. Общие технические условия Racing and hockey skates. General specifications (Настоящий стандарт распространяется на массовые и мастерские фигурные коньки, предназначенные для скоростного бега и игры в хоккей с шайбой и мячом. Стандарт не распространяется на хоккейные коньки для вратарей и на коньки единичного производства (заказы для сборных команд страны и команд высшей лиги)) ГОСТ 27410-87 Халат женский госпитальный. Технические условия Women's hospital dressing-gowns. Specifications (Настоящий стандарт распространяется на женский госпитальный халат для лечебных учреждений, изготовляемый по госзаказу)

Страница 33

Страница 1

Untitled document

ГОСТ Р ИСО 13584-20—2006

SUBTYPE OF (multiple_arity_boolean_expression);

END_ENTITY;

6.4.13 Объект comparison_expression

Объект comparison_oxpression включает в себя семантику операторов сравнения различных

значений по ИСО 10303-11. которые ограничены типами данных NUMBER. BOOLEAN и STRING языка

EXPRESS. Оба операндадолжны иметьодин итотже типданных.

EXPRESS-cneuHtbHxaunn

ENTITYcomparison_expression

ABSTRACT SUPERTYPE OF (ONEOF (comparison_equal,

comparison_greater,

comparison_greater_equal,

comparisonjess.

comparison_less_equal,

comparison_not_equal,

like_expression))

SUBTYPE OF (boolean_expression, binary_generic_expression);

SELF\binary_generic_expression.operands: LIST [2:2] OF

expression;

WHERE

WR1: ((’ ISOI3584_EXPRESSIONS_SCHEMA.NUMERIC_EXPRESSION’

INTYPEOF (SELFVbinary_generic_expression.operands[1])>

AND

1IS013584_EXPRESSIONS_SCHEMA.NUMERIC_EXPRESSION’

IN TYPEOF (SELF\binary_generic_exprossion.operands[2]))

((’ IS013584_EXPRESSIONS_SCHEMA.BOOLEAN_EXPRESSION’

IN TYPEOF (SELF\binary_generic_expression.operands[1]))

AND

(’ IS013584_EXPRESSI0NS_SCHEMA.B00LEAN_EXPRESSI0N’

IN TYPEOF (SELF\binary_generic_expression.operands[2])))

((’ IS013584_EXPRESSIONS_SCHEMA.STRING_EXPRESSION’

INTYPEOF (SELF\binary_generic_expression.operands[1]))

AND

(1IS013584_EXPRESSI0NS_SCHEMA.STRING_EXPRESSI0N’

IN TYPEOF (SELRbinary_generic_expression.operands[2])));

END_ENTITY;

Определение атрибута

operands — список объектов generic_expressions. содержащий выражения, подлежащие срав

нению.

Формальное утверждение

WR1 — операнды comparison_expression должны быть совместимыми по типу.

6.4.14 Объект comparison_cqual

Объект comparison_equal включает в себя семантику оператора равенства значений (’=’) по

ИС010303-11, ограниченного типамиданных NUMBER. BOOLEAN иSTRING языка EXPRESS. Оба опе

рандадолжны иметьодин итотже типданных.

EXPRESS-спецификаиия

•)