□ 

— выберет элементы , принадлежащие элементам , которые находятся в корне документа;

□ 

— выберет элементы , которые находятся в любом элементе документа;

□ 

— выберет элементы , которые находятся в дочерних элементах контекстного узла;

□ 

— выберет множество, состоящее из контекстного узла, если во множестве его предков есть первый элемент (иначе — пустое множество); это выражение равносильно выражению , поскольку если — непустое множество, то у него будет первый элемент;

□ 

— выберет множество элементов, в имени которых присутствует строка при условии, что они принадлежат дочерним элементам контекстного узла, в имени которых присутствует строка ;

□ 

— выберет второй с конца дочерний элемент контекстного узла. Это выражение равносильно ;

□ 

— выберет все атрибуты всех дочерних элементов контекстного узла;

□ 

— выберет все элементы текущего документа вне зависимости от их пространств имен.

В языке XSLT определяется подмножество выражений языка XPath, которые называются паттернами (от англ. pattern — образец). Паттерны представляют собой упрощенные пути выборки, которые используются для определения, соответствует ли узел заданному образцу.

Чаще всего паттерны применяются в элементе

в атрибуте . Шаблоны такого типа будут выполняться только для тех узлов, которые удовлетворяют заданному образцу. Например, следующий шаблон будет выполняться только для элементов , принадлежащих элементу :

Кроме этого, паттерны применяются при нумерации и при определениях ключей.

Паттерны являются сильно упрощенными путями выборки. Единственные оси, которые могут использоваться в паттернах, — это

, и , причем ось навигации может быть указана только в сокращенном виде оператором "". То, что в паттернах используются только оси атрибутов и узлов-потомков, позволяет XSLT-процессорам значительно оптимизировать процесс сопоставления узла заданному образцу — ведь теперь даже в самом худшем сценарии не нужно метаться по всему документу, выбирая узлы, содержащиеся в тех или иных осях навигации. Правда, оператор "" остается не менее опасным — при его проверке может понадобиться перебрать всех предков текущего узла, что может быть весьма и весьма затруднительно (хотя и проще, чем перебор всех потомков).

Хоть паттерны и выглядят как пути выборки, на самом деле механизм их работы несколько иной. Они не выбирают множество узлов, как таковое, они проверяют узлы на соответствие образцу, который они определяют. Это в принципе эквивалентно выбору множества и проверке узла на вхождение в него, но, как правило, так не делается, поскольку такая проверка потребовала бы слишком больших затрат времени. Гораздо дешевле в этом смысле воспользоваться тем фактом, что синтаксис паттернов упрощен, и осей не так много для того, чтобы создать более эффективный алгоритм проверки соответствия узлов. Например, для того чтобы проверить соответствие некоторого узла, назовем его

, паттерну , совершенно необязательно вычислять путь выборки и затем проверять, входит ли узел в полученное множество. Достаточно проверить, является ли именем узла "", а именем его родителя (если он, конечно, есть) — "".

Образцы для сравнения могут состоять из одного или нескольких паттернов, которые перечисляются через знак "

". Для того чтобы соответствовать такому перечислению в целом, узел должен соответствовать хотя бы одному из паттернов, входящих в него. Здесь тоже есть определенная аналогия с множествами, оператор "" означает как бы объединение: узел входит в объединение множеств, если он входит хотя бы в одно из объединяемых множеств. Но, конечно же, и здесь упрощенный синтаксис играет свою роль для оптимизации — оперировать множествами, выбираемыми каждым из паттернов, было бы очень неэкономно.

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

, и другие).

При нумерации EBNF-продукций паттернов мы будем нумеровать их с префиксом

(, и т.д.), чтобы не путать с продукциями других языков, рассматриваемых в этой книге.