RULE subtype_exclusiveness_property_definition FOR (property_definition); WHERE wr1: SIZEOF ( QUERY ( pd <* property_definition | NOT ( type_check_function ( pd , ['AUTOMOTIVE_DESIGN.'+ 'KINEMATIC_PROPERTY_DEFINITION' , 'AUTOMOTIVE_DESIGN.'+ 'MATERIAL_PROPERTY' , 'AUTOMOTIVE_DESIGN.'+ 'PRODUCT_DEFINITION_SHAPE'] , 3 ) ) ) ) =0; END_RULE; -- subtype_exclusiveness_property_definition |
public class RSubtype_exclusiveness_property_definition public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |