RULE subtype_exclusiveness_transition_feature FOR (transition_feature); WHERE wr1: SIZEOF ( QUERY ( tf <* transition_feature | NOT ( type_check_function ( tf , ['AUTOMOTIVE_DESIGN.'+ 'CHAMFER' , 'AUTOMOTIVE_DESIGN.'+ 'EDGE_ROUND' , 'AUTOMOTIVE_DESIGN.'+ 'FILLET'] , 3 ) ) ) ) =0; END_RULE; -- subtype_exclusiveness_transition_feature |
public class RSubtype_exclusiveness_transition_feature public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |