ГОСТ Р ИСО/ТС 10303-1111-2013
item:= aia\applied_classification_assignment.items[i];
IF (SIZEOF{[’CLASSIFICATION_WITH_ATTRIBUTES_MIM.’ +
’CLASS_SYSTEM_ITEM’] * TYPEOF(item))=0} THEN
-- элемент неправильный, если он не принадлежит к типам данных,
-- которые могут содержать объект class_system
RETURN(FALSE)?
END_IF;
END_REPEAT;
END_IF;
IF (’CLASSIFICATI0N_W1TH_ATTRIBUTES_MIM.’ +’CHARACTERIZED_CLASS’ IN
TYPEOF(aia\classification_assignment.assigned_class)) THEN
IF NOT(role\classification_role.name IN
[’definitional’,’non-definitional’,’’]) THEN
RETURN(FALSE);
END_IF;
REPEAT i:=LOINDEX(aia\applied_classification_assignment.items) TO
HIINDEX(aia\applied_classification_assignment.items);
item:= aia\applied_classification_assignment.items[i];
IF (SIZEOF([’CLASSIFICATION_WITH_ATTRIBUTES_MIM.’ +
’CLASSIFIED_ITEM’] * TYPEOF(item))=0) THEN
-- элемент неправильный, если он не принадлежит к типам данных,
-- которые могут содержать объект characterized_class
RETURN(FALSE);
END_IF;
END_REPEAT;
END_IF;
IF
(role\classification_role.name = ’definitional’)
THEN
IF NOT
(SIZEOF(QUERY(it <* aia\applied_classification_assignment.items
INOT (SIZEOF([’xxx_mim.product’,
’xxx_mim.product_definition_formation’,
’xxx_mim.proauct_definition’] * TYPEOF(it)) = 1)
)) = 0 )
THEN
RETURN(FALSE);
END_IF;
END_IF;
RETURN(TRUE);
END_FUNCTION;
(*
33