ГОСТ Р ИСО 10303-520—2007
REPEATк := 1ТО HIINDEX(pv);
IF{’AIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.PRESENTATION_VIEW INTYPEOF(pvtk))
THEN
IF <pv[k]IN sr2) THEN RETURN (TRUE);
END IF;
ENDJF;
END_REPEAT;
ENDJF;
END_REPEAT;
END_REPEAT;
- П
оиск
представлений, вкоторыхэлемент 2отображается
REPEATi := 1ТО HIINDEX(sr2);
dm :=representations_mappedJnto(sr2(i]);
REPEATj := 1TO HIINDEX(dm);
IF (’AIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.DRAUGHTING_MODEL’ IN TYPEOF(dm(j]))
THEN
IF (dm[j) IN sr1)THEN RETURN (TRUE);
ENDJF;
- Поисквидов, на которыеотображена модельчертежа
pv := representations_mappedJnto(dm[j]);
REPEAT k := 1ТО HIINDEX(pv);
IF{’AIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.PRESENTATION_VIEW INTYPEOF(pv(k])
THEN
IF (pv[k] IN sr1)THEN RETURN (TRUE);
ENDJF;
ENDJF;
END_REPEAT;
ENDJF;
END_REPEAT;
END_REPEAT;
RETURN (FALSE);
END_FUNCTION;
(*
Определение аргумента
sdr — объект shape_deflnition_representation. которыйдолжен бытьпроверен.
4.3.2 Функция representations_mapped_into
Функция representations_mapped_into возвращает множествообъектов representation, которые
определены какобъекты mappedJtem посредством аргумента representation.
EXPRESS-слециФикация
*)
FUNCTION representations_mappedJnto
(rep:representation):SET of representation;
LOCAL
results: SET OF representation :=Q;
rm; SET OF representation_map;
mi: SET OF mappedjtem := Q;
END_LOCAL;
-- Поискобъектов representation_map. которые задают representation
rm :=bagJo_set (USEDIN(rep. ’AIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.,+
’REPRESENTATION_MAP.MAPPED_REPRESENTATION’));
- Поискобъектов mappedjtem. в которых используется
- каждый объект representation_map
8