|
RULE restrict_class_system_assignment_for_security_classification_level FOR (security_classification_level); WHERE wr1: SIZEOF ( QUERY ( ent <* security_classification_level | NOT at_most_one_class_system ( ent ) ) ) = 0 ; END_RULE; -- restrict_class_system_assignment_for_security_classification_level |
|
public class RRestrict_class_system_assignment_for_security_classification_level public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |