ГОСТ Р ИСО 13584-31—2010
RETURN (FALSE); — virtually sent 3hall be Ы involved
EN3_IF;
ELSE — not virually sent
IF <SIZEOF(QUERY< st <* item.styles 11).styles |
’API_ABSTRACT_SCHEMA
. ’
-
’API_PRED£FINED_OCCLUSION_STYLE’ IN
TYPEOF(st)
)
> - 1
>
THEN
nbstyle:-nb_style-l;
END_IF;
END_IF;
IF < ’API_ABSTRAC1 _SCHEMA.ANNOTATION_FILL_AKEA’ IN
TYPEOF~"(item.item)
)
THEN
r.b_3tyle:-nb_style - SIZEOF(QUERY( f_a_style<* item,styles■1].styles I
’AP1_ABSTRACT_SCHEMA.’f
’FILL_AREA_STYLE’ IN
TYPEOF(f_a_style)
>
>;
END_IF;
RETURN (nb_style <- 1);
END_FUNCTION;
(*
6.4 Глобальные правила схемы API_ABSTRACT_SCHEMA
Настоящий подраздел описывает глобальные правила, ассоциированные с рассмотренными
выше сущностями (содержащимися в схеме api_abstract_schema) и ограничивающие их использование и
их соотношения.
6.4.1 Правило unique_shape_representation
Правило unique_shape_reprosentation требует существования уникальной сущности представле
ния формы shape_represontalion схемы api_abstract_schema. Указанное представление формы соот
ветствует форме продукта, созданного с помощью интерфейса базы данных CAD.
Спецификация на языке EXPRESS:
*)
RULE ur.ique_shape_representation FOR (shape_representation) ;
WHERE
WR1: S12EOI(QUERY (SHAPE <* shape_representation |TRUE)) -1;
ENO_RULE;
C "
Спецификация на языке EXPRESS:
END_SCHLMA; -- end API_ABSTRACT schema
(*
112