|
RULE subtype_exclusiveness_founded_item FOR (founded_item); WHERE wr1: SIZEOF ( QUERY ( fi <* founded_item | NOT ( type_check_function ( fi , [ 'catalog_data_information_and_shape_representation' + '.composite_curve_segment' , 'catalog_data_information_and_shape_representation' + '.surface_patch' , 'catalog_data_information_and_shape_representation' + '.view_volume' ] , 3 ) ) ) ) = 0 ; END_RULE; -- subtype_exclusiveness_founded_item |
|
public class RSubtype_exclusiveness_founded_item public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |