ГОСТ Р ИСО 13606-2—2012
Ограничения
Имя
Выражение
Default_value_consistency
inv: (default_value.value and true_valid) or (not default_value.value and
false_val»d)
Binary_consistency
inv: true_valid or faJse_valid
Пакет: primitive
Класс C_DURATION
С PRIMITIVE
I
+ - - C_DURATION
Ограничение экземпляров типа Duration (длительность).
Атрибуты
Сигнатура
Обязатель
ность
Кратность
Описание
assumed_value : Duration
0..1
*-
Предполагаемое значение на тот случай,
если элемент является частью необязатель
ной структуры и не включен вданные
days_allowed : Boolean
0..1
Имеет значение «истина», если вограничен
ном значении типа Duration допустимо ука
зание дней
fractional_seconds_al lowed : Boolean
0..1
Имеет значение «истина», если вограничен
ном значении типа Duration допустимы доли
секунд
hours_altowed : Boolean
0..1
--
Имеет значение «истина», если вограничен
ном значении типа Duration допустимы часы
minutes_allowed : Boolean
0..1
Имеет значение «истина», если вограничен
ном значении типа Duration допустимы ми
нуты
months_allowed : Boolean
0..1
Имеет значение «истина», если вограничен
ном значении типа Duration допустимы ме
сяцы
range : lnterval<Duration>
0..1
--
Ограничение экземпляров типа Duration
seconds_allowed : Boolean
0..1
"
Имеет значение «истина», если вограничен
ном значении типа Duration допустимы се
кунды
weeksjallowed : Boolean
0..1
"
Имеет значение «истина», если вограничен
ном значении типа Duration допустимы не
дели
years_allowed : Boolean
0..1
Имеет значение «истина», если в ограни
ченном значении типа Duration допустимы
годы
Ограничение
И
у
я
Выражение
Range_validinv: range о Void
32