|
RULE subtype_exclusiveness_founded_item FOR (founded_item); WHERE wr1: SIZEOF ( QUERY ( fi <* founded_item | NOT ( type_check_function ( fi , [ 'automotive_design.' + 'composite_curve_segment' , 'automotive_design.' + 'surface_patch' , 'automotive_design.' + '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) |