ГОСТ Р И С 013606-2—2012
Окончание таблицы
Имя
Тип
CJNTEGER
C_PRIMITIVE
C_REAL
C_STRING
C_TIME
Класс (class)
Класс (class)
Класс (class)
Класс (class)
Класс (class)
Пакет: primitive
Класс C_STRING
С PRIMITIVE
I
+ -- C_STRING
Ограничение экземпляров типа String (строка).
Атрибуты
Сигнатура
Обязатель
ность
Кратность
Описание
assumed_value : String
0..1
--
Предполагаемое значение на тот случай, если эле
мент является частью необязательной структуры и
не включен в данные
list : Set<List<String»
0..1
0..*
Список элементов типа String, описывающих ограни
чение
Hst_open : Boolean
0..1
* *
Имеет значение «истина», если список использует
ся для описания ограничения, но не является исчер
пывающим
pattern : String
0..1
--
Шаблон регулярного выражения, которому должны
удовлетворять предложенные экземпляры типа String
Ограничения
Имя
Выражение
pattern_existsinv: pattern о Void implies not pattern.is_empty
Consistencymv: pattern <> Void xor list <> Void
Пакет: primitive
Класс C_BOOLEAN
С PRIMITIVE
I
+- - C_BOOLEAN
Ограничение экземпляров типа Boolean (булевский). Оба атрибута не могут одновременно принимать
значение «ложь», так как это бы означало, что ограничиваемое булевское значение не может иметьзначе
ние ни «истина», ни «ложь».
Атрибуты
Сигнатура
Обязатель
ность
Кратность
Описание
assumed_value : Boolean
0..1
*•
Предполагаемое значение на тот случай, если
элемент является частью необязательной
структуры и не включен в данные
false_valid : Boolean
1
Имеет значение «истина», еслидопустимо зна
чение «ложь»
true_valid : Boolean
1
--
Имеет значение «истина», еслидопустимо зна
чение «истина»
31