ГОСТ Р ИСО 10303-504-2006; Страница 16

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

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

ГОСТ 9382-78 Одеяла чистошерстяные и полушерстяные. Общие технические условия Woollen and half-woollen blankets. General requirements (Настоящий стандарт распространяется на чистошерстяные и полушерстяные одеяла бытового назначения. Стандарт не распространяется на одеяла военного ассортимента) ГОСТ 23259-78 Мрамор. Правила приемки. Методы отбора и подготовки проб для испытаний Marble. Reception rules. Methods of sampling and sample preparation for laboratory testing (Настоящий стандарт распространяется на естественный мрамор в виде порошка, крошки, кусков и устанавливает правила его приемки и методы отбора и подготовки проб для химического анализа и физических испытаний) ГОСТ 23212-78 Блоки универсальных штампов для обрезки. Технические условия Units of versatile press tools for clipping. Specifications (Настоящий стандарт распространяется на блоки универсальных штампов для обрезки облоя и пробивки отверстий на однокривошипных закрытых прессах простого действия с номинальными усилиями от 1600 до 4000 кН (от 160 до 400 т с) с основными параметрами и размерами по ГОСТ 10026-75)

Страница 16

Страница 1

Untitled document

ГОСТ Р ИСО 10303-504—2006

WR5 — никакой объект draughting_symbol_representation не должен быть источником како

го-либо объекта mappedjtem, который задействован в его определении.

WR6 — объект representation_context из объекта draughting_symbol_reprosentation не должен

быть контекстом какого-либо другого объекта representation.

4.2.5 Объект draughtingJextJiteral_with_delineation относится к типу textjiteral. Он определя

ет ограничение текста линиями как сверху, так и снизу.

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

ENTITY draughting_text_literal_with_delineation

SUBTYPE OF (text_literal_with_delineation);

WHERE

WR1: SELF.delineation IN [’underline’, ’overline’];

END_ENTITY;

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

WR1 — каждый объект draughting_text_literal_with_delineation должен иметь ограничение лини

ями либо снизу (’underline’), либо сверху (’overline’).

4.3 Определения функций схемы aic_draughting_annotation

4.3.1 Булева функция acyclic_mapped_item_usage возвращает значение «истина», если задан

ный объект representation содержит один или более объектов mappedjtem. которые являются отобра

жением самого объекта representation.

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

FUNCTION acyclic_mappod_item_usage (rep; representation); BOOLEAN;

- возвращает значение «ИСТИНА», если объект representation содержит один или более -

объектов mappedjtem. которые являются отображением самого объекта representation

LOCAL

items ; SET OF representationjtem;

ENDJ.OCAL;

items ;= QUERY (item <* rep.items |

’AIC_DRAUGHTING_ANNOTATION.MAPPED_ITEM’ IN TYPEOF (item));

IF SIZEOF (items) = 0

THEN

RETURN (FALSE);

ELSE

REPEAT i := 1 TO HIINDEX (items);

IF items[i]\mappedJtem.mapping_source.mapped_representation ;=; rep

THEN

RETURN (TRUE);

ELSE

RETURN (acyclic_mapped_item_usage(itoms[i]\

mappedJtem.mapping_source.mapped_representation));

ENDJF;

END_REPEAT;

RETURN (FALSE);

ENDJF;

END_FUNCTION,

Определение аргумента

rep — заданный объект representation, который должен быть проверен.