RULE security_classification_requires_security_classification_assignment FOR (security_classification); WHERE wr1: SIZEOF ( QUERY ( sc <* security_classification | SIZEOF ( USEDIN ( sc , 'AUTOMOTIVE_DESIGN.'+'SECURITY_CLASSIFICATION_ASSIGNMENT.'+ 'ASSIGNED_SECURITY_CLASSIFICATION' ) ) =0 ) ) =0; END_RULE; -- security_classification_requires_security_classification_assignment |
public class RSecurity_classification_requires_security_classification_assignment public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |