Классика баз данных - статьи



         

Выражение validate


Выражение validate вызывает валидацию своего аргумента в соответствии с XML Schema. Сначала аргумент этого выражения преобразуется в информационный набор (infoset) с отбрасыванием всех аннотаций типов, которые содержатся в аргументе. Результатом валидации является новый элемент (с новым содержанием и с новой индивидуальностью) с аннотациями типов. Если не удается произвести успешную валидацию, то возникает динамическая ошибка.

С использованием выражения валидации аннотации типа могут быть применены к конструируемому элементу: validate { <myco:employee id='440612'>               <name>Augustus Child</name>              .              .              .            </myco:employee>          }

В этом случае в схеме myco должен содержаться глобально определенный элемент employee. У элемента name в конструируемом элементе имеется тип xdt:untyped, в то время как в валидированном результате у него имелся бы тип myco:nameType.




Содержание  Назад  Вперед