Выражения для типов последовательности

Для проверки и изменения типов в последовательности данных в XPath определены операции instance of, cast, castable и treat.

Операция instance of имеет следующий формат:

операнд-1 instance of операнд-2

Эта операция проверяет наличие операнда-1 в последовательности, заданной в операнде-2 и возвращает true, если операнд есть в последовательности и false – в противном случае.

Примеры выражений для операции instance of:

1. 12 instance of xs:integer – равно true.

2. 12 instance of xs:nonPositiveInteger – равно false.

Операция cast as имеет следующий формат:

операнд-1 cast as операнд-2[?]

Эта операция преобразует атомарное значение в операнде-1 в данное типа, заданного в операнде-2 и возвращает преобразованное значение, одновременно изменяя тип операнда-1. Если после операнда-2 задан необязательный символ "?", то в случае невозможности преобразования возвращается пустая строка, иначе выдается сообщение об ошибке. Операнд-2 не может иметь тип xs:NOTATION или тип xs:anyAtomicType.

Примеры выражений для операции cast as:

1. "12" cast as xs:integer – преобразует строку в число.

2. $d cast as xs:string – преобразует переменную $d к строковому типу.

Операция castable as имеет следующий формат:

операнд-1 castable as операнд-2[?]

Эта операция выполняет проверку возможности преобразования атомарного значения в операнде-1 в данное типа, заданного в операнде-2 и возвращает значение true, если такое преобразование возможно и false – в противном случае. Задание после операнда-2 необязательного символ "?" определяет возможность задания пустой последовательности. Операнд-2 не может иметь тип xs:NOTATION или тип xs:anyAtomicType.

Примеры выражений для операции castable as:

1. "12" castable as xs:integer – равно true.

2. "12.3" castable as xs:integer – равно false.

Операция treat as имеет следующий формат:

операнд-1 treat as операнд-2

Эта операция преобразует атомарное значение в операнде-1 в данное типа, заданного в операнде-2 и возвращает преобразованное значение, однако, в отличие от операции cast as, тип операнда-1 не меняется. Операнд-2 не может иметь тип xs:NOTATION или тип xs:anyAtomicType.

Обычно операция treat as используется при вызове функций, когда аргумент должен иметь тип операнд-2.

Примеры выражений для операции treat as:

1. "12" treat as xs:integer – преобразует строку в число.

2. $d treat as xs:string – возвращает текущее значение переменной, преобразованное к строковому типу (тип самой переменной $d не меняется).