|
RULE restrict_applied_classification_assignment_role FOR (applied_classification_assignment); WHERE wr1: SIZEOF ( QUERY ( aca <* applied_classification_assignment | ( 'automotive_design.' + 'class' IN TYPEOF ( aca . assigned_class ) ) AND NOT ( aca . role . name IN [ 'definitional' , 'non-definitional' , '' ] ) ) ) = 0 ; wr2: SIZEOF ( QUERY ( aca <* applied_classification_assignment | ( aca . role . name IN [ 'definitional' , 'non-definitional' , '' ] ) AND NOT ( 'automotive_design.' + 'class' IN TYPEOF ( aca . assigned_class ) ) ) ) = 0 ; wr3: SIZEOF ( QUERY ( aca <* applied_classification_assignment | ( 'automotive_design.' + 'class_system' IN TYPEOF ( aca . assigned_class ) ) AND ( aca . role . name <> 'class system membership' ) ) ) = 0 ; wr4: SIZEOF ( QUERY ( aca <* applied_classification_assignment | ( aca . role . name = 'class system membership' ) AND NOT ( 'automotive_design.' + 'class_system' IN TYPEOF ( aca . assigned_class ) ) ) ) = 0 ; END_RULE; -- restrict_applied_classification_assignment_role |
|
public class RRestrict_applied_classification_assignment_role public int rWr4(SdaiContext _context) public int rWr3(SdaiContext _context) public int rWr2(SdaiContext _context) public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |