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