ГОСТ РИСО 21090—2016
validTimeHigh :characterstring,
controllnformationRoot :characterstring,
controllnformationExtension :characterstring,
nullFlavor :NullFlavor,
updateMode :UpdateMode,
flavorld :Set(characterstrir.g),
origmallext :ED.TEXT,
low :QSET(T>
high :QSET(T)
7.10.6.3 Атрибуты
7.10.6.3.1 tow: QSET(T): множество, к которому применяется операция периодической оболочки.
7.10.6.3.2 High: QSET(T): множество, которое служит параметром операции периодической обо
лочки.
7.10.6.4 Инварианты:
- непустой экземпляр типа данных QSP может быть получен только из непустых экземпляров
типа данных QSET.
Определения инвариантов на языке OCL:
inv inv "не пусто": isNotNull implies (low.isNotNull and
high.IsNotKulI)
7.11.10 Тип данных QSS (перечисляомоо множество типа QSET)
7.10.7.1 Описание
Специализация типа данных QSET
Специализация типа данных QSET в форме перечисления простых значений
Это сокращенная форма указания этих значений в форме отдельных интервалов.
7.10.7.2 Синтаксис ИСО/МЭК 11404
type QSS (Т :QTY) - class {
validTimelow :characterstring,
validTimeHigh :characterstring,
controlInformationRoot :characterstring,
controlInformationExtension :characterstring,
nullFlavor :NullFlavor,
updateMode :UpaateMoae,
flavorld :Set(characterstring),
originalText :ED.TEXT,
terms :Set(T)
7.10.7.3 Атрибуты
7.10.7.3.1terms : Set(T): совокупность значений, принадлежащих множеству. Это множество в дей
ствительности образуется как объединение интервалов, длина которых определяется точностью значе
ний. подразумеваемой о определении типа данных Т. Для некоторых подтипов типа данных QTY они бу дут
либо вырожденными (тип данных INT) или неоднозначными (тип данных RTO). и тип данных QSS для таких
подтипов будет лишен смысла. Тип данных QSS особенно полезен, если параметр имеет тип TS.
7.10.7.4 Инварианты:
- непустой экземпляр типа данных QSS может содержать только непустые значения;
- по крайней мере одно значение должно быть указано.
Определения инвариантов на языке OCL:
inv "не пусто": isNotNull implies terms->forAll(t |
t.isNotNull)
inv "размер": isNotNull implies terras->size >- 1
134