|
RULE subtype_exclusiveness_replicate_feature FOR (replicate_feature); WHERE wr1: SIZEOF ( QUERY ( rf <* replicate_feature | NOT ( type_check_function ( rf , [ 'automotive_design.' + 'circular_pattern' , 'automotive_design.' + 'feature_pattern' , 'automotive_design.' + 'modified_pattern' , 'automotive_design.' + 'rectangular_pattern' ] , 3 ) ) ) ) = 0 ; END_RULE; -- subtype_exclusiveness_replicate_feature |
|
public class RSubtype_exclusiveness_replicate_feature public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |