ГОСТ Р ИСО 13584-20—2006
Формальные утверждения
WR1 — операндыдолжны иметьтипданных expression.
WR2 — типы сравниваемых в interval_expression выражений должны быть выражены в сравни
мых выражениях.
6.4.22 Объект booloan_dofinod_function
Объект boolean_defined_function представляет собой любой оператор, определенный в при
кладной программе, областью значений которого являетсятип данных BOOLEAN по ИС0 10303-11.
EXPRESS-спецификаиия
*)
ENTITY boolean_defined_function
ABSTRACT SUPERTYPE
SUBTYPE OF (defined_function. boolean_expression);
END_ENTITY;
(*
Неформальное утверждение
IP1 — подтипом объекта boolean_defined_function можетбытьлибо объект generic_exprossion,
либо такой объект, который не содержит ниодного объекта goneric_variable.
6.5 Определения объектов строковых выражений
Объектstring_expression представляетсобой выражение, областью значений которого является
типданных STRING языка EXPRESS по ИСО 10303-11.
EXPRESS-спецификаиия
•)
ENTITY string_expression
ABSTRACT SUPERTYPE OF (ONEOF (simple_string_expression,
index_expression.
substring_expression.
concat_expression,
format_function,
string_definedJunction))
SUBTYPE OF (expression);
END_ENTITY;
Г
6.5.1 Объектsimple_string_oxpression
Объект simple_string_expression представляет собой унарный оператор, областью значений
которого является типданных STRING языка EXPRESS по ИСО 10303-11.
EXPRESS-спецификаиия
*>
ENTITY simple_string_expression
ABSTRACT SUPERTYPE OF (ONEOF (string.literal,
string_variable))
SUBTYPE OF (string_expression, simple_generic_expression);
END_ENTITY;
Г
6.5.2 ОбъектstringJiteral
Объект stringJiteral представляет собой литерал типа STRING языка EXPRESS.
П р и м е ч а н и е — Областью значений типа данных STRING языка EXPRESS являются последователь
ности символов.
33