ГОСТ Р ИСО 21090—2016
7.3.4.5 Инварианты
Если причина пустоты nullFlavor не указана, то экземпляр типа данных BL должен иметь значение.
Представление инвариантов на языке OCL:
inv "value if not nulLFlavorea":
ishotNull implies value.ocllsDefined
7.3.4.6 Операции
7.3.4.6.1 and(other: B L): BL: результат равен true, если оба значения равны true Результат равен
false, если хотя бы одно из значений равно false. В остальных случаях результат равен null или имеет
причину пустоты nullFlavor.
7.3.4.6.2 or(other: B L): BL. результат равен true, если данное значение или значение параметра
other равно true Результат равен false, если оба значения равны false. В остальных случаях результат
равен null или имеет причину пустоты nullFlavor.
7.3.4.6.3 xor(other : BL) : BL: результат равен true, если данное значение и значение параметра
other различны. Результат равен false, если оба эти значения одинаковы. В остальных случаях резуль
тат равен null или имеет причину пустоты nullFlavor.
7.3.4.6.4 implies(other: BL): BL: результат равен true, если данное значение равно false или данное
значение и значение параметра other равны true. Результат равен false, если данное значение равно
true, и значение параметра other равно false. В остальных случаях результат равен null или имеет при
чину пустоты nullFlavor.
7.3.4.6.5 not(): BL. результат равен false, если данное значение равно true. Результат равен true,
если данное значение равно false. В остальных случаях результат равен null или имеет причину пустоты
nullFlavor.
Примечание — В силу особой природы этих логических операций они не всегда следуют общим прави
лам. описанным для значений причин пустоты nullFlavor и операций. Например, выражение «(null/nullFlavored) or
true» всегда имеет значение true, поскольку безразлично, равно ли отсутствующее значение true или false: резуль
тат будет одинаков. Кроме того, с точки зрения реализации эти операции строго симметричны, и для предотвра
щения ошибок реализации при выполнении операций над пустыми объектами null может потребоваться некоторая
специальная обработка.
7.3.4.7 Примеры
7.3.4.7.1 Простое значение true
<example xsi:type-*BL" value-"true"/>
7.3.4.7.2 Неизвестное значение
«example xsi:type-"BL" nullKlavor-"UNK"/>
7.3.5BL.NONNULL
7.3.5.1 Описание
Атрибут тонкости, ограничивающий тип данных BL
BL.NONNULL представляет собой ограниченный экземпляр типа BL, у которого не может быть
причины пустоты nullFlavor. Отсюда вытекает, что вместо BL.NONNULL никогда не может быть исполь
зовано значение null, хотя это и не является правилом, которое явно требуется настоящим стандартом.
7.3.5.2 Инварианты
BL.NONNULL не может иметь причину пустоты nullFlavor.
Представление инвариантов на языке OCL:
inv "cannot have a nullFlavor": not isNull
7.4 Текстовые и двоичные типы данных
7.4.1 Вводоние
Типы данных, предназначенные для текстовых и мультимедийных данных.
31