Расширяемый Язык Разметки (XML) 1.0 (Четвёртое Издание)

1.1 Источник и цели

XML был разработан XML Working Group (ранее известной как SGML Editorial Review Board), сформированной под руководством World Wide Web Consortium (W3C) в1996 году.
Её возглавил Jon Bosak из Sun Microsystems при активном участии XML Special Interest Group (ранее известной как SGML Working Group), также организованной W3C. Члены XML Working Group указаны в Приложении. Dan Connolly является контактёром рабочей Группы с W3C.

Цели создания XML:

1. XML будет широко распространён в Internet.

2. XML будет поддерживать большой диапазон приложений.

3. XML будет совместим с SGML.

4. Он будет лёгким для написания программ, обрабатывающих документы XML.

5. Количество свойств по выбору (optional) в XML будет сведено к абсолютному минимуму, в идеале - к нулю.

6. Документы XML должны быть разборчивыми и ясными по смыслу.

7. Дизайн XML должен выполняться быстро.

8. Дизайн XML должен быть формальным и кратким.

9. Документы XML должны легко создаваться.

10. Краткость в разметке XML имеет минимальное значение.

Эта спецификация, вместе с ассоциированными стандартами  (Unicode [Unicode] и ISO/IEC 10646 [ISO/IEC 10646] для символов, Internet RFC 3066 [IETF RFC 3066] для тэгов идентификации языка, ISO 639 [ISO 639] для кодов названий языков и ISO 3166 [ISO 3166] для кодов названия стран), предоставляет всю информацию, необходимую для понимания XML Версии 1.0 и создания компьютерных программ его обработки.

Данная версия спецификации XML может свободно распространяться, при условии сохранения текста и примечаний без изменений.

1.2 Терминология

Терминология, используемая для описания документов XML, определена в теле данной спецификации. Ключевые слова MUST\ОБЯЗАН, MUST NOT/ОБЯЗАН НЕ, REQUIRED/ТРЕБУЕТСЯ, SHALL/БУДЕТ, SHALL NOT, SHOULD, SHOULD NOT, RECOMMENDED/РЕКОМЕНДУЕТСЯ, MAY/МОЖЕТ и OPTIONAL/ОПЦИОННЫЙ (параметр), если ВЫДЕЛЕНЫ, используются так, как описано в [IETF RFC 2119]. Кроме того, следующие термины используются для построения определений при описании действий XML-процессора:

error/ошибка

[Определение: нарушение правил данной спецификации; результаты не определены. Если не спецфицировано иное, нарушение требований данной спецификации, обозначенное обним из ключевых слов: MUST, REQUIRED, MUST NOT, SHALL и SHALL NOT является ошибкой. Соответствующие программы МОГУТ определять ошибки и сообщать о них и МОГУТ обрабатывать их.]

fatal error/фатальная ошибка

[Определение: ошибка, которую соответствующий XML-процессор ОБЯЗАН выявлить и обязан сообщить приложению. После выявления фатальной ошибки процессор МОЖЕТ продолжить обработку данных для поиска других ошибок и МОЖЕТ сообщать о таких ошибках приложению. С целю поддержки коррекции ошибок процессор МОЖЕТ делать необработанные данные документа (смесь символьных данных и разметки) доступными приложению. Если, однако, выявлена фатальная ошибка, процессор ОБЯЗАН НЕ продолжать нормальную обработку (т. е. он обязан не продолжать передачу информацию о символьных данных и логической структуре документа приложению обычным способом).]

at user option/по выбору пользователя

[Определение: соответствующие программы могут или обязаны (в зависимости от значения модального глагола в предложении) вести себя так, как описано; если это происходит, пользователям обязательно должно быть представлено средство включать или отключать описываемое поведение.]

validity constraint/ограничение правильности

[Определение: правило, применимое ко всем правильным документам XML. Нарушение ограничений правильности является ошибкой; она обязана, по выбору пользователя, выдавать сообщение проверяющими XML- процессорами.]

well-formedness constraint/ограничение правильного формирования

[Определение: правило, применимое ко всем правильно сформированным документам XML. Нарушение ограничений правильного формирования является фатальной ошибкой.]

match/совпадение

[Определение: (Для строки или имени:) две строки или два имени при сравнении должны быть идентичными - совпадать полностью. Символы, имеющие различные варианты представления в ISO/IEC 10646 (например, символы, имеющие предопределённую или "база+диакритический знак" формы), совпадают только тогда, когда они имеют одинаковое представление в обеих строках. Приведение регистра не выполняется.
(Для строк и грамматических правил:) Строка совпадает с грамматическим объектом, если она принадлежит к языку, генерируемому этим объектом.
(Для содержимого и моделей содержимого:) Элемент совпадает со своим объявлением, если он соответствует по форме описанию в ограничении  [ОП: Element Valid].]

for compatibility/для совместимости

[Определение: помечает предложение, описывающее свойство включённого XML, только для того, чтобы удостовериться, что XML остаётся совместимым с SGML.]

for interoperability/для обеспечения взаимодействия

[Определение: помечает предложение, описывающее необязывающие рекомендации, включаемые для того, чтобы увеличить шансы того, что документы XML могут быть обработаны существующей установленной базой процессоров SGML, которые существовали до WebSGML Adaptations Annex/Адаптивного дополнения к ISO 8879.]

2.1 Правильно сформированные XML-документы

[Определение: текстовый объект является правильно сформированным документом XML, если:]

1. Взятый в целом, он совпадает с документом, помеченным грамматическим объектом.

2. Он удовлетворяет всем ограничениям правильного формирования,  данным в этой спецификации.

3. Каждый из разбираемых экземпляров, на которые имеется прямая или косвенная ссылка в документе, является правильно сформированным.

Document

Совпадение с объектом документа предполагает, что:

1. Он содержит один или более элементов.

2. [Определение: имеется только один элемент, называемый root, или элемент документа, никакая часть которого не появляется в содержимом любого другого элемента.]
   Для всех остальных элементов: если начальный тэг находится в содержимом другого элемента, то конечный тэг находится в содержимом того же самого элемента. Проще говоря, элементы, ограниченные начальным и конечным тэгами, вкладываются соответствующим образом один в другой.

[Определение: как следствие этого, для каждого некорневого элемента C в документе имеется элемент P в таком документе, что C находится в содержимом элемента P, но не в содержимом любого другого элемента, который находится в содержимом P.
P является parent/родителем C, а C - child/потомком  P.]

2.2 Символы

[Определение: Разбираемый экземпляр содержит текст, последовательность символов, которая может представлять символьные данные или разметку.]

 [Определение: character/символ это атомарная (первичная) единица текста, как специфицировано в ISO/IEC 10646 [ISO/IEC 10646]. Разрешёнными символами являются символы табуляции, возврата каретки, перевода строки и все допустимые символы Unicode и ISO/IEC 10646. Версии этих стандартов, указанные в A.1 Нормативных Ссылках, действовали на момент создания данного документа. Новые символы могут быть добавлены к этим стандартам в дополнениях и новых редакциях. Следовательно, XML-процессоры обязаны принимать любые символы в диапазоне, специфицированном для Char.

Диапазон символов

Механизм кодирования кодовых точек символов внутри битовых патэрнов может варьироваться от экземпляра к экземпляру. Все XMLпроцессоры ОБЯЗАНЫ принимать кодировки UTF-8 и UTF-16 из Unicode 3.1 [Unicode3]. Механизм обозначения того, какая из двух кодировок используется, и подключение других кодировок обсуждается позже в разделе 4.3.3 Кодирование Символов в Экземплярах.

[#x7F-#x84], [#x86-#x9F], [#xFDD0-#xFDDF],
[#x1FFFE-#x1FFFF], [#x2FFFE-#x2FFFF], [#x3FFFE-#x3FFFF],
[#x4FFFE-#x4FFFF], [#x5FFFE-#x5FFFF], [#x6FFFE-#x6FFFF],
[#x7FFFE-#x7FFFF], [#x8FFFE-#x8FFFF], [#x9FFFE-#x9FFFF],
[#xAFFFE-#xAFFFF], [#xBFFFE-#xBFFFF], [#xCFFFE-#xCFFFF],
[#xDFFFE-#xDFFFF], [#xEFFFE-#xEFFFF], [#xFFFFE-#xFFFFF],
[#x10FFFE-#x10FFFF].

2.3 Общие синтаксические конструкции

В этом разделе определены некоторые символы, широко используемые в грамматике.

S (пробел) состоит из одного или более символов пробела (#x20), возврата каретки, перевода строки или табуляции.

White Space/Пробел

Для удобства символы классифицированы как буквы, цифры и прочие символы. Буква\letter это символ с алфавитной или силлабической основной или идеографический символ. Полное определение символов каждого класса дано в разделе B Классы символов.

[Определение: Name\Имя это лексическая единица, начинающаяся буквой или одним из символов пунктуации и продолжающаяся буквами, цифрами, дефисами, символами подчёркивания, двоеточием или full stops, известными как символы именования.]
Имена, начинающиеся строкой "xml" или любой строкой, совпадающей с (('X'|'x') ('M'|'m') ('L'|'l')), зарезервированы для целей стандартизации в этой или последующих версиях данной спецификации.

Nmtoken (лексема именования) состоит из символов именования.

Имена и Лексемы

Литеральные данные это любая строка, заключённая в кавычки и не содержащая знаков кавычки, которые используются в качестве ограничителей этой строки. Литералы используются для специфицирования содержимого внутренних экземпляров/internal entities (EntityValue), значений атрибутов (AttValue) и внешних идентификаторов (SystemLiteral). Обратите внимание, что SystemLiteral может быть разобран без сканирования разметки.

Литералы

2.4 Символьные данные и разметка

Текст состоит из смеси символьных данных и разметки.
[Определение: разметка вводится в виде стартовых тэгов, конечных тэгов, тэгов пустых элементов, мнемоник экземпляров, символьных мнемоник, комментариев, ограничителей разделов CDATA, объявлений типа документа, инструкций процессинга,  объявлений XML, объявлений текста и любых пробелов в верхнем уровне экземпляра документа (то есть вне элемента документа и не внутри другой разметки).]

[Определение: весь текст, не являющийся разметкой, образует символьные данные документа.]

Символ амперсанда (&) и левая угловая скобка (<) ОБАЗАНЫ НЕ появляться в своей литеральной форме, это возможно только при использовании в качестве ограничителей разметки или в комментариях, инструкциях процессинга или разделах CDATA. Если их необходимо использовать ещё где-нибудь, они ОБЯЗАНЫ вводиться в виде мнемоники, с использованием цифровой мнемоники или строк "&" и "<" соответственно. Правая угловая скобка (>) может быть представлена строкой ">" и ОБЯЗАНА, для обеспечения совместимости, вводиться с помощью мнемоники с использованием ">" или символьной мнемоники, если появляется в строке "]]>" внутри содержимого, и если эта строка не обозначает конец раздела CDATA.

Символьные данные в содержимом элементов - это любая строка символов, не содержащая начальных ограничителей любой разметки и не содержит закрывающий ограничитель раздела CDATA - "]]>". В разделе CDATA символьные данные - это любая строка символов, не включающая закрывающий ограничитель раздела CDATA - "]]>".

Для того, чтобы значения атрибутов могли содержать и одинарные, и двойные кавычки, апостроф, или одиночная кавычка, (') может быть представлен в виде "'", а символ двойной кавычки (") - как """.

Character Data/Символьные Данные

2.5 Комментарии

[Определение: комментарии могут появляться в любом месте документа вне прочей разметки; кроме того, они могут появляться внутри объявления типа документа в тех местах, которые допускаются грамматикой. Они не являются частью символьных данных документа: XML-процессор МОЖЕТ, но не должен, давать приложению возможность запрашивать текст комментариев. Для обеспечения совместимости строка "--" (двойной дефис) ОБЯЗАНА НЕ появляться внутри комментариев.] Ссылки на экземпляры (мнемоники) параметров не распознаются внутри комментариев.

Комментарии

Пример комментария:

<!-- объявление <head> & <body> -->

Заметьте, что грамматика не допускает заканчивать комментарии сочетанием --->.
Следующий пример сформирован неправильно.

<!-- B+, B, или B--->

2.6 Инструкции процессинга

[Определение: инструкции процессинга (ИП\PIs) позволяют вводить в текст документа инструкции для приложений.]

Инструкции Процессинга

ИП не являются частью символьных данных документа, но ОБЯЗАНЫ передаваться непосредственно приложению. ИП начинается указанием на "цель" (PITarget) для идентификации приложения, которому направляется инструкция. Имена цели, такие как "XML", "xml" и т. п., зарезервированы для возможности стандартизации в этой и будущих версиях данной спецификации. XML-механизм "Нотация" может использоваться для формального объявления целей ИП. Мнемоники экземпляра параметра ОБЯЗАНЫ НЕ распознаваться внутри ИП.

2.7 Разделы CDATA

[Определение: разделы CDATA могут появляться там же, где и символьные данные; они используются для мнемонизации блоков текста, содержащего символы, которые иначе будут распознаваться как разметка. Разделы CDATA начинаются строкой "<![CDATA[" и заканчиваются строкой "]]>":]

CDATA-разделы

Внутри раздела CDATA только строка CDEnd распознаётся как разметка, так что амперсанд и левая угловая скобка могут появляться в своей литеральной форме: они не должны (и не могут) быть указаны в виде escape-последовательности (мнемонизированы) с использованием "<" и "&".
Разделы CDATA не могут вкладываться один в другой.

Пример раздела CDATA, где "<greeting>" и "</greeting>" распознаются как символьные данные, а не разметка:

<![CDATA[<greeting>Hello, world!</greeting>]]> 

2.8 Пролог и Объявление Типа Документа (ОТД)

[Определение: XML-документы ДОЛЖНЫ начинаться объявлением XML, которое специфицирует используемую версию XML.] Например, вот полный документ XML, правильно сформированный, но не правильный:

<?xml version="1.0"?>
<greeting>Hello, world!</greeting> 

также и этот:

<greeting>Hello, world!</greeting>

Функцией разметки в документе XML является обязанность описывать структуру хранения данных и логическую структуру и ассоциировать пары атрибут-значение с их логическими структурами. XML предоставляет механизм объявления типа документа для определения ограничений в логической структуре и для поддержки использования предопределённых единиц хранения.
[Определение: документ XML является правильным/valid, если он имеет ассоциированное объявление типа документа и если документ выполняет ограничения, выраженные в нём.]

Объявление типа документа ОБЯЗАНО появляться перед первым элементом в документе.

Пролог

[Определение: объявление типа документа XML содержит или указывает на объявления разметки, предоставляющие грамматику для класса документов. Эта грамматика известна как определение типа документа или ОТД/DTD. Объявление типа документа может указывать на внешний поднабор (особый вид внешнего экземпляра), содержащий объявления разметки, или может непосредственно содержать объявления разметки во внутреннем поднаборе, или может иметь и то, и другое. ОТД документа состоит из обоих соединённых поднаборов.]

[Определение: объявление разметки это объявление типа элемента, объявление списка атрибутов и объявление экземпляра или объявление нотации.] Эти объявления могут полностью или частично содержаться внутри мнемоник параметров, как описано ниже в разделах о правильном формировании и ограничениях правильности.
Дополнительную информацию см. в разделе 4 Физические Структуры.

Определение Типа Документа

Обратите внимание, что можно конструировать правильно сформированные документы, содержащие doctypedecl, которое не указывает на внешний и не содержит на внутренний поднабор.

Объявления разметки могут быть выполнены полностью или частично из замещающего текста или экземпляров параметров. Далее в этой спецификации продукты отдельных нетерминалов (elementdecl, AttlistDecl и т. д.) описывают объявления после всех экземпляров параметров, которые были включены.

Ссылки на экземпляры параметров распознаются в любом месте ОТД (внешних или внутренних поднаборах и внешних экземплярах параметров), исключая литералы, инструкции процессинга, комментарии и содержимое игнорируемых условных секций (см. 3.4 Разделы Условий).
Они распознаются также в литералах значения экземпляра. Использование экземпляров параметров во внутреннем поднаборе ограничено так, как описано ниже.

Подобно внутреннему поднабору, внешний поднабор и любая внешняя МП, на которую имеется ссылка в DeclSep, ОБЯЗАНЫ состоять из серии полных объявлений типов, допустимых нетерминальной символьной markupdecl, перемежаемых пробелами или ссылками на МП. Однако части содержимого внешнего поднабора или этих внешних МП могут условно игнорироваться путём использования конструкции раздела условий; это не допускается во внутреннем поднаборе, но разрешено во внешних МП, на которые есть ссылки во внутреннем поднаборе.

External Subset\Внешний Поднабор

Внешний поднабор и внешний МП отличаются также от внутреннего поднабора тем, что ссылки на МП разрешены внутри объявлений разметки, а не только между объявлениями разметки.

Пример XML-документа с объявлением типа документа:

<?xml version="1.0"?>
<!DOCTYPE greeting SYSTEM "hello.dtd">
<greeting>Hello, world!</greeting> 

Системный идентификатор "hello.dtd" задаёт адрес (URI-ссылку) ОТД данного документа.

Объявление может быть также дано локально, как в следующем примере:

<?xml version="1.0" encoding="UTF-8" ?>
<!DOCTYPE greeting [
  <!ELEMENT greeting (#PCDATA)>
]>
<greeting>Hello, world!</greeting>

Если используются и внешний, и внутренний поднаборы, то внутренний поднабор ОБЯЗАН появляться перед внешним поднабором. Это приводит к тому, что экземпляр и объявления списков атрибутов внутреннего поднабора имеют приоритет перед экземпляром и объявлениями внешнего поднабора.

2.9 Отдельное Объявление Документа

Объявления разметки могут влиять на содержимое документа при передаче его от XML-процессора  приложению; примерами могут служить значения атрибутов по умолчанию и объявления экземпляров. Отдельное объявление документа, которое может появляться как компонент объявления XML, сигнализирует о том, имеются или нет такие объявления, которые являются внешними по отношению к экземпляру документа или мнемоникам параметров.
[Определение: внешнее объявление разметки определено как объявление разметки, появляющееся во внешнем поднаборе или в МП (внешнем или внутреннем, последние включены, поскольку от непроверяющих процессоров не требуется читать их).]

Отдельное Объявление Документа

В отдельном объявлении документа значение "yes" означает отсутствие внешних объявлений разметки, влияющих на информацию, предаваемую от XML-процессора приложению. Значение "no" означает, что имеются или могут быть такие внешние объявления разметки. Заметьте, что отдельное объявление документа означает лишь существование внешних объявлений. Существование в документе ссылок на внешние мнемоники, если эти мнемоники объявлены внутри, не изменяет их отдельный статус.

Если внешние объявления разметки отсутствуют, отдельное объявление документа не имеет смысла. Если имеются внешние объявления разметки, но отсутствует отдельное объявление документа, принимается значение "no".

Любой XML-документ, в котором standalone="no", может быть по алгоритму конвертирован в отдельный документ, что может быть необходимо для некоторых приложений, работающих в сети.

<?xml version="1.0" standalone='yes'?>

2.10 Обработка пробелов

При редактировании документов XML часто бывает удобно использовать "пробельные символы" (пробелы, табуляцию и пустые строки) для разделения разметки на блоки - для удобства чтения. Такие пробелы обычно не включаются в публикуемую версию документа. С другой стороны, "значащий" пробел, который должен быть сохранён в публикуемой версии, является обычным, например, в поэзии и исходном коде.

XML-процессор ОБЯЗАН всегда передавать приложению все символы в документе, не являющиеся разметкой. Проверяющий процессор XML обязан также информировать приложение о том, какие из этих символов образуют пробелы, появляющиеся в содержимом элемента.

Проверяющий XML-процессор ОБЯЗАН также информировать приложение о том, какие из этих символов образуют пробелы, появляющиеся в содержимом элемента.

Специальный атрибут xml:space может быть присоединён к элементу для того, чтобы сигнализировать о необходимости для приложения сохранить пробел в данном элементе. В правильных/valid документах этот атрибут, как и некоторые другие, ОБЯЗАН быть объявлен, если он используется. Если объявлен, он ОБЯЗАН быть задан как перечисляемый тип, значения которого - одно или оба - "default" и "preserve". Например:

<!ATTLIST poem  xml:space (default|preserve) 'preserve'>

<!ATTLIST pre xml:space (preserve) #FIXED 'preserve'>

Значение "default" сигнализирует, что для данного элемента принимаются режимы обработки по умолчанию пробелов в данном приложении; значение "preserve" означает указание приложению сохранить все пробелы. Это объявленное указание учитывается для применения ко всем элементам внутри содержимого элемента там, где это специфицировано, если только оно не переопределяется другим экземпляром атрибута xml:space.

В данной спецификации нет иных значений xml:space, кроме "default" и "preserve". Специфицирование других значений является ошибкой; XML-процессор МОЖЕТ сообщить об ошибке и МОЖЕТ исправлять её путём игнорирования спецификации атрибута или сообщая приложению об (ошибочном) значении. Приложения могут игнорировать или отбрасывать ошибочные значения.

Корневой элемент любого документа считается не имеющим никаких указаний относительно обработки пробелов приложением, если он не предоставляет значение для данного атрибута или если атрибут не объявлен внутри значения по умолчанию.

2.11 Обработка конца строки

Разбираемые мнемоники XML часто хранятся в компьютерных файлах, которые, для удобства редактирования, организуются в строки. Эти строки обычно разделяются определёнными сочетаниями символов ВОЗВРАТА КАРЕТКИ (#xD) и ПЕРЕВОДА СТРОКИ (#xA).

Для упрощения задач приложения XML-процессор ОБЯЗАН раюотать так, будто он нормализовал все переводы строки во внешних разбираемых мнемониках (включая мнемонику document) при вводе, перед разбором, транслируя двухсимвольные последовательности #xD #xA и любые #xD, после которых не идёт символ #xA, в одиночный символ #xA.

2.12 Идентификация языка

При обработке документа часто используется идентификация естественного или формального языка, на котором написано содержимое. Специальный атрибут xml:lang может быть вставлен в документ, чтобы специфицировать язык, используемый в содержимом и значениях атрибутов любого элемента в XML-документа. В правильных документах этот атрибут, как и любой другой, ОБЯЗАН быть объявлен, если используется. Значениями атрибута являются идентификаторы языка, как определено в [IETF RFC 1766], Tags for the Identification of Languages, или его преемниках; кроме того, может быть специфицирована пустая строка.

(Продукты с 33 по 38 удалены.)

Например:

<p xml:lang="en">The quick brown fox jumps over the lazy dog.</p>
<p xml:lang="en-GB">What colour is it?</p>
<p xml:lang="en-US">What color is it?</p>
<sp who="Faust" desc='leise' xml:lang="de">
  <l>Habe nun, ach! Philosophie,</l>
  <l>Juristerei, und Medizin</l>
  <l>und leider auch Theologie</l>
  <l>durchaus studiert mit heiГџem Bemüh'n.</l>
</sp>

Язык, специфицированный в xml:lang, применяется в элементе, там, где специфицировано (включая значения его атрибутов) и ко всем элементам содержимого, если только не переопределён другим экземпляром  xml:lang. Конкретнее, пустое значение xml:lang используется в элементе В для переопределения спецификации содержащего (внешнего)  элемента А без специфицирования другого языка.

Внутри B считается, что доступной информации о языке нет, как если бы xml:lang не был специфицирован или в B или любом из его предков. Само приложение определяет, какие значения атрибутов и какие части символьного содержимого, если оно имеется, считать зависимыми от языковых значений, описанных атрибутом xml:lang.

Простое объявление  xml:lang  может иметь форму

xml:lang CDATA #IMPLIED

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

<!ATTLIST poem   xml:lang CDATA 'fr'>
<!ATTLIST gloss  xml:lang CDATA 'en'>
<!ATTLIST note   xml:lang CDATA 'en'>

3.1 Начальные и конечные тэги, тэги "пустых" элементов

[Определение: Начало каждого непустого XML-элемента обозначается начальным тэгом.]

Start-tag/Начальный тэг

Name в начальном и конечном тэгах задаёт тип элемента.
[Определение: Пары Name-AttValue (Имя-Значение атрибута) называются спецификациями атрибутов элемента],
[Определение: с Name в каждой паре, называемым именем атрибута] и
[Определение: содержимым AttValue (текстом между ограничителями ' или ") в качестве значения атрибута.]
Обратите внимание, что порядок спецификации атрибутов в начальном тэге или в тэге пустого элемента не имеет значения.

Пример начального тэга:

<termdef id="dt-dog" term="dog">

[Определение: окончание каждого элемента, начатого начальным тэгом, ОБЯЗАНО быть отмечено конечным тэгом, содержащим имя, отражающее тип элемента, как оно было задано в начальном тэге:]

End-tag\Конечный тэг

Пример конечного тэга:

</termdef>

[Определение: Текст между начальным и конечным тэгами называется содержимым элемента:]

Содержимое элементов

[Определение: Элемент без содержимого называется пустым/empty.] Пустой элемент представлен либо начальным тэгом, после которого непосредственно следует конечный тэг, либо тэгом пустого элемента.
[Определение: Тэг пустого элемента имеет особую форму:]

Тэгт пустых элементов

Тэги пустого элемента могут использоваться для любого элемента, не имеющего содержимого, независимо от того, объявлен он ключевым словом EMPTY или нет.
Для целей взаимодействия тэг пустого элемента ДОЛЖЕН использоваться (и только он ДОЛЖЕН использоваться) для тех элементов, которые объявлены как EMPTY.

Примеры пустых элементов:

<IMG align="left"
 src="http://www.w3.org/Icons/WWW/w3c_home" />
<br></br>
<br/>

3.2 Обявления типа документа

Структура элемента XML-документа может, для целей проверки, быть ограничена путём использования объявлений типа элемента и списка атрибутов. Объявление типа элемента ограничивает содержимое элемента.

Объявление типа элемента часто ограничивает типы элементов, которые могут появляться в качестве потомков данного элемента. Процессор XML, по выбору пользователя, МОЖЕТ выдавать предупреждение, если в объявлении упоминается тип элемента, для которого отсутствует объявление, но это не является ошибкой.

[Определение: Объявление Типа Элемента имеет форму:]

Обявление типа элемента

where the Name gives the element type being declared.

Примеры объявлений типов элементов:

<!ELEMENT br EMPTY>
<!ELEMENT p (#PCDATA|emph)* >
<!ELEMENT %name.para; %content.para; >
<!ELEMENT container ANY>

<!ELEMENT spec (front, body, back?)>
<!ELEMENT div1 (head, (p | list | note)*, div2*)>
<!ELEMENT dictionary-body (%div.mix; | %dict.mix;)*>

<!ELEMENT p (#PCDATA|a|ul|b|i|em)*>
<!ELEMENT p (#PCDATA | %font; | %phrase; | %special; | %form;)* >
<!ELEMENT b (#PCDATA)>

3.3 Объявления списка атрибутов

Атрибуты используются для ассоциирования пар имя-значение с элементами. Спецификации атрибутов ОБЯЗАНЫ НЕ появляться вне начальных тэгов и тэгов пустых элементов; таким образом, продукты/productions, используемые для их распознавания, появляются в 3.1 Начальныз и конечныз тэгах, тэгах пустых элементов. Объявления списков атрибутов могут использоваться:

• Для определения набора атрибутов, относящихся к данному типу элемента.

• Для установки ограничений типа для этих атрибутов.

• Для предоставления атрибутам значений по умолчанию.

[Определение: Объявления списка атрибутов специфицируют имя, тип данных и значение по умолчанию (если имеется) каждого атрибута, ассоциированного с данным типом элемента:]

Объявление списка атрибутов

Name в правиле AttlistDecl - это тип элемента. По выбору пользователя XML-процессор МОЖЕТ выдавать предупреждение, если атрибуты объявляются для типа элемента, который сам не объявлен, но это не является ошибкой. Name в правиле AttDef - это имя атрибута.

Если для данного типа элемента предоставлено более одного AttlistDecl, то их всех содержимое объединяется. Если для одного атрибута данного типа элемента предоставлено более одного определения, то первое объявление принимается, а остальные игнорируются. Для целей взаимодействия создатели ОТД могут избрать предоставление максимум одного объявления списка атрибутов для данного типа элемента, максимум одного определения атрибута для данного имени атрибута в объявлении списка атрибутов и минимум одного определения атрибута в каждом объявлении списка атрибутов. Для целей взаимодействия, XML-процессор МОЖЕТ, по выбору пользователя, выдавать предупреждение, если даётся более одного объявления списка атрибутов для данного типа элемента или дано более одного определения атрибута для данного атрибута, но это не является ошибкой.

<!ATTLIST termdef
          id      ID      #REQUIRED
          name    CDATA   #IMPLIED>
<!ATTLIST list
          type    (bullets|ordered|glossary)  "ordered">
<!ATTLIST form
          method  CDATA   #FIXED "POST">

<!ENTITY d "&#xD;">
<!ENTITY a "&#xA;">
<!ENTITY da "&#xD;&#xA;">

a="

xyz"

x y z

#x20 #x20 x y z

a="&d;&d;A&a; &a;B&da;"

A #x20 B

#x20 #x20 A #x20 #x20 #x20 B #x20 #x20

a=
"

A

B
"

#xD #xD A #xA #xA B #xD #xA

#xD #xD A #xA #xA B #xD #xA

3.4 Разделы условий

[Определение: Разделы условий/Conditional sections являются частью внешнего поднабора объявления типа документа или мнемоники внешнего параметра, и включены или исключены из логической структуры ОТД, базирующейся на ключевом слове, которое ими управляет.]

Раздел условий

Подобно внешним и внутренним поднаборам ОТД, секция условий может содержать одно или более полных объявлений, комментарии, инструкции процессинга или вложенные секции условий, перемежаемые пробелами.

Если ключевое слово в секции условий - INCLUDE, тогда содержимое секции условий ОБЯЗАНО быть обработано как часть ОТД. Если ключевое слово в секции условий - IGNORE, тогда содержимое секции условий ОБЯЗАНО НЕ обрабатываться как часть ОТД. Если секция условий с ключевым словом INCLUDE появляется внутри большей секции условий с ключевым словом IGNORE, то обе секции - внешняя и внутренняя - ОБЯЗАНЫ игнорироваться. Содержимое игнорируемой секции условий ОБЯЗАНО быть разобрано с игнорированием всех символов после "[", следующей за последующим ключевым словом, исключая начала "<![" и концы "]]>" секций условий, пока не будет достигнут соответствующий конец секции условий. Ссылки на мнемоники параметра ОБЯЗАНЫ НЕ распознаваться этим процессом.

Если ключевое слово секции условий является ссылкой на мнемонику параметра, то эта МП ОБЯЗАНА быть замещена её содержимым до того, как процессор определит, включать или игнорировать эту секцию условий.

Пример:

<!ENTITY % draft 'INCLUDE' >
<!ENTITY % final 'IGNORE' >

<![%draft;[
<!ELEMENT book (comments*, title, body, supplements?)>
]]>
<![%final;[
<!ELEMENT book (title, body, supplements?)>
]]>

4.1 Ссылки на символы и мнемоники

[Определение: ссылка на символ ссылается на специфический символ в наборе символов ISO/IEC 10646, например, ссылка на символ, не доступный напрямую из устройства ввода.]

Ссылка на символ

Если ссылка символа начинается с "&#x", цифры и буквы вплоть до конечного ; дают 16-ричное представление кодовой точки входа символа ISO/IEC 10646. Если она начинается просто с "&#", то цифры вплоть до конечного ; дают 10-ричное представление кодовой точки входа символа.

[Определение: ссылка на мнемонику ссылается на содержимое именованной мнемоники.]
[Определение: ссылки на общие разбираемые мнемоники используют амперсанд (&) и точку с запятой (;) в качестве разделителей.]
[Определение: ссылка на мнемонику параметра использует знак процента (%) и точку с запятой (;) в качестве разделителей.]

Ссылка еа мнемонику

Примеры ссылок на символы и мнемоники:

Type <key>less-than</key> (&#x3C;) to save options.
This document was prepared on &docdate; and
is classified &security-level;.

Пример ссылки на мнемонику параметра:

<!-- declare the parameter entity "ISOLat2"... -->
<!ENTITY % ISOLat2
         SYSTEM "http://www.xml.com/iso/isolat2-xml.entities" >
<!-- ... now reference it. -->
%ISOLat2;

4.2 Объявления мнемоник

[Определение: Мнемоник объявляются так:]

Объявление мнемоники

Name идентифицирует мнемонику в ссылке на мнемонику или, в случае неразбираемой мнемоники, в значении атрибута ENTITY или ENTITIES. Если одна и та же мнемоника объявлена более одного раза, первое обнаруженное объявление подключается; по выбору пользователя процессор XML может выдавать предупреждение, если мнемоники объявляются несколько раз.

<!ENTITY Pub-Status "This is a pre-release of the
 specification.">

<!ENTITY open-hatch
         SYSTEM "http://www.textuality.com/boilerplate/OpenHatch.xml">
<!ENTITY open-hatch
         PUBLIC "-//Textuality//TEXT Standard open-hatch boilerplate//EN"
         "http://www.textuality.com/boilerplate/OpenHatch.xml">
<!ENTITY hatch-pic
         SYSTEM "../grafix/OpenHatch.gif"
         NDATA gif >

4.3 Разбираемые мнемоники

<?xml encoding='UTF-8'?>
<?xml encoding='EUC-JP'?>

4.4 Обработка мнемоник и ссылок XML-процессором

В таблице, приведённой ниже, суммирована контексты, в которых символьные ссылки, ссылки на мнемоники и вызовы неразбираемых мнемоник могут появляться, и ТРЕБУЕМОЕ поведение XML-процессора в каждом случае. Метки в самом левом столбце описывают контекст распознавания:

ссылка в содержимом

как ссылка где-либо после начального тэга и перед конечным тэгом элемента; соответствует нетерминальному содержимому.

ссылка в значении атрибута

как ссылка или в значении атрибута в начальном тэге, или как значение по умолчанию в объявлении атрибута; соответствует нетерминальному AttValue.

появляется как значение атрибута

как Name, не ссылка, появляющееся или как значение атрибута, который объявлен как тип ENTITY, или как одна из трёх разделённых пробелами лексем - в значении атрибута, который объявлен как тип ENTITIES.

ссылка в значении экземпляра

как ссылка в литеральном значении экземпляра в объявлении экземпляр параметра или внутреннего экземпляра; соответствует нетерминальному EntityValue.

ссылка в ОТД

как ссылка внутри внешнего или внутреннего поднабора ОТД, но вне EntityValue, AttValue, PI, Comment, SystemLiteral, PubidLiteral или содержимого игнорируемой разделом условий (см. 3.4 Разделы условий).

<!ENTITY % YN '"Yes"' >
<!ENTITY WhatHeSaid "He said %YN;" >

<!ENTITY EndAttr "27'" >
<element attribute='a-&EndAttr;>

4.5 Конструкция замещающего текста для Внутренней Мнемоники

При рассмотрении работы с внутренними мнемониками необходимо различать две формы значений мнемоники.
[Определение: для внутренней мнемоники литеральное значение мнемоники это закавыченная строка, реально представленная в объявлении мнемоники, соответствующая нетерминальному EntityValue.]
[Определение: для внешней мнемоники литеральное значение мнемоники это точно тот же текст, который содержится в этой мнемонике.]
[Определение: для внешней мнемоники замещеющий текст это содержимое этой мнемоники после вырезки объявления текста (с оставлением окружающих пробелов), если оно имеется, но без замещения ссылок на символы или мнемоники параметров.]

Литеральное значение мнемоники, данное в объявлении внутренней мнемоники (EntityValue), может содержать ссылки на символы, мнемоники параметров и общую мнемонику. Такие ссылки ОБЯЗАНЫ содержаться полностью внутри литерального значения мнемоники. Реальный замещающий текст, который включается (или включается в литерал) так, как описано выше, ОБЯЗАН содержать замещающий текст любой мнемоники параметра, на которую имеется ссылка, и ОБЯЗАН содержать символ, на который имеется ссылка, вместо любых ссылок на символы в литеральном значении мнемоники; однако на ссылки общую мнемонику ОБЯЗАНЫ быть оставлены без изменений, неразвёрнутыми. Например, если имеется следующее объявление:

<!ENTITY % pub    "&#xc9;ditions Gallimard" >
<!ENTITY   rights "All rights reserved" >
<!ENTITY   book   "La Peste: Albert Camus,
&#xA9; 1947 %pub;. &rights;" >

то замещающий текст для мнемоники "book" будет:

La Peste: Albert Camus,
В© 1947 Г‰ditions Gallimard. &rights;

Ссылка на общую мнемонику "&rights;", которая должна быть развёрнута, заставляет ссылку "&book;" появиться в содержимом документа или в значении атрибута.

Эти простые правила могут приводить к сложному взаимодействию; детальное обсуждение сложного примера см. в разделе D Развёртывание ссылок на мнемоники и символы

4.6 Предопределённые мнемоники

[Определение: ссылки на мнемоники м символы могут использоваться для мнемонизации/еscape левой угловой скобки, амперсанда и других ограничителей. Для этих целей специфицирован набор общих мнемоник (amp, lt, gt, apos, quot). Цифровые мнемоники могут также использоваться; они развёртываются сразу при обнаружении и ОБЯЗАНЫ рассматриваться как символьные данные, так что цифровые мнемоники "<" и "&" могут использоваться для мнемонизации < и &, если эти знаки появляются в символьных данных.]

Все XML-процессоры ОБЯЗАНЫ распознавать эти мнемоники независимо от того, объявлены они, или нет. Для целей взаимодействия правильные XML-документы должны объявлять эти мнемоники, как и любые другие, до их использования. Если мнемоники lt или amp объявляются, то они ОБЯЗАНЫ быть объявлены как внутренние мнемоники, чей замещающий текст является ссылкой на соответствующий символ (знак "меньше-чем" или амперсанд), который мнемонизируется; для этих экземпляров ТРЕБУЕТСЯ двойная мнемонизация, чтобы получить правильно сформированный результат. Если мнемоники gt, apos или quot объявляются, они ОБЯЗАНЫ быть объявлены как внутренние мнемоники, чей замещающий текст представляет из себя одиночный мнемонизируемый символ (или символьную ссылку на этот символ; двойная мнемонизация ОПЦИОННА, но и не повредит). Например:

<!ENTITY lt     "&#38;#60;">
<!ENTITY gt     "&#62;">
<!ENTITY amp    "&#38;#38;">
<!ENTITY apos   "&#39;">
<!ENTITY quot   "&#34;">

4.7 Объявления нотации

[Определение: нотации идентифицируют по имени формат неразбираемых мнемоник, формат элементов, которые породили атрибут нотации, или приложение, которому адресуется инструкция процессинга.]

[Определение: объявления нотации предоставляют имя нотации для использования в объявлениях мнемоники и списка атрибутов и в спецификациях атрибутов, а также внешний идентификатор для нотации, который может позволить XML-процессору или его клиентскому приложению локализовать вспомогательное приложение, способное обработать данные в этой нотации.]

Объявления нотации

XML-процессоры ОБЯЗАНЫ предоставлять приложениям имена и внешний(е) идентификатор(ы) любой объявленной нотации, на которую есть ссылки в значении атрибута, определении атрибута или в объявлении мнемоники. Дополнительно они (процессоры) МОГУТ разворачивать внешний идентификатор в системный идентификатор, имя файла или другую информацию, необходимую для того, чтобы дать приложению возможность вызывать процессор для данных в описанной нотации. (Не является ошибкой, для XML-документов, объявление и обращение к нотациям, для которых специфическое для каждой нотации приложение недоступно в системе, где XML-процессор или приложение запущены и работают.)

4.8 Мнемоника документа

[Определение: мнемоника документа служит корневым объектом дерева мнемоник и стартовой точкой для XML-процессора.] Данная спецификация не определяет, как мнемоника документа локализуется XML-процессором; в отличие от других мнемоник, мнемоника документа не имеет имени и может даже появиться во входном потоке процессора вообще без идентификации.

5.1 Проверяющие и непроверяющие процессоры

Соответствующие XML-процессоры делятся на два класса: проверяющие и непроверяющие.

Проверяющие и непроверяющие процессоры оба ОБЯЗАНЫ выводить сообщения о нарушениях ограничений правильно сформированности данной спецификации в содержимом мнемоники документа и любых других разбираемых мнемониках, которые они читают.

[Определение: проверяющие процессоры ОБЯзАНЫ, по выбору пользователя, сообщать о нарушениях ограничений, выраженных объявлениями в ОТД, и невозможности выполнения ограничений правильности, данных в этой спецификации.] Чтобы выполнить это, проверяющие XML-процессоры ОБЯЗАНЫ читать и обрабатывать всё ОТД и все внешние разбираемые мнемоники, на которые имеются ссылки в документе.

От непроверяющих процессоров ТРЕБУЕТСЯ лишь проверить мнемонику документа, включая весь внутренний поднабор ОТД, на предмет правильного формирования.

[Определение: Поскольку не требуется проверять документ на правильность/верность, ТРЕБУЕТСЯ обработать все объявления, прочитанные во внутреннем поднаборе ОТД и во всех мнемониках параметров, которые прочитаны, до первой ссылки на мнемонику параметра, который не прочитан; то есть информация в этих объявлениях ОБЯЗАНА использоваться для нормализации значений атрибутов, включения замещающего текста внутренних мнемоник, и поддержки значений по умолчанию в атрибутах.] Исключая случай standalone="yes", непроверяющие процессоры ОБЯЗАНЫ НЕ обрабатывать объявления мнемоник или объявления списков атрибутов, обнаруженные после ссылки на мнемонику параметра, который не прочитан, поскольку эта мнемоника может содержать переопределяющие объявления; когда standalone="yes", процессоры ОБЯЗАНЫ обрабатывать эти объявления.

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

5.2 Использование XML-процессоров

Поведение проверяющего XML-процессора в высшей степени предсказуемо: он обязан читать каждый участок документа и сообщать обо всех нарушениях правильной сформированности и проверки. Требования к непроверяющему процессору ниже: он не должен читать части документа, кроме мнемоники документа. Здесь отметим два момента, которые могут быть важны для пользователей XML-процессоров:

• Некоторые ошибки правильного формирования, особенно те, которые требуют прочтения внешних мнемоник, не могут быть обнаружены непроверяющим процессором. В качестве примера можно назвать ограничения, называемые Мнемоника Объявлена, Разбираемая Мнемоника и Нет Рекурсии, а также некоторые из случаев, описанных как "запрещённый" в разделе  4.4 Обработка мнемоник и ссылок XML-процессором.

• Информация, передаваемая от процессора приложению, может варьироваться в зависимости от того, читает ли процессор мнемоники параметров и внешние мнемоники. Например, непроверяющий процессор может не нормализовать значения атрибутов, не включать замещающий текст внешних мнемоник или не поддерживать значения по умолчанию в атрибутах, поскольку выполнение этих действий зависит от возможности чтения объявления во внешних мнемониках и в мнемониках параметров.

Для максимального обеспечения надёжности взаимодействия между различными XML-процессорами, приложения, использующие непроверяющие процессоры, не должны полагаться на поведение, не обязательное для таких процессоров. Приложения, требующие использования возможностей ОТД, не относящихся к проверке (таких как объявление атрибутов по умолчанию и внутренние мнемоники, которые являются или могут быть специфицированы во внешних мнемониках) ДОЛЖНЫ использовать проверяющие XML-процессоры.