Overview Schemas Index

SHAPE_ASPECT_DEFINITION_SCHEMA (jsdai.SShape_aspect_definition_schema)


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)