RULE unique_datum_system FOR (datum_system); LOCAL pass : BOOLEAN := TRUE; END_LOCAL; REPEAT i := 1 TO SIZEOF(datum_system); REPEAT j := 1 TO SIZEOF(datum_system); IF (i <> j) THEN IF datum_system[i]\datum_system.constituents = datum_system[j]\datum_system.constituents THEN pass := FALSE; END_IF; END_IF; END_REPEAT; END_REPEAT; WHERE wr1: pass; END_RULE; -- unique_datum_system |
public class RUnique_datum_system public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |