RULE subtype_exclusiveness_characterized_object FOR (characterized_object); WHERE wr1: SIZEOF ( QUERY ( co <* characterized_object | NOT ( type_check_function ( co , ['CATALOG_DATA_INFORMATION_MIM' + '.CHARACTERIZED_CLASS' , 'CATALOG_DATA_INFORMATION_MIM' + '.DOCUMENT_FILE' , 'CATALOG_DATA_INFORMATION_MIM' + '.FEATURE_COMPONENT_DEFINITION' , 'CATALOG_DATA_INFORMATION_MIM' + '.FEATURE_DEFINITION' , 'CATALOG_DATA_INFORMATION_MIM' + '.PRODUCT_CLASS' , 'CATALOG_DATA_INFORMATION_MIM' + '.PRODUCT_IDENTIFICATION'] , 3 ) ) ) ) =0; END_RULE; -- subtype_exclusiveness_characterized_object |
public class RSubtype_exclusiveness_characterized_object public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |