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