|
RULE unique_assembly_component_3d_shape_model FOR (Assembly_component_3d_shape_model); LOCAL ac : BAG OF Assembly_component := []; END_LOCAL; REPEAT i := 1 TO SIZEOF(Assembly_component_3d_shape_model) BY 1; ac := ac + Assembly_component_3d_shape_model[i].shape_characterized_component; END_REPEAT; WHERE WR1: SIZEOF(ac) = SIZEOF(bag_to_set(ac)); END_RULE; -- unique_assembly_component_3d_shape_model |
|
public class RUnique_assembly_component_3d_shape_model public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |