|
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) |