|
RULE restrict_part_occurrence_category FOR (product_definition); LOCAL part_occurrences : SET OF product_definition := QUERY ( pd <* product_definition | ( pd . frame_of_reference . name = 'part occurrence' ) ) ; END_LOCAL ; WHERE wr1: SIZEOF ( QUERY ( pd <* part_occurrences | ( SIZEOF ( QUERY ( prpc <* USEDIN ( pd . formation . of_product , 'part_occurrence_mim.product_related_product_category.products' ) | prpc . name IN [ 'part' , 'raw material' , 'tool' ] ) ) = 0 ) ) ) = 0 ; END_RULE; -- restrict_part_occurrence_category |
|
public class RRestrict_part_occurrence_category public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |