|
RULE externally_defined_class_with_known_source_requirement FOR (externally_defined_class); WHERE wr1: SIZEOF ( QUERY ( edc <* externally_defined_class | ( 'AUTOMOTIVE_DESIGN.'+ 'KNOWN_SOURCE' IN TYPEOF ( edc. source ) ) AND ( SIZEOF ( QUERY ( aoa <* USEDIN ( edc , 'AUTOMOTIVE_DESIGN.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) |