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