|
RULE subtype_exclusiveness_colour FOR (colour); WHERE wr1: SIZEOF ( QUERY ( c <* colour | NOT ( type_check_function ( c , [ 'automotive_design.' + 'colour_specification' , 'automotive_design.' + 'pre_defined_colour' ] , 3 ) ) ) ) = 0 ; END_RULE; -- subtype_exclusiveness_colour |
|
public class RSubtype_exclusiveness_colour public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |