|
RULE subtype_exclusiveness_characterized_object FOR (characterized_object); WHERE wr1: SIZEOF ( QUERY ( co <* characterized_object | NOT ( type_check_function ( co , [ 'automotive_design.' + 'characterized_class' , 'automotive_design.' + 'document_file' , 'automotive_design.' + 'feature_component_definition' , 'automotive_design.' + 'feature_definition' , 'automotive_design.' + 'product_class' , 'automotive_design.' + '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) |