FUNCTION valid_non_conformant_design_object_context
(input1 : SET [0:?] OF interconnect_module_design_object_select, input2 : layered_interconnect_module_design_view_armx) : BOOLEAN;
LOCAL vdr : SET OF product_definition_relationship := []; valid : BOOLEAN := TRUE; pvd : SET OF Product_view_definition := []; END_LOCAL;
REPEAT i := 1 TO HIINDEX(input1); IF ('LAYERED_INTERCONNECT_MODULE_DESIGN_XIM.LAMINATE_COMPONENT_ARMX' IN TYPEOF(input1[i])) THEN vdr := input1[i]\Assembly_component_armx.occurrence_contexts; pvd := []; REPEAT j := 1 TO HIINDEX(vdr); pvd := pvd + vdr[j]\product_definition_relationship.relating_product_definition; END_REPEAT; IF NOT (input2 IN pvd) THEN valid := FALSE; END_IF; END_IF; END_REPEAT; RETURN(valid); END_FUNCTION; -- valid_non_conformant_design_object_context
|