|
RULE externally_defined_class_with_known_source_requirement FOR (externally_defined_class); LOCAL known_sourced_classes : SET OF externally_defined_class ; END_LOCAL ; known_sourced_classes := QUERY ( edc <* externally_defined_class | 'catalog_data_information_mim' + '.known_source' IN TYPEOF ( edc . source ) ) ; WHERE wr1: SIZEOF ( QUERY ( edc <* known_sourced_classes | ( SIZEOF ( QUERY ( aoa <* USEDIN ( edc , 'catalog_data_information_mim' + '.applied_organization_assignment.items' ) | aoa . role . name = 'class supplier' ) ) = 0 ) ) ) = 0 ; END_RULE; -- externally_defined_class_with_known_source_requirement |
|
public class RExternally_defined_class_with_known_source_requirement public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |