FUNCTION valid_non_conformant_stratum_context
(input1 : SET [0:?] OF stratum_armx, input2 : layered_interconnect_module_design_view_armx) : BOOLEAN;
LOCAL
imsar : SET OF Interconnect_module_stratum_assembly_relationship := [];
valid : BOOLEAN := TRUE;
i, j : INTEGER := 0;
pvd : SET OF Product_view_definition := [];
END_LOCAL;
REPEAT i := 1 TO HIINDEX(input1);
imsar := input1[i]\Stratum_armx.assembly;
pvd := [];
REPEAT j := 1 TO HIINDEX(pvd);
pvd := pvd + imsar[j]\Interconnect_module_stratum_assembly_relationship.assembly;
END_REPEAT;
IF NOT (input2 IN pvd)
THEN valid := FALSE;
END_IF;
END_REPEAT;
RETURN(valid); END_FUNCTION; -- valid_non_conformant_stratum_context
|