Алексей Валиков - Технология XSLT

В этой главе мы будем рассматривать только функции базовой библиотеки XPath. Функции, которые добавляются в XSLT, будут разбираться чуть позже, а функции-расширения и их создание вообще является достаточно сложной темой, вынесенной в отдельную главу.

Прежде, чем разбирать функции, рассмотрим синтаксис их вызова. Он описывается правилом FunctionCall:

[XP16] FunctionCall ::= FunctionName

'(' ( Argument ( ',' Argument )* )? ')'

Таким образом, вызов функции состоит из имени и перечисленных в круглых скобках аргументов, которых может в принципе и не быть. С точки зрения синтаксиса аргументом функции может быть любое выражение, однако на практике функции предъявляют к своим аргументам определенные требования. Мы будем записывать правила вызова той или иной функции прототипом вида

тип1 функция( тип2 , тип3 , тип4 ?)

где тип1 — тип возвращаемого значения, тип2 , тип3 , тип4 — типы передаваемых параметров, символ " ?" обозначает аргумент, который может быть опущен. Также может быть использован символ *для обозначения аргумента, который может повторяться несколько раз. Например,

string concat(string, string, string*)

определяет функцию concat, которая возвращает строку, а на вход принимает два или более строковых параметра.

Аргументы функции отвечают EBNF-продукции Argument:

[XP17] Argument ::= Expr

Имя функции определяется синтаксическим правилом FunctionName. Функция может иметь любое корректное с точки зрения XML имя, кроме названий типов узлов ( comment, processing-instruction, textи node):

[XP35] FunctionName ::= QName - NodeType

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

boolean boolean( object )

Функция booleanявным образом преобразует объект, который ей передается в булевый тип в соответствии с правилами, изложенными в главе "Типы данных XPath" . Напомним вкратце эти правила.

□ Число преобразуется в "ложь", если оно является положительным или отрицательным нулем или не-числом ( NaN). В противном случае число будет преобразовано в "истину".

□ Строка преобразуется в "ложь", если она не содержит символов, то есть, ее длина равна нулю. Непустая строка преобразуется в "истину".

□ Множество узлов преобразуется в "ложь", если оно пусто. Непустое множество узлов преобразуется в "истину".

□ Объекты других типов преобразуются в булевые значения по собственным правилам. Например, результирующий фрагмент дерева всегда преобразуется в "истину".

Примеры:

boolean(2-2)→ false

boolean(number('two'))→ false

boolean(-1)→ true

boolean(1 div 0)→ true

boolean(-1 div (1 div 0))→ false

boolean(-1 div (-1 div 0))→ false

boolean(-1 div (-1 div 0) +1)→ true

boolean('')→ false

boolean('true')→ true

boolean('false')→ true

boolean(/)→ true

Это выражение всегда будет обращаться в true, поскольку у документа всегда есть корневой узел.

boolean(/self::node())→ true

Это выражение также обратится в true, поскольку корневой узел соответствует тесту node().

boolean(/self::text())→ false

Это выражение обратится в false, поскольку корневой узел не является текстовым узлом.

boolean not( boolean )

Функция notвыполняет логическое отрицание. Если аргументом была "истина", notвозвращает "ложь", если аргумент был "ложью", notвернет "истину". Если функции был передан аргумент не булевого типа (например, число), то он сначала будет сконвертирован в тип boolean.

Примеры:

not(false)→ true

not(true)→ false

not('false')→ false

not('true')→ false

not(0)→ true

not(/)→ false

boolean true()

boolean false()

Две функции trueи falseвозвращают тождественную "истину" и тождественную "ложь" соответственно. В XPath нет констант и, тем более, логических констант, определяющих "истину" и "ложь", как в других языках. Функции trueи falseвосполняют эту нехватку.

Примеры:

true() or $var→ true

Это выражение всегда будет истинным вне зависимости от значения переменной var, поскольку дизъюнкция (логическая операция "или") с тождественной "истиной" всегда будет "истиной".

false() and $var→ false

Это выражение всегда будет ложным вне зависимости от значения переменной var, поскольку конъюнкция (логическая операция "и") с тождественной "ложью" всегда будет "ложью".

boolean lang( string )

Функция langможет использоваться для того, чтобы определить языковой контекст контекстного узла. В элементах XML можно использовать атрибут langпространства имен xmlдля определения языка содержимого узла, например;

Yet no living human being have been ever blessed with seeing...

Пространство имен, соответствующее префиксу xml, не требуется объявлять. Это служебное пространство имен, которое неявно задано во всех XML-документах.

Функция langвозвратит "истину", если идентификатор языка, который передан ей в виде строкового параметра, соответствует языковому контексту контекстного узла. Это определяется следующим образом.

□ Если ни один из предков контекстного узла не имеет атрибута xml:lang, функция возвращает "ложь".

□ Иначе строковый параметр проверяется на соответствие значению атрибута xml:langближайшего предка. Если эти значения равны в любом регистре символов, или атрибут начинается как значение параметра функции и имеет суффикс, начинающийся знаком " -", функция возвращает "истину".

□ В противном случае функция возвращает "ложь".

Примеры:

Функция lang('en')возвратит "истину" в контексте любого из следующих элементов:

Функция lang('de')возвратит "истину" в контексте элемента bи "ложь" — в контексте элементов аи с:

<���а>

number number( object ?)

Функция numberявным образом конвертирует свой аргумент в числовой тип. Если аргумент не указан, функции передается множество узлов, состоящее из единственного контекстного узла. Коротко напомним правила преобразования в числовой тип.

□ Значения булевого типа преобразуются в 0или 1следующим образом: "ложь" преобразуется в 0, "истина" в 1.