ГОСТ Р И С 013606-2—2012
Ограничения
Имя
Выражение
minute_validity_optional
inv: minute_va!idity = ’optional’ implies (second_validity = ’optional’
or seoond_valkJity = ’disallowed’)
second_validity_disallowed
inv: second_validrty = ’disallowed’ implies millisecond_validity = ’disallowed’
second_validity_optional
inv: second_validity = ’optional’ implies (mil!iseoond_validity = ’optional’
or milliS6Cond_val»dity = ’disallowed’)
minute_validity_disallowed
inv: minute_validity = ’disallowed’ implies second_validity = ’disallowed’
validity_is_rangeinv: validity_is_range = (range о Void)
Пакет: primitive
Класс C_REAL
С PRIMITIVE
I
+ --C_REAL
Ограничение экземпляров типа Real (действительное значение).
Атрибуты
Сигнатура
Обязатель
ность
Кратность
Описание
assumed_value : Real
0..1
- -
Предполагаемое значение на тот случай, если элемент
является частью необязательной структуры и не включен в
данные
list : Set<List<Real»
0..1
О..*
Множество значений типа Real, определяющее ограничение
range . IntervaKReal >
0..1
--
Диапазон значений типа Real, определяющий ограничение
Ограничение
Имя
Выражение
consistencyinv: list о Void хот range <> Void
Пакет: primitive
Класс C_DATE
С PRIMITIVE
I
+ --C_DATE
Ограничение экземпляров типа Date (дата) в виде допустимости наличия значений или диапазона
реальных дат. Флаг наличия объекта «year (год)» не существует, так как по определению этот объект
всегда обязателен, иначе дата будет лишена смысла.
Атрибуты
Сигнатура
Обязатель
ность
Кратность
Описание
assumed_value : Date
0..1
- -
Предполагаемое значение на тот случай, если эле
мент является частью необязательной структуры
и не включен в данные
day_validity:VALIDITY_KIND
month_validity:VALIDITY_KIND
range: lnterval<Date>
0..1
0..1
0..1
--
--
--
Допустимость дней в ограниченной дате
Допустимость наличия дня в ограниченной дате
Диапазон значений типа Date, задающий ограни
чение
timezone_validity:VALIDITY_KIND
0..1
--
Допустимость наличия часового пояса в ограничен
ной дате
year_validity:VALIDITY_KIND
0..1
--
Отсутствует
35