ГОСТ Р ИСО 13606-2—2012
[0-9l*\.[0-9)+[eE][+-]?[0-9]+
STRING 7 -
....................
Г У
\"[А\\\пТ и
\"[А\\\л"]*{
<IN_STR> {
\\\\
WV
{UTF8CHAR}*
[А\\\л >
\\\n[ \t\r]-
[А\\\л*]Т
■ М
« E O F »
}
8.3Утверждения
8.3.1 Обзор
Вданном подразделе описан подъязыкутверждений архетипов на языке ADL. Утверждения исполь
зуются в конструкциях «слотов» архетипа в секциях definition и invariant.
8.3.2 Ключевые слова
Синтаксиссекции invariant является подмножеством логики предикатов первого порядка, в котором
могут быть использованы следующие ключевые слова:
- exists. for_all:
- and, or. xor. not. implies:
- true, false.
Символьные эквиваленты для некоторых из перечисленных выше ключевых слов приведены в сле
дующей таблице:
Значение
Текстовое
представление
Символьное
представление
matches. is_in
Принадлежность множеству, р входит в Р
exists
Квантор существования, существует ...
for_all
e
3
V
Квантор всеобщности, для всех х ...
implies
Материальная импликация, р имеет следствием q или если р то q
and
л
Логическая конъюнкция, р и q
or
V
Логическая дизъюнкция, р или q
xor
V
Исключительное или. только одно из р или q
not,-
-
Отрицание, не р
Оператор отрицания not может быть применен как префикс ко всем другим операторам, кроме for_all:
при этом может использоваться его текстовое представление «not» или «-».
8.3.3 Операторы
8.3.3.1 Общая информация
Выражения, используемые вутверждениях, могут включать арифметические и булевские операторы,
операторы отношений, а также кванторы существования и всеобщности.
8.3.3.2Арифметические операторы
Поддерживаются следующиеарифметические операторы:
- сложение: +;
- вычитание: - (минус):
- умножение: *;
-деление:/;
- возведение в степень:А;
- деление по модулю: % — остаток после деления на целое число.
- - начинает многострочный текст
- - соответствует обратной косой черте, т. е. \\ -> \
- - соответствует двойной кавычке, т. е. \“ -> *
- - соответствует символам UTF8
- -соответствует любым другим символам
- - соответствует символу перехода на новую строку
- - соответствует концу многострочного текста
- -не закрытая строка -> ERR_STRING
84