Старшинство операций

Теперь, когда мы изучили все типы операций XPath, можно дать синтаксическое определение выражению и выстроить все операции в порядке старшинства.

Выражению, как самой общей конструкции XPath, соответствует продукция Expr, которая определяется следующим образом:

[XP14] Expr ::= OrExpr

То есть, фактически, выражение в XPath определяется через логическое выражение. Естественно, выражения не обязаны быть логическими. Просто в иерархии синтаксических правил логическое выражение "или" находится выше всего. Верхние правила определяются через более примитивные правила и так далее. В итоге иерархия выражений выстраивается следующим образом (в скобках приведены названия EBNF-правил):

 выражения (Expr);

 логические выражения "или" (OrExpr);

 логические выражения "и" (AndExpr);

 выражения равенства и неравенства (EqualityExpr);

 выражения сравнения (RelationalExpr);

 выражения сложения и вычитания (AdditiveExpr);

 выражения умножения и деления (MultiplicativeExpr);

 унарные выражения (UnaryExpr);

 выражения объединения множеств (UnionExpr);

 выражения путей выборки (PathExpr);

 пути выборки (LocationPath), фильтрация множеств (FilterExpr), относительные пути выборки (RelativeLocationPath).

По этой схеме несложно выяснить старшинство операций — чем ниже выражение находится в этой иерархии, тем выше его приоритет. Для полной ясности, перечислим операции в порядке старшинства от старших, с большим приоритетом, к младшим, с меньшим приоритетом выполнения:

 операции с путями выборки;

 операция объединения множеств (|);

 унарная операция отрицания (-);

 умножение, деление и вычисление остатка от деления (*, div и mod);

 операции сложения и вычитания (+ и -);

 операции сравнения (<, >, <=, =>);

 операции проверки равенства и неравенства (= и !=);

 операция "и" (and);

 операция "или" (or).

Операции одного порядка имеют левую ассоциативность, как это было показано на примере с операциями сравнения (3 > 2 > 1 равносильно (3 > 2) >1).