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