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

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

Ещё ГОСТы из 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 (Настоящий стандарт распространяется на женский госпитальный халат для лечебных учреждений, изготовляемый по госзаказу)

Страница 41

Страница 1

Untitled document

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

ABSTRACT SUPERTYPE

SUBTYPE OF (defined_function. string_expression),

END_ENTITY;

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

IP1 — подтип объекта string_defined_function может быть либо объектом goneric_expression,

либо он недолжен содержать ни одногообъекта generic_variable.

6.6 Функции для определения свойств выражения

Следующиедекларации наязыке EXPRESSустанавливаютразличныефункции, которыепозволя

ют определятьсвойства выражений.

6.6.1 Функция is_int_expr

Функция ls_lnt_expr проверяет, является ли результатом синтаксически правильного выражения

целочисленное значение или нет.

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

FUNCTION is_int_expr(arg: numeric_expression):BOOLEAN;

LOCAL

i: INTEGER;

END_LOCAL;

D IF;

IF’IS013584_EXPRESSI0NS_SCHEMA.INT_LITERAL’ INTYPEOF(arg)

THEN

RETURN (TRUE);

END IF;

IF’IS013584_EXPRESSI0NS_SCHEMA.REAL_LITERAL’ INTYPEOF(arg)

THEN

RETURN (FALSE):

END IF;

IF’IS013584_EXPRESSIONS_SCHEMA.INT_NUMERIC_VARIABLE’ IN TYPEOF(arg)

THEN

RETURN (TRUE);

END IF;

IF’IS013584_EXPRESSI0NS_SCHEMA.REAL_NUMERIC_VARIABLE’ IN TYPEOF(arg)

THEN

RETURN (FALSE);

END IF;

IF’IS013584_EXPRESSI0NS_SCHEMA.ABS_FUNCTI0N’ IN TYPEOF(arg)

THEN

RETURN (is_int_expr(arg\unary_numeric_expression.operand));

IF’IS013584_EXPRESSI0NS_SCHEMA.MINUS_FUNCTI0N’ IN TYPEOF(arg)

THEN

RETURN (is_int_expr(arg\unary_numeric_expression.operand));

ENDJF;

IF (’IS013584_EXPRESS10NS_SCHEMA.SIN_FUNCTI0N’ IN TYPEOF (arg))

OR (’IS013584_EXPRESSI0NS_SCHEMA.C0S_FUNCTI0N’ IN TYPEOF(arg))

OR (*IS013584„EXPRESSIONS_SCHEMA.TAN_FUNCTION’ IN TYPEOF(arg))

OR (’IS013584_EXPRESSI0NS_SCHEMA.ASIN_FUNCTI0N’ INTYPEOF(arg))

OR (1S013584_EXPRESSIONS_SCHEMA.ACOS„FUNCTION’ INTYPEOF(arg))

0R(’IS013584_EXPRESSI0NS_SCHEMA.ATAN_FUNCTI0N’ IN TYPEOF(arg))

OR (1S013584_EXPRESSIONS_SCHEMA.EXP_FUNCTION’ IN TYPEOF(arg))

OR (‘IS013584_EXPRESSIONS_SCHEMA.LOG_FUNCTION’ INTYPEOF(arg))