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