ГОСТ Р ИСО 13606-2—2012
Пакет: assertion
Класс EXPR_ITEM{Abstract}
Непосредственные подклассы: EXPR_OPERATOR. EXPR_LEAF.
Атрибут
Сигнатура
Обязатель
ность
Кратность
Описание
type:String
1
--
Отсутствует
Ограничение
Наименование
Выражение
type_validinv: type <> Void and not type.is_empty
Пакет: assertion
Класс EXPR_LEAF
EXPR ITEM
I
+- EXPR_LEAF
Атрибуты
Сигнатура
Обязатель
ность
КратностьОписание
item: Any
1
--Отсутствует
reference_type : String
1
*-
Отсутствует
Ограничение
Наименование
Выражение
item_valid
inv: item <> Void
Пакет: assertion
Класс EXPR_TOR{Abstract>
EXPR ITEM
I
+ - - EXPR_OPERATOR
Непосредственные подклассы: EXPR_BINARY_OPERATOR. EXPR_UNARY_OPERATOR.
Атрибуты
Сигнатура
Обязатель
ность
Кратность
Описание
operator : OPERATOR_KIND
1
-*
Отсутствует
precedence_overridden : Boolean
1
-*
Отсутствует
Пакет: assertion
Класс EXPR_UNARY_OPERATOR
EXPR OPERATOR
I
♦ - - EXPR_UNARY_OPERATOR
Атрибут, унаследованный от ассоциации
Сигнатура
Обязатель
ность
КратностьОписание
operand :EXPRJTEM
1
--
Отсутствует
28