Overview Schemas Index

SPECIFICATION_BASED_CONFIGURATION_XIM (jsdai.SSpecification_based_configuration_xim)


RULE restrict_to_dated_effectivity FOR (effectivity_assignment);
LOCAL
  ndea_set : SET OF Effectivity_assignment := [];
END_LOCAL;
  ndea_set := QUERY(ea <* Effectivity_assignment | 
          NOT ('SPECIFICATION_BASED_CONFIGURATION_ARM.DATED_EFFECTIVITY' IN TYPEOF(ea.assigned_effectivity)));
WHERE
          wr1: SIZEOF(QUERY(ea <* ndea_set | 
                    (SIZEOF(['SPECIFICATION_BASED_CONFIGURATION_ARM.CONFIGURATION']*type_of_set(ea.items))>0) )) =0;
END_RULE; -- restrict_to_dated_effectivity

public class RRestrict_to_dated_effectivity
          public int rWr1(SdaiContext _context)
          public int run(SdaiContext _context, A_string violations)