|
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) |