Выражение validate
Выражение validate вызывает валидацию своего аргумента в соответствии с XML Schema. Сначала аргумент этого выражения преобразуется в информационный набор (infoset) с отбрасыванием всех аннотаций типов, которые содержатся в аргументе. Результатом валидации является новый элемент (с новым содержанием и с новой индивидуальностью) с аннотациями типов. Если не удается произвести успешную валидацию, то возникает динамическая ошибка.
С использованием выражения валидации аннотации типа могут быть применены к конструируемому элементу: validate { <myco:employee id='440612'> <name>Augustus Child</name> . . . </myco:employee> }
В этом случае в схеме myco должен содержаться глобально определенный элемент employee. У элемента name в конструируемом элементе имеется тип xdt:untyped, в то время как в валидированном результате у него имелся бы тип myco:nameType.
