|
RULE unique_assembly_component_2d_shape_model FOR (assembly_component_2d_shape_model); LOCAL ac : BAG OF Assembly_component_armx := []; pass : BOOLEAN := TRUE; END_LOCAL; REPEAT i := 1 TO SIZEOF(Assembly_component_2d_shape_model) BY 1; ac := ac + Assembly_component_2d_shape_model[i].shape_characterized_component; END_REPEAT; WHERE wr1: SIZEOF(ac) = SIZEOF(bag_to_set(ac)); END_RULE; -- unique_assembly_component_2d_shape_model |
|
public class RUnique_assembly_component_2d_shape_model public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |