Осуществляет проверку строки или значения на соответствие типу значения.
Синтаксис
Проверить(<Строка>)Проверить(<Значение>)Полное описание, параметры и ограничения
ТипЗначенияXDTO.Проверить (XDTOValueType.Validate)
ТипЗначенияXDTO (XDTOValueType)
Проверить (Validate)
Доступен, начиная с версии 8.1.
Вариант синтаксиса: Проверка лексического представления значения
Синтаксис:
Проверить(<Строка>)
Параметры:
<Строка> (обязательный)
Тип: Строка.
Лексическое представление значения.
Вариант синтаксиса: Проверка значения
Синтаксис:
Проверить(<Значение>)
Параметры:
<Значение> (обязательный)
Тип: Произвольный.
Проверяемое значение.
Описание:
Осуществляет проверку строки или значения на соответствие типу значения.
Доступность:
Тонкий клиент, мобильный клиент, сервер, толстый клиент, внешнее соединение, мобильное приложение (клиент), мобильное приложение (сервер), мобильный автономный сервер.
Использование в версии:
Доступен, начиная с версии 8.1.
Методическая информация
Практические примеры
Экспортировать свою модель XDTO и построить вторую фабрику
ЭкспортМоделиXDTO выдаёт описание типов Model, а не заказ. По нему создаётся вторая независимая фабрика, в которой снова проверяем собственные ограничения артикула.
Где и как запускать
Полный серверный общий модуль собственной отдельной учебной конфигурации.
Подготовка
Создайте отдельную собственную конфигурацию с именем УчебнаяКонфигурацияСинтаксиса. Не используйте рабочую КА2, УНФ, УТ или БП.
Создайте неглобальный общий модуль УчебнаяМодельXDTO85 с флагом Сервер. Вставьте весь выбранный пример, включая вспомогательные функции, если они присутствуют.
Из серверной команды своей учебной обработки вызовите УчебнаяМодельXDTO85.ВыполнитьПример(). Передавать неизвестный объект или реквизиты чужой конфигурации не нужно.
XSD целиком встроена в код: артикул Sku, цвет Color, список артикулов, объединение, абстрактный Base, строка Item, производный Order и смешанный Note.
Справочники, документы и пакеты XDTO метаданных создавать не нужно. Схема и фабрика принадлежат только этому выполнению в памяти.
urn:guide:model85 и URI стандартной XML Schema — идентификаторы пространств имён. Код не загружает их из Интернета; import/include, DTD и внешних файлов нет.
Проверки Истина относятся к приведённой неизменённой учебной XSD. После её изменения сначала пересмотрите ожидаемые типы, границы и обязательность.
Это полный учебный исходник с проверенными статически API, но запуск в 1С не проверялся. Ошибку подготовки схемы не следует принимать за успешную проверку данных.
Процедура ВыполнитьПример() Экспорт
XSD = "<xs:schema xmlns:xs=""http://www.w3.org/2001/XMLSchema"" xmlns:g=""urn:guide:model85"" targetNamespace=""urn:guide:model85"" elementFormDefault=""qualified"" attributeFormDefault=""unqualified"">
|<xs:simpleType name=""Sku""><xs:restriction base=""xs:string""><xs:length value=""4""/><xs:pattern value=""[A-Z][0-9]{3}""/></xs:restriction></xs:simpleType>
|<xs:simpleType name=""Color""><xs:restriction base=""xs:string""><xs:enumeration value=""red""/><xs:enumeration value=""blue""/></xs:restriction></xs:simpleType>
|<xs:simpleType name=""SkuList""><xs:list itemType=""g:Sku""/></xs:simpleType>
|<xs:simpleType name=""QuantityOrCode""><xs:union memberTypes=""xs:positiveInteger g:Sku""/></xs:simpleType>
|<xs:complexType name=""Base"" abstract=""true""><xs:attribute name=""code"" type=""g:Sku"" use=""required""/></xs:complexType>
|<xs:complexType name=""Item""><xs:sequence><xs:element name=""name"" type=""xs:string""/><xs:element name=""quantity"" type=""xs:nonNegativeInteger""/></xs:sequence></xs:complexType>
|<xs:complexType name=""Order""><xs:complexContent><xs:extension base=""g:Base""><xs:sequence><xs:element name=""item"" type=""g:Item"" minOccurs=""0"" maxOccurs=""unbounded""/></xs:sequence></xs:extension></xs:complexContent></xs:complexType>
|<xs:complexType name=""Note"" mixed=""true""><xs:sequence><xs:element name=""amount"" type=""xs:decimal"" minOccurs=""0"" maxOccurs=""unbounded""/></xs:sequence></xs:complexType>
|<xs:element name=""order"" type=""g:Order""/><xs:element name=""note"" type=""g:Note""/>
|</xs:schema>";
ЧтениеСхемы = Новый ЧтениеXML;
ЧтениеСхемы.УстановитьСтроку(XSD);
Попытка
Дерево = Новый ПостроительDOM;
ДокументСхемы = Дерево.Прочитать(ЧтениеСхемы);
Исключение
ОшибкаСхемы = ОписаниеОшибки();
Попытка
ЧтениеСхемы.Закрыть();
Исключение
ВызватьИсключение ОшибкаСхемы + Символы.ПС + "Закрытие: " + ОписаниеОшибки();
КонецПопытки;
ВызватьИсключение ОшибкаСхемы;
КонецПопытки;
ЧтениеСхемы.Закрыть();
ПостроительСхем = Новый ПостроительСхемXML;
Схема = ПостроительСхем.СоздатьСхемуXML(ДокументСхемы.ЭлементДокумента);
Если Схема = Неопределено Тогда
ВызватьИсключение "Не построена собственная схема коллекций";
КонецЕсли;
НаборСхем = Новый НаборСхемXML;
НаборСхем.Добавить(Схема);
Если НЕ НаборСхем.Проверить() Тогда
ВызватьИсключение "Собственная схема не прошла проверку";
КонецЕсли;
Фабрика = Новый ФабрикаXDTO(НаборСхем);
Модель = Фабрика.ЭкспортМоделиXDTO("urn:guide:model85");
Если ТипЗнч(Модель) <> Тип("ОбъектXDTO") Тогда
ВызватьИсключение "Ожидался составной экспорт модели";
КонецЕсли;
Модель.Проверить();
Сообщить(Модель.Тип().Имя = "Model");
Сообщить(Модель.Тип().URIПространстваИмен = "http://v8.1c.ru/8.1/xdto");
Пакет = Фабрика.Пакеты.Получить("urn:guide:model85");
Если Пакет = Неопределено Тогда
ВызватьИсключение "Не найден исходный собственный пакет";
КонецЕсли;
ОпорныеПакеты = Пакет.Зависимости;
Для Индекс = 0 По ОпорныеПакеты.Количество() - 1 Цикл
ОпорныйПакет = ОпорныеПакеты.Получить(Индекс);
Если ОпорныйПакет.URIПространстваИмен = "urn:guide:model85" Тогда
ВызватьИсключение "Не передавайте исходный пакет вместо восстановления модели";
КонецЕсли;
КонецЦикла;
ВтораяФабрика = Новый ФабрикаXDTO(Модель, ОпорныеПакеты);
ТипАртикула = ВтораяФабрика.Тип("urn:guide:model85", "Sku");
ТипЗаказа = ВтораяФабрика.Тип("urn:guide:model85", "Order");
Если ТипАртикула = Неопределено ИЛИ ТипЗаказа = Неопределено Тогда
ВызватьИсключение "В восстановленной собственной фабрике не найдены Sku/Order";
КонецЕсли;
ТипАртикула.Проверить("A001");
Артикул = ВтораяФабрика.Создать(ТипАртикула, "A001");
Сообщить(Артикул.Значение = "A001");
ПроверитьОтклонениеСвоегоЗначения(ВтораяФабрика, ТипАртикула, "A01");
ВторойЗаказ = ВтораяФабрика.Создать(ТипЗаказа);
КодВторого = ВторойЗаказ.Свойства().Получить("code");
Если КодВторого = Неопределено Тогда
ВызватьИсключение "Не получен собственный унаследованный code";
КонецЕсли;
ВторойЗаказ.Установить(КодВторого, Артикул);
ВторойЗаказ.Проверить();
Сообщить(ВторойЗаказ.Получить(КодВторого) = "A001");
Сообщить(ВторойЗаказ.Фабрика() = ВтораяФабрика);
Сообщить(ТипЗаказа.БазовыйТип.Имя = "Base");
Сообщить(НЕ ТипЗаказа.Абстрактный);
КонецПроцедуры
Процедура ПроверитьОтклонениеСвоегоЗначения(Фабрика, ТипЗначения, ЛексическоеЗначение)
Отклонено = Ложь;
Попытка
Неподходящее = Фабрика.Создать(ТипЗначения, ЛексическоеЗначение);
Сообщить("Неожиданно принято: " + Неподходящее.ЛексическоеЗначение);
Исключение
Отклонено = Истина;
КонецПопытки;
Если НЕ Отклонено Тогда
ВызватьИсключение "Не отклонено учебное значение: " + ЛексическоеЗначение;
КонецЕсли;
Сообщить("Отклонено по собственному контракту: " + ЛексическоеЗначение);
КонецПроцедурыРазбор по шагам
Экспортировать только пакет собственного URI, а не все пакеты рабочей конфигурации.
Проверить результат ОбъектXDTO и его модель. Имя Model и URI http://v8.1c.ru/8.1/xdto относятся к описанию типов.
Создать вторую ФабрикаXDTO из объекта Model по отдельной перегрузке конструктора. Для разрешения стандартных ссылок передать только зависимости собственного пакета, не сам исходный пакет.
Получить Sku/Order уже из второй фабрики. Не переносить в неё старые описатели СвойствоXDTO первой фабрики.
Проверить A001 и отклонить A01 во второй модели: экспорт сохранил ограничение длины/образца.
Создать заказ второй фабрикой и взять описатель code из него. Заполнить артикул, проверить объект; список item может быть пустым из-за minOccurs=0.
Сверить чтение артикула, происхождение фабрики, базовый тип и конкретность Order. Не выдавать Model за бизнес-заказ.
Экспорт не записывает метаданные конфигурации или файл. Обе фабрики существуют только в памяти этого выполнения.
Как проверить результат
Семь булевых сообщений дают Истина; A01 отклонён также восстановленной моделью.
Объект экспортированной модели имеет тип Model; второй заказ имеет собственный code A001 и не требует строк item.
Пакеты метаданных, товары и документы информационной базы не изменяются.
Ожидаемый результат
Описание своей модели экспортировано и использовано для второй фабрики с сохранённым учебным контрактом.
На что обратить внимание
ЭкспортМоделиXDTO экспортирует типы, не экземпляры заказов и не справочники базы.
Конструктор по модели типов отличается от конструктора по НаборСхемXML. Первый аргумент здесь ОбъектXDTO Model.
Модели с внешними импортами требуют согласованных пакетов; здесь опорные пакеты уже получены из своей фабрики в памяти, внешнего загрузчика нет.
Не считайте совпадение URI/имени гарантией объектной тождественности описателей разных фабрик.
Не заменяйте этот процесс обновлением конфигурации: это локальное построение в памяти, без записи рабочей базы.
Пример не запускался в вашей базе. Перед применением проверьте его в указанном учебном контексте.
Различить XDTO-список артикулов и объединение допустимых типов
SkuList содержит несколько артикулов в одном простом значении, QuantityOrCode допускает один положительный integer либо один Sku. Это не одно и то же, что список строк заказа.
Где и как запускать
Полный серверный общий модуль собственной отдельной учебной конфигурации.
Подготовка
Создайте отдельную собственную конфигурацию с именем УчебнаяКонфигурацияСинтаксиса. Не используйте рабочую КА2, УНФ, УТ или БП.
Создайте неглобальный общий модуль УчебнаяМодельXDTO85 с флагом Сервер. Вставьте весь выбранный пример, включая вспомогательные функции, если они присутствуют.
Из серверной команды своей учебной обработки вызовите УчебнаяМодельXDTO85.ВыполнитьПример(). Передавать неизвестный объект или реквизиты чужой конфигурации не нужно.
XSD целиком встроена в код: артикул Sku, цвет Color, список артикулов, объединение, абстрактный Base, строка Item, производный Order и смешанный Note.
Справочники, документы и пакеты XDTO метаданных создавать не нужно. Схема и фабрика принадлежат только этому выполнению в памяти.
urn:guide:model85 и URI стандартной XML Schema — идентификаторы пространств имён. Код не загружает их из Интернета; import/include, DTD и внешних файлов нет.
Проверки Истина относятся к приведённой неизменённой учебной XSD. После её изменения сначала пересмотрите ожидаемые типы, границы и обязательность.
Это полный учебный исходник с проверенными статически API, но запуск в 1С не проверялся. Ошибку подготовки схемы не следует принимать за успешную проверку данных.
Процедура ВыполнитьПример() Экспорт
XSD = "<xs:schema xmlns:xs=""http://www.w3.org/2001/XMLSchema"" xmlns:g=""urn:guide:model85"" targetNamespace=""urn:guide:model85"" elementFormDefault=""qualified"" attributeFormDefault=""unqualified"">
|<xs:simpleType name=""Sku""><xs:restriction base=""xs:string""><xs:length value=""4""/><xs:pattern value=""[A-Z][0-9]{3}""/></xs:restriction></xs:simpleType>
|<xs:simpleType name=""Color""><xs:restriction base=""xs:string""><xs:enumeration value=""red""/><xs:enumeration value=""blue""/></xs:restriction></xs:simpleType>
|<xs:simpleType name=""SkuList""><xs:list itemType=""g:Sku""/></xs:simpleType>
|<xs:simpleType name=""QuantityOrCode""><xs:union memberTypes=""xs:positiveInteger g:Sku""/></xs:simpleType>
|<xs:complexType name=""Base"" abstract=""true""><xs:attribute name=""code"" type=""g:Sku"" use=""required""/></xs:complexType>
|<xs:complexType name=""Item""><xs:sequence><xs:element name=""name"" type=""xs:string""/><xs:element name=""quantity"" type=""xs:nonNegativeInteger""/></xs:sequence></xs:complexType>
|<xs:complexType name=""Order""><xs:complexContent><xs:extension base=""g:Base""><xs:sequence><xs:element name=""item"" type=""g:Item"" minOccurs=""0"" maxOccurs=""unbounded""/></xs:sequence></xs:extension></xs:complexContent></xs:complexType>
|<xs:complexType name=""Note"" mixed=""true""><xs:sequence><xs:element name=""amount"" type=""xs:decimal"" minOccurs=""0"" maxOccurs=""unbounded""/></xs:sequence></xs:complexType>
|<xs:element name=""order"" type=""g:Order""/><xs:element name=""note"" type=""g:Note""/>
|</xs:schema>";
ЧтениеСхемы = Новый ЧтениеXML;
ЧтениеСхемы.УстановитьСтроку(XSD);
Попытка
Дерево = Новый ПостроительDOM;
ДокументСхемы = Дерево.Прочитать(ЧтениеСхемы);
Исключение
ОшибкаСхемы = ОписаниеОшибки();
Попытка
ЧтениеСхемы.Закрыть();
Исключение
ВызватьИсключение ОшибкаСхемы + Символы.ПС + "Закрытие: " + ОписаниеОшибки();
КонецПопытки;
ВызватьИсключение ОшибкаСхемы;
КонецПопытки;
ЧтениеСхемы.Закрыть();
ПостроительСхем = Новый ПостроительСхемXML;
Схема = ПостроительСхем.СоздатьСхемуXML(ДокументСхемы.ЭлементДокумента);
Если Схема = Неопределено Тогда
ВызватьИсключение "Не построена собственная схема коллекций";
КонецЕсли;
НаборСхем = Новый НаборСхемXML;
НаборСхем.Добавить(Схема);
Если НЕ НаборСхем.Проверить() Тогда
ВызватьИсключение "Собственная схема не прошла проверку";
КонецЕсли;
Фабрика = Новый ФабрикаXDTO(НаборСхем);
ТипСписка = Фабрика.Тип("urn:guide:model85", "SkuList");
ТипОбъединения = Фабрика.Тип("urn:guide:model85", "QuantityOrCode");
ТипАртикула = Фабрика.Тип("urn:guide:model85", "Sku");
Если ТипСписка = Неопределено ИЛИ ТипОбъединения = Неопределено ИЛИ ТипАртикула = Неопределено Тогда
ВызватьИсключение "Не найдены три собственных простых типа";
КонецЕсли;
Сообщить(ТипСписка.ТипЭлементаСписка = ТипАртикула);
Члены = ТипОбъединения.ТипыЧленовОбъединения;
Сообщить(Члены.Количество() = 2);
ИменаЧленов = Новый Соответствие;
Для Индекс = 0 По Члены.Количество() - 1 Цикл
ТипЧлена = Члены.Получить(Индекс);
ИменаЧленов.Вставить(ТипЧлена.URIПространстваИмен + "|" + ТипЧлена.Имя, Истина);
КонецЦикла;
Сообщить(ИменаЧленов.Получить("http://www.w3.org/2001/XMLSchema|positiveInteger") = Истина);
Сообщить(ИменаЧленов.Получить("urn:guide:model85|Sku") = Истина);
ТипСписка.Проверить("A001 B002");
ТипОбъединения.Проверить("3");
ТипОбъединения.Проверить("A001");
Артикулы = Фабрика.Создать(ТипСписка, "A001 B002");
КоличествоИлиКод = Фабрика.Создать(ТипОбъединения, "3");
КодИлиКоличество = Фабрика.Создать(ТипОбъединения, "A001");
Сообщить("Лексическая запись списка: " + Артикулы.ЛексическоеЗначение);
Сообщить("Лексическая запись первого объединения: " + КоличествоИлиКод.ЛексическоеЗначение);
Сообщить("Лексическая запись второго объединения: " + КодИлиКоличество.ЛексическоеЗначение);
ПроверитьОтклонениеСвоегоЗначения(Фабрика, ТипСписка, "A001 B02");
ПроверитьОтклонениеСвоегоЗначения(Фабрика, ТипОбъединения, "0");
ПроверитьОтклонениеСвоегоЗначения(Фабрика, ТипОбъединения, "A01");
КонецПроцедуры
Процедура ПроверитьОтклонениеСвоегоЗначения(Фабрика, ТипЗначения, ЛексическоеЗначение)
Отклонено = Ложь;
Попытка
Неподходящее = Фабрика.Создать(ТипЗначения, ЛексическоеЗначение);
Сообщить("Неожиданно принято: " + Неподходящее.ЛексическоеЗначение);
Исключение
Отклонено = Истина;
КонецПопытки;
Если НЕ Отклонено Тогда
ВызватьИсключение "Не отклонено учебное значение: " + ЛексическоеЗначение;
КонецЕсли;
Сообщить("Отклонено по собственному контракту: " + ЛексическоеЗначение);
КонецПроцедурыРазбор по шагам
Найти SkuList, QuantityOrCode и Sku в собственной фабрике. Это три простых типа модели.
Проверить, что ТипЭлементаСписка у SkuList — именно Sku: ограничение артикула действует на каждый член списка.
Обойти ТипыЧленовОбъединения через отдельную КоллекцияТиповЗначенийXDTO. Сопоставить URI и имя обоих членов, не полагаться на их порядок.
Проверить лексические строки: пробел разделяет A001/B002 у списка; 3 и A001 по отдельности допустимы у объединения.
После проверки лексических строк создать три ЗначениеXDTO. Показываем лексическое представление, не обещаем платформенный Массив или СписокXDTO в поле Значение.
В A001 B02 второй член списка нарушает Sku. В объединении 0 не положительный integer и не Sku; A01 тоже не подходит ни одному члену.
Зафиксировать три ожидаемых отклонения узкой процедурой. Не считать объединение механизмом автоматического выбора товара по произвольной строке.
Как проверить результат
Четыре булевых сообщения дают Истина: тип элемента, два члена объединения и их количество.
Три допустимых значения прошли проверки; выведено их фактическое лексическое представление без предположений о нормализации пробелов.
Три недопустимые строки A001 B02, 0, A01 отклонены; иначе пример явно завершится ошибкой.
Ожидаемый результат
На одном контракте разобраны две разные конструкции простых типов и их границы допустимости.
На что обратить внимание
XSD list — одно простое значение. СписокXDTO — коллекция значений повторяющегося свойства составного объекта.
Union означает альтернативу одного значения, а не требование одновременного соответствия всем членам.
Не считайте порядок типов объединения постоянным и не определяйте тип только по одному имени без URI.
ЛексическоеЗначение может нормализоваться по правилам XSD; байтовую тождественность входной строке не обещаем.
Не заменяйте ноль на положительное количество молча: исходная модель явно запрещает ноль у QuantityOrCode.
Пример не запускался в вашей базе. Перед применением проверьте его в указанном учебном контексте.