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