violation: BOOLEAN: = FALSE;
END_LOCAL;
(*get all classification_assignment instances with id 'hydrostatic definition'*)
c_a_set: = QUERY(i<* APPLIED_CLASSIFICATION_ASSIGNMENT |
i.ASSIGNED_CLASSIFICATION.NAME = 'hydrostatic definition');
(*get all instances of property_definition that have class id 'hydrostatic definition'*)
REPEAT i: = 1 TO HIINDEX (c_a_set);
REPEAT j: = 1 TOHIINDEX(c_a_set[i].items);
t1_set: = t1_set + c_a_set[i].items[j];
END_REPEAT;
END_REPEAT;
(*get all classification_assignment instances with id 'hydrostatic table'*)
c2_a_set: = QUERY (i<* APPLIED_CLASSIFICATION_ASSIGNMENT |
i.ASSIGNED_CLASSIFICATION.NAME = 'hydrostatic table');
(*get all instances of representation that have class id 'hydrostatic table'*)
REPEAT i: = 1 TO HIINDEX (c2_a_set);
REPEAT j: = 1 TO HIINDEX (c2_a_set[i].items);
t2_set: = t2_set + c2_a_set[i].items[j];
END_REPEAT;
END_REPEAT;
(*get all property_definition_representation instances which have as the.used_representation the representation instances that have class id 'hydrostatic table'*)
REPEAT i: = 1 TO HIINDEX (t2_set);
t3 set := t3 set + USEDIN (t2_set[i],
'SHIP_MOULDED_FORM_AIM.PROPERTY_DEFINITION_REPRESENTATION.DEFINIT10N');
END_REPEAT;
(*get all property_definition instances which are the.definition of the property_definition*)
REPEAT i: = 1 TO HIINDEX (t3_set);
t4_set: = t4_set + t3_set[i].definition;
END_REPEAT;
(*compare both lists with property_definition instances which have to be identical*)
violation: = t1_set = t4_set;
