|
RULE unique_document_id FOR (Document); WHERE WR1: SIZEOF(QUERY (p1 <* Document | SIZEOF(QUERY (p2 <* Document | (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) |