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