ГОСТ Р ИСОГГС 10303-1747—2015
END_ENTITY;
(* "
Формальное утверждение
WR1 - значение атрибута additional_characterization не должно быть определено.
4.4 Определение функции ПЭМ
Вданном подразделе определена функция ПЭМ прикладного модуля «Документация на изделие».
4.4.1 Функция get_document_definition
Функция get_documont_definition в качестве результата возвращает множество объектов
Document_dofinition. соответствующих документам, заданным атрибутамиassigned_document
объектов Document_assignment указанных в аргументе input. При этом значения атрибутов role
объектов Document_assignment задаются аргументом role данной функции, а типы данных объектов
Document_definition - ее аргументом type_name.
EXPRESS-спецификация.
*)
FUNCTION get_document_definition
(input :documented_element_select; role : STRING; type_name :
STRING) :SET[0:?] OF Document_definition;
LOCAL
ad : SET[0:?] OF Document_aefinition := []; -- this gives us
-- access to the
da : SET[0:?] OF
information base
Document_assignment :=[];
END_LOCAL;
da := bag_to_set(QUERY(dr <* USEDIN (input,
’DOCUMENT_ASSIGNMENT_ARM.»+
’DOCUMENT_ASSIGNMENT.IS_ASSIGNED_TO’) | (dr.role =
role)>>;
-- iterate over da
REPEAT i := 1 to SIZEOF(da) by 1;
IF(type_name IN TYPEOF (da[i].assigned_document))THEN
dd := dd + da[i].assigned_aocument;
END_IF;
END_REPEAT;
RETURN(dd);
END_FUNCTION;
(*
Определения аргументов
input - задает список выбора типа данных documented_element_select:
role - задает роль объектов Document_definition;
type_name - задает тип данных объектов Document_definition.
*>
END_SCHEMA; -- Specification_document_arm
(*
8