RULE restrict_version_assignment_for_document_file FOR (document_file); WHERE wr1: SIZEOF ( QUERY ( ent <* document_file | NOT at_most_one_version_id (ent) ))=0; END_RULE; -- restrict_version_assignment_for_document_file |
public class RRestrict_version_assignment_for_document_file public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |