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