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