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