RULE unique_document_id FOR (document_armx); WHERE wr1: SIZEOF(QUERY (p1 <* Document_armx | SIZEOF(QUERY (p2 <* Document_armx | (NOT(p1 :=: p2) AND (p1.id = p2.id)))) > 0 )) = 0; END_RULE; -- unique_document_id |
public class RUnique_document_id public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |