ГОСТ Р ИСО/ТС 10303-1111-2013
ENDJBNTITY;
<*
’
5.2.3 Определение функции ИММ
В данном пункте определена функция ИММ прикладного модуля «Классификация с
помощью атрибутов».
5.2.3.1 Функция class_assignment_is_valid
Функция class_assignmentjs_valid проверяет правильность экземпляра объекта
applied_classification_ assignment.
Если проверяемый экземпляр задает объект class_system, то его атрибут role
должен иметь значение ’class system membership (членство в системе классов)’, а среди
элементов атрибута items должны присутствовать только экземпляры типов данных,
перечисленных в списке выбора типа данных class_system_item.
Если проверяемый экземпляр задает объект characterized_class, то его атрибут
role, представленный объектом classification_role, должен иметь значение ’definitional
(дефинициальный)’, ’non-definitional (недефинициальный)’ или быть представлен пустой
строкой, а среди элементов атрибута items должны присутствовать только экземпляры
типов данных, перечисленных в списке выбора типа данных classified_item.
EXPRESS-спецификация:
(aia :
:BOOLEAN;
*>
FUNCTION class_assignment_is_valid
applied_classification_assignment)
LOCAL
item: classification_item;
role: classification_role;
END_LOCAL;
role:= aia\classification_assigr.ment.role;
IF (’CLASSIFICATI0N_W1TH_ATTRIBUTES_MIM. 1+’CLASS_SYSTEM’ IN
TYPEOF(aia\classification_assignment.assigned_class)) THEN
IF(role\classification_role.name <> ’class system membership’) THEN
RETURN(FALSE);
END_IF;
REPEAT i:=LOINDEX(aia\applied_classification_assignment.items) TO
HIINDEX(aia\applied_classification_assignment.items);
32