RULE assert_oneof FOR (named_unit); WHERE no_label_1: QUERY(u <* named_unit | ('ISO13584_IEC61360_DICTIONARY_SCHEMA.NON_SI_UNIT' IN TYPEOF(u)) AND ('MEASURE_SCHEMA.SI_UNIT' IN TYPEOF(u)) OR ('ISO13584_IEC61360_DICTIONARY_SCHEMA.NON_SI_UNIT' IN TYPEOF(u)) AND ('MEASURE_SCHEMA.CONTEXT_DEPENDENT_UNIT' IN TYPEOF(u)) OR ('ISO13584_IEC61360_DICTIONARY_SCHEMA.NON_SI_UNIT' IN TYPEOF(u)) AND ('MEASURE_SCHEMA.CONVERSION_BASED_UNIT' IN TYPEOF(u)) ) = []; END_RULE; -- assert_oneof |
public class RAssert_oneof public int rNo_label_1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |