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