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