XML-Technologien / XML / XML in a Nutshell / XML-Referenz / Grammatik eines XML 1.0-Dokuments

Grammatik eines XML 1.0-Dokuments

(Auszug aus "XML in a Nutshell" von Elliotte Rusty Harold & W. Scott Means)

Die folgende Grammatik im Extended Backus-Naur-Format (EBNF) stammt aus der XML 1.0-Empfehlung, dritte Auflage. Sie enthält alle Produktionsregeln und beschreibt komplett die Syntax, die von XML 1.0-konformen Parsern akzeptiert wird. Jede Produktionsregel wurde nummeriert; Querverweise zwischen den Regeln erkennt man an den hochgestellten Zahlen.

EBNF-Grammatik für XML 1.0

Dokument

[1] document ::= prolog²² element³⁹ Misc^27*

Gültige Zeichen

[2] Char ::= #x9 | #xA | #xD | [#x21-#xD7FF] | [#xE000-#xFFFD] | [#x10000-#x10FFFF] /* jedes Unicode-Zeichen außer den Surrogat-Blöcken FFFE und FFFF */

Whitespace (Leerraum)

[3] S ::= (#x20 | #x9 | #xD | #xA)+

Namen und Token

[4] NameChar ::= Letter⁸⁴ | Digit⁸⁸ | '.' | '-' | '_' | ':' | CombiningChar⁸⁷ | Extender⁸⁹
[5] Name ::= (Letter⁸⁴ | '_' | ':') (NameChar⁴)*
[6] Names ::= Name⁵ (#x20 Name⁵)*
[7] Nmtoken ::= (NameChar⁴)+
[8] Nmtokens ::= Nmtoken⁷ (#x20 Nmtoken⁷)*

Literale

Textdaten

[14] CharData ::= [^<&]* - ([^<&]* ']]>' [^<&]*)

Kommentare

[15] Comment ::= ''

Verarbeitungsanweisungen

[16] PI ::= '<?' PITarget¹⁷ (S (Char²* - (Char²* '?>' Char²*)))? '?>'
[17] PITarget ::= Name⁵ - (('X' | 'x') ('M' | 'm') ('L' | 'l'))

CDATA-Abschnitte

[18] CDSect ::= CDStart¹⁹ CData²⁰ CDEnd²¹
[19] CDStart ::= '<![CDATA['
[20] CData ::= (Char²* - (Char²* ']]>' Char²*))
[21] CDEnd ::= ']]>'

Prolog

[22] prolog ::= XMLDecl²³? Misc²⁷* (doctypedecl²⁸ Misc²⁷*)?
[23] XMLDecl ::= '<?xml' VersionInfo²⁴ EncodingDecl⁸⁰? SDDecl³²? S³? '?>'
[24] VersionInfo ::= S³ 'version' Eq ("'" VersionNum²⁶ "'" | '"' VersionNum²⁶ '"')
[25] Eq ::= S³? '=' S³?
[26] VersionNum ::= '1.0'
[27] Misc ::= Comment¹⁵ | PI¹⁶ | S³

Dokumenttyp-Definition

Externe Teilmenge

[30] extSubset ::= TextDecl⁷⁷? extSubsetDecl³¹
[31] extSubsetDecl ::= ( markupdecl²⁹ | conditionalSect⁶¹ | DeclSep^28a)*

Allein stehende Dokument-Deklaration

[32] SDDecl ::= S³ 'standalone' Eq (("'" ('yes' | 'no') "'") | ('"' ('yes' | 'no') '"'))

Element

[39] element ::= EmptyElemTag⁴⁴ | STag⁴⁰ content⁴³ ETag⁴²

Start-Tag

[40] STag ::= '<' Name⁵( S³ Attribute⁴¹)* S³? '>'
[41] Attribute ::= Name⁵ Eq²⁵ AttValue¹⁰

End-Tag

[42] ETag ::= '</' Name⁵ S³? '>'

Elementinhalte

[43] content ::= CharData¹⁴? (( element³⁹ | Reference⁶⁹ | CDSect¹⁸ | PI¹⁶ | Comment¹⁵) CharData¹⁴?)*

Tags für leere Elemente

[44] EmptyElemTag ::= '<' Name⁵ (S³ Attribute⁴¹)* S³? '/>'

Deklaration des Elementtyps

[45] elementdecl ::= '<!ELEMENT' S³ Name⁵ S³ contentspec⁴⁶ S³? '>'
[46] contentspec ::= 'EMPTY' | 'ANY' | Mixed⁵¹ | children⁴⁷

Modelle von Elementinhalten

[47] children ::= (choice⁴⁹ | seq⁵⁰) ('?' | '*' | '+')?
[48] cp ::= (Name⁵ | choice⁴⁹ | seq⁵⁰) ('?' | '*' | '+')?
[49] choice ::= '(' S³? cp⁴⁸ ( S³? '|' S³? cp⁴⁸)+ S³? ')'
[50] seq ::= '(' S³? cp⁴⁸( S³? ',' S³? cp⁴⁸)* S³? ')'

Deklaration von gemischtem Inhalt

[51] Mixed ::= '(' S³? '#PCDATA' (S³? '|' S³? Name⁵)* S³? ')*' | '(' S³? '#PCDATA' S³? ')'

Deklaration von Attributlisten

[52] AttlistDecl ::= '<!ATTLIST' S³ Name⁵ AttDef⁵³* S³? '>'
[53] AttDef ::= S³ Name⁵ S³ AttType⁵⁴ S³ DefaultDecl⁶⁰

Attributtypen

Attribute mit aufzählenden Typen

[57] EnumeratedType ::= NotationType⁵⁸ | Enumeration⁵⁹
[58] NotationType ::= 'NOTATION' S³'(' S³? Name⁵( S³? '|' S³? Name⁵)* S³? ')'
[59] Enumeration ::= '(' S³? Nmtoken⁷( S³? '|' S³? Nmtoken⁷)* S³? ')'

Default-Werte von Attributen

[60] DefaultDecl ::= '#REQUIRED' | '#IMPLIED' | (('#FIXED' S³)? AttValue¹⁰)

Bedingte Abschnitte

[61] conditionalSect ::= includeSect⁶² | ignoreSect⁶³
[62] includeSect ::= '<![' S³? 'INCLUDE' S³? '[' extSubsetDecl³¹']]>'
[63] ignoreSect ::= '<![' S³? 'IGNORE' S³? '[' ignoreSectContents⁶⁴* ']]>'
[64] ignoreSectContents ::= Ignore⁶⁵('<![' ignoreSectContents⁶⁴']]>' Ignore⁶⁵)*
[65] Ignore ::= Char²* - ( Char²* ('<![' | ']]>') Char²*)

Zeichen-Referenz

[66] CharRef ::= '&#' [0-9]+ ';' | '&#x' [0-9a-fA-F]+ ';'

Referenz auf ein Entity

[67] Reference ::= EntityRef⁶⁸ | CharRef⁶⁶
[68] EntityRef ::= '&' Name⁵';'
[69] PEReference ::= '%' Name⁵';'

Entity-Deklaration

[70] EntityDecl ::= GEDecl⁷¹ | PEDecl⁷²
[71] GEDecl ::= '<!ENTITY' S³ Name⁵ S³ EntityDef⁷³ S³? '>'
[72] PEDecl ::= '<!ENTITY' S³'%' S³ Name⁵ S³ PEDef⁷⁴ S³? '>'
[73] EntityDef ::= EntityValue⁹ | ( ExternalID⁷⁵ NDataDecl⁷⁶?)
[74] PEDef ::= EntityValue⁹ | ExternalID⁷⁶

Externe Entity-Deklaration

[75] ExternalID ::= 'SYSTEM' S³ SystemLiteral¹¹ | 'PUBLIC' S³ PubidLiteral¹² S³ SystemLiteral¹¹
[76] NDataDecl ::= S³ 'NDATA' S³ Name⁵

Text-Deklaration

[77] TextDecl ::= '<?xml' VersionInfo²⁴? EncodingDecl⁸⁰ S³? '?>'

Wohlgeformtes, externes geparstes Entity

[78] extParsedEnt ::= TextDecl⁷⁷? content⁴³

Kodierungsdeklaration

[80] EncodingDecl ::= S³ 'encoding' Eq²⁵ ('"' EncName⁸¹'"' | "'" EncName⁸¹"'" )
[81] EncName ::= [A-Za-z] ([A-Za-z0-9._] | '-')* /* Encoding name contains only Latin characters */

Notationsdeklaration

[82] NotationDecl ::= '<!NOTATION' S³ Name⁵ S³ (ExternalID⁷⁵ | PublicID⁸³) S³? '>'
[83] PublicID ::= 'PUBLIC' S³ PubidLiteral¹²

Zeichen

<< zurück

vor >>

Tipp der data2type-Redaktion:
Zum Thema XML bieten wir auch folgende Schulungen zur Vertiefung und professionellen Fortbildung an:

Copyright © 2005 O'Reilly Verlag GmbH & Co. KG
Für Ihren privaten Gebrauch dürfen Sie die Online-Version ausdrucken.
Ansonsten unterliegt dieses Kapitel aus dem Buch "XML in a Nutshell" denselben Bestimmungen, wie die gebundene Ausgabe: Das Werk einschließlich aller seiner Teile ist urheberrechtlich geschützt. Alle Rechte vorbehalten einschließlich der Vervielfältigung, Übersetzung, Mikroverfilmung sowie Einspeicherung und Verarbeitung in elektronischen Systemen.

O’Reilly Verlag GmbH & Co. KG, Balthasarstraße 81, 50670 Köln, kommentar(at)oreilly.de