Элемент
| [39] | element | ::= | ||
| | | ||||
Данная спецификация не ограничивает семантику, порядок использования (за исключением синтаксиса), выбор имен для атрибутов и типов элементов. Ограничение заключается в том, что имена, чье начало соответствует шаблону (('X'|'x')('M'|'m')('L'|'l')), зарезервированы для стандартизации в текущей и последующих версиях данной спецификации.
Ограничение корректности: Соответствие типов элементов
Параметр в конечном тэге элемента должен соответствовать типу элемента в начальном тэге.
Ограничение действительности: Действительность элемента
Элемент считается действительным, если имеется декларация, соответствующая , в которой параметр соответствует типу элемента, а также выполняется одно из следующих условий:
Декларация соответствует EMPTY, а элемент не имеет .
Декларация соответствует элемента, а последовательность его непосредственных , принадлежит языку, генерируемому регулярным выражением в модели содержимого с необязательным пробельным символом (символами, соответствующими неграничному ) между начальным тэгом и первым из непосредственных элементов-потомков, между элементами-потомками, между последним элементом-потомком и закрывающим тэгом. Заметим, что в секция CDATA, содержащая лишь пробельный символ, не соответствуют нетерминальному , а следовательно в указанных позициях появиться не может.
Декларация соответствует , а содержимое состоит из и , тип которых соответствует именам в модели содержимого.
Декларация соответствует ANY, и был декларирован тип всех .
