ГОСТ Р ИСО 13584-20—2006
END_ENTITY;
Г
Формальное утверждение
WR1 — список операндов должен содержатьдва выражения generic_expression. которые явля
ются выражениями типа string_expression.
6.4.21 Объект interval_expression
Объект interval_expression включает в себя семантику выражения интервала по ИСО 10303-11,
ограниченного типами данных NUMBER. BOOLEAN и STRING языка EXPRESS. Оба операнда должны
иметьодин итот жетипданных.
П р и м е ч а н и е — Выражение intervalexpression проверяет, находится или нет значение в пределах
заданного интервала. Оно принимает значение TRUE, если Interval_low <= Intervaljtem <= interval_high. Соотве
тствующими порядками старшинства являются:
- математическое упорядочение вещественных чисел;
- лексикографический порядок в строках.
EXPRESS-спеиификация
*)
ENTITY interval_expression
SUBTYPE OF (boolean_expression. multiple_arity_generic_expression);
DERIVE
interval Jow: generic_expression
: = SELF\multiple_arity_generic_expression.operands[1];
interval_item:generic_expression
: = SELF\multiple_arity_generic_expression.operands[2];
interval_high:generic_expression
: = SELF\multiple_arity_generic_expression.operands[3];
WHERE
WR1:(’IS013584_EXPRESSI0NS_SCHEMA.EXPRESSI0N’
IN TYPEOF (interval low))
AND (’IS013584_EXPRESSI0NS_SCHEMA.EXPRESSION’
INTYPEOF (intervaljtem))
AND (’IS013584_EXPRESSIONS_SCHEMA.EXPRESSION’
IN TYPEOF (interval_high)):
WR2; ((’IS013584_EXPRESSIONS_SCHEMA.STRING_EXPRESSION’
IN TYPEOF (SELF.intervalJow))
AND (’IS013584_EXPRESSIONS SCHEMA.STRING_EXPRESSION*
IN TYPEOF (SELF.interval_high))
AND (’IS013584_EXPRESSI0NS_SCHEMA.STRING_EXPRESSI0N’
IN TYPEOF (SELF.interval.item)))
OR
((’IS013584_EXPRESSI0NS_SCHEMA.STRING_EXPRESSI0N’
IN TYPEOF (SELF.intervalJow))
AND (’IS013584_EXPRESSI0NS_SCHEMA.NUMERIC_EXPRESSI0N’
IN TYPEOF (SELF.intervaljtem))
AND (’IS013584_EXPRESSIONS_SCHEMA.NUMERIC_EXPRESSION’
IN TYPEOF (SELF.intervalJiigh)));
END_ENTITY;
r
Определения атрибутов
interval Jow — операнд, задающий нижнюю границу (bound_1) интервального выражения
(пункт 12.2.4 ИСО 10303-11);
interval Jrigh — операнд, задающий верхнюю границу (bound_2) интервального выражения
(пункт 12.2.4 ИСО 10303-11);
intervaljtem — операнд intervaljtem интервального выражения (пункт 12.2.4 ИСО 10303-11).
32