ГОСТ Р ИСО/ТС 10303-1051—2009
5.2.2 Определения функций ИММ
Настоящий пункт задает функции ИММ для рассматриваемого модуля.
5.2.2.1 Функция get_shape_aspoct_proporty_definition_representations
Функция get_shape_aspect_proporty_definition_representations возвращает множество экзем
пляров объекта shape_definition_ropresentation, которые через атрибут definition иэкземпляр объек та
property_definition содержат ссылки на экземпляр объекта shapo_aspect. задаваемый как входной
параметр функции.
П р и м е ч а н и е — Тип возвращаемого результата объявляется как множество экземпляров объекта
property_deflnltlon_representation, но во время выполнения программы а возвращаемый результат включаются
только экземпляры объекта shape_deflnitlon_representation
EXPRESS-спеииФикация:
*)
FUNCTION
get_shape_aspect_property_definition_representations (s_aJnstance:
shape_aspect) :SET[0:?] OF property_definition_representation;
LOCAL
pd_set: SET OF property_definition := [];
pdr_set: SETOF property_definition_representation := [];
END_LOCAL:
pd_set := bag_to_set(USEDIN(s_aJnstance.
PRODUCT__PROPERTY_DEFINITION_SCHEMA.PROPERTY_DEFINITION.DEFINITION’)):
IF (SIZEOF(pd_set)< 1) THEN
RETURN (pdr_set);
END_IF;
REPEAT i := 1TO HIINDEX(pd_set);
pdr_set := pdr_set♦ (QUERY(pdr <* USEDIN(pd setfi],
PRODUCT_PROPERTY_REPRESENTATION_SCHEMA.’ +
PROPERTY_DEFINITION_REPRESENTATION.’ +’DEFINITION) |
PRODUCT_PROPERTY_REPRESENTATION_SCHEMA.SHAPE_DEFINITION_REPRESENTATIO
N’ IN TYPEOF(pdr)));
END REPEAT;
RETURN (pdr_set);
END_FUNCTION;
r
Определение аргумента:
s_ajnstance. рассматриваемый экземпляробъекта shape_aspect.
5 2.2.2 Функция valid_datum_targot_parameters
Функция valid_datum_target_paramoters оценивает, содержит ли объект shape_representation_
with_parameters, представляющий параметры базового элемента, правильные компоненты, соотве
тствующие виду определяемой базы.
Это представлениедолжно содержать:
- один объект placement сименем ’orientation’;
- если тип элемента формы point’, то он недолжен содержатьдругие типы:
- если тип элемента формы ’line’, то он должен содержать, кроме того, один составной экземляр
(состоящий из measure_representation_ltem и longth_measure_with_unit) с именем target length’;
- если тип элемента формы ’circle’, то он долженсодержать, кроме того, один составной экземляр
(состоящий из measure_representationJtem и length_measure_with_unlt) с именем target diameter’;
- если типэлементаформы ’rectangle’, то он должен содержать, кроме того, два составныхэкзем-
ляра (состоящихизmeasure_representationjtom и!ength_moasure_with_unit)сименами targetwidth’
и target length’.
Функция возвращает значение TRUE, если эти ограничения выполняются, и значение FALSE, в
противном случае.
36