ГОСТ Р ИСО 13606-2—2012
8.3.6Грамматика
assertions:
assertion
| assertions assertion
assertion:
anyjdentifier: booiean_expression
| boolean_expression
| anyjdentifier: error
boolean_expression:
booleanjeaf
| boolean_node
boolean_node:
SYM_EXISTS absolute_path
| SYM_EXISTS error
| relative_patb
SYM_MATCHES SYM_START_CBLOCK
c_primitive
SYM_END_CBLOCK
| SYM_NOT
booleanJeaf
| arithmetic_expression = arithmetic_expression
| arithmetic_expression
SYM_NE
arithmetic_expression
| arithmetic_expression
SYM_LT
arithmetic_expression
| arithmetic_expression
SYM_GT
arithmetic_expression
j
arithmetic_expression
SYM_LE
arithmetic_expression |
anthmetic_expression
SYM_GE
arithmetic_expression |
boolean_expression
SYM_AND
boolean_expression
| boolean_expression
SYM_OR
boolean_expression
| boolean_expression
SYM_XOR
boo!ean_expression
| boolean_expression
SYM_IMPLIES
boolean_expression
booleanjeaf:
( booiean_expression)
| SYMJTRUE
|SYM_FALSE
arithmetic_expression:
arithmeticjeaf
| arithmetic_node
arithmetic_node:
arithmetic_expression ♦ arithmeticjeaf
| arithmetic_expression - arithmetic_leaf
| arithmetic_expression * arithmetic_leaf
| arithmetic_expression / arithmeticjeaf
| arithmetic_expression лarithmeticjeaf
arithm eticjeaf:
( arithmetic_expression)
| integer_value
| real_value
|absolute_path
8.4 Пути в языке ADL
8.4.1 Обзор
Понятие путей является интегральной частью языка ADL, а общий синтаксис путей используется для
ссылок на узлы в секциях архетипа как на языке dADL. так и на языке cADL. Один и тот же синтаксис
используется в обоих языках, так как и dADL. и cADL имеют одинаковую структуру чередующихся объек тов
и атрибутов. Однако интерпретация выражений для путей в dADL и cADL немного различается; разница
поясняется в 8.1.2 и 8.2.3. В данном подразделе представлены только общие синтаксис и семантика.
Обобщенная форма синтаксиса пути выглядит следующим образом:
(/](ид_объекта/Кимя_атрибута[ид_объекта]/}‘
86