|
RULE subtype_mandatory_address FOR (address); WHERE wr1: SIZEOF ( QUERY ( a <* address | NOT ( type_check_function ( a , [ 'automotive_design.' + 'organizational_address' , 'automotive_design.' + 'personal_address' ] , 0 ) ) ) ) = 0 ; END_RULE; -- subtype_mandatory_address |
|
public class RSubtype_mandatory_address public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |