XML Path Language (XPath) Version 1.0 Deutsche, kommentierte �bersetzung 26. Februar 2002 Dies ist die deutsche �bersetzung der W3C-Empfehlung "XML Path Language (XPath)" vom 16. November 1999. Bitte beachten Sie, dass dieses Dokument �bersetzungsfehler enthalten kann. Die normative englische Version des Dokuments befindet sich unter http://www.w3.org/TR/1999/REC-xpath-19991116 Bitte schicken Sie Fehler in dieser �bersetzung oder Verbesserungsvorschl�ge an den �bersetzer. Diese Version: http://www.obqo.de/w3c-trans/xpath-de-20020226 http://www.edition-w3c.de/TR/1999/REC-xpath-19991116 (verf�gbar als XML oder HTML) Aktuelle Version: http://www.obqo.de/w3c-trans/xpath-de http://www.edition-w3c.de/TR/xpath Vorherige Version: http://www.obqo.de/w3c-trans/xpath-de-20010910 �bersetzer: Oliver Becker Dieses Dokument ist urheberrechtlich gesch�tzt, Copyright � 1999–2002 W3C� (MIT, INRIA, Keio), alle Rechte vorbehalten. Die Rechte an dieser �bersetzung liegen beim �bersetzer, Copyright � 2002 Oliver Becker.

XML Path Language (XPath)
Version 1.0

Empfehlung des W3C, 16. November 1999

Diese Version:

http://www.w3.org/TR/1999/REC-xpath-19991116
(verf�gbar als XML oder HTML)

Aktuelle Version:

http://www.w3.org/TR/xpath

Vorherige Versionen:

http://www.w3.org/TR/1999/PR-xpath-19991008
http://www.w3.org/1999/08/WD-xpath-19990813
http://www.w3.org/1999/07/WD-xpath-19990709
http://www.w3.org/TR/1999/WD-xslt-19990421

Herausgeber:

James Clark
Steve DeRose (Inso Corp. and Brown University)

Copyright ��� 1999 W3C (MIT, INRIA, Keio), All Rights Reserved. Es gelten die W3C-Regeln zu Haftung, Warenzeichen und Verwendung des Dokuments sowie die Lizenzregeln f�r Software.

---

Zusammenfassung

Die Sprache XPath dient zur Adressierung von Teilen eines XML-Dokuments. Sie wurde f�r die Verwendung sowohl in XSLT als auch in XPointer entworfen.

Status dieses Dokuments

Dieses Dokument wurde von Mitgliedern des W3C und anderen Interessierten gepr�ft und vom Direktor als W3C-Empfehlung gebilligt. Es ist ein abgeschlossenes Dokument und darf als Referenzmaterial verwendet oder als normative Referenz von einem anderen Dokument zitiert werden. Die Rolle des W3C bei der Erstellung dieser Empfehlung ist es, die Spezifikation bekannt zu machen und ihre breite Anwendung zu f�rdern. Dies erh�ht die Funktionsf�higkeit und Interoperabilit�t des Web.

Die Liste der bekannten Fehler in dieser Spezifikation ist unter http://www.w3.org/1999/11/REC-xpath-19991116-errata verf�gbar.

Anmerkungen zu dieser Spezifikation k�nnen an [email protected] geschickt werden; alle Anmerkungen sind in einem Archiv verf�gbar.

Die englische Version dieser Spezifikation ist die einzig normative Version. Allerdings werden �bersetzungen dieses Dokuments unter http://www.w3.org/Style/XSL/translations.html aufgef�hrt.

Aktuelle W3C-Empfehlungen und weitere technische Dokumente sind unter http://www.w3.org/TR zu finden.

Diese Spezifikation ist das Ergebnis der gemeinsamen Arbeit der XSL- und der XML-Linking-Arbeitsgruppen und damit Teil der W3C Style Activity und der W3C XML Activity.

Inhaltsverzeichnis

Anhang

1 Einleitung

XPath ist das Ergebnis der Bem�hungen, eine gemeinsame Syntax und Semantik f�r jene Funktionen bereitzustellen, die sowohl von XSL Transformations [XSLT] als auch von XPointer [XPointer] genutzt werden. Die prim�re Aufgabe von XPath besteht in der Adressierung von Teilen eines XML-Dokuments [XML]. Zur Unterst�tzung dieser Aufgabe werden au�erdem einfache Hilfsmittel f�r die Manipulation von Zeichenketten, Zahlen und booleschen Werten bereitgestellt. XPath benutzt eine kompakte Nicht-XML-Syntax, um die Verwendung von XPath-Ausdr�cken innerhalb von URIs und XML-Attributen zu erleichtern. XPath operiert auf der abstrakten, logischen Struktur eines XML-Dokuments, nicht auf seiner �u�erlichen Syntax. Seinen Namen erh�lt XPath durch die Verwendung einer auch in URLs genutzten Pfad-Notation (path), mit der sich durch die hierarchische Struktur eines XML-Dokuments navigieren l�sst.

Neben der Verwendung f�r die Adressierung wurde XPath so gestaltet, dass eine nat�rliche Teilmenge davon zum Matching (Testen, ob ein Knoten auf ein Muster passt) genutzt werden kann. Diese Anwendung von XPath ist in XSLT beschrieben.

XPath modelliert ein XML-Dokument als einen Baum, der aus Knoten besteht. Es gibt verschiedene Knotentypen, unter anderem Elementknoten, Attributknoten und Textknoten. XPath definiert, wie der Zeichenkettenwert f�r jeden Knotentyp berechnet wird. Einige Knoten besitzen zus�tzlich einen Namen. XPath unterst�tzt in vollem Umfang XML-Namensr�ume [XML Names]. Daher wird der Name eines Knotens als ein Paar aus einem lokalen Bestandteil und einem gegebenenfalls leeren Namensraum-URI modelliert – dieses wird erweiterter Name genannt. Das Datenmodell ist detailliert in [5 Datenmodell] beschrieben.

Anmerkung des �bersetzers: Zur Veranschaulichung der durch XPath modellierten Baumstruktur soll folgendes Beispiel dienen: 200g Mehl Zuerst nehmen Sie das Mehl und mischen es mit ... Dieses recht kurze XML-Dokument besitzt bereits eine aus 23 Knoten bestehende Baumrepr�sentation: Die XML-Deklaration sowie die Dokumenttyp-Deklaration finden sich in der Baumdarstellung nicht wieder, auf sie kann �ber einen XPath-Ausdruck auch nicht zugegriffen werden. Alle anderen Bestandteile des Dokuments (Wurzel, Elemente, Textinhalt, Attribute, Namensr�ume, Kommentare, Processing Instructions) werden durch entsprechende Knoten des Baumes repr�sentiert. Die leeren Quadrate symbolisieren Textknoten, die ausschlie�lich Leerraumzeichen enthalten. Inwieweit sich solcher Leerraum in eigenen Textknoten wiederfindet, wird von der XPath nutzenden Anwendung bestimmt. Schlie�lich sei auf die implizit zu jedem Element geh�renden Namensraumknoten f�r den xml-Namensraum hingewiesen. Das Document Object Model [DOM] definiert ebenfalls eine Baumrepr�sentation, die allerdings in einigen Punkten von der in XPath verwendeten abweicht. Auf diese Unterschiede wird innerhalb des Kapitels [5 Datenmodell] eingegangen.

Das prim�re syntaktische Konstrukt in XPath ist der Ausdruck. Ein Ausdruck l�sst sich aus der Produktion Expr ableiten. Die Auswertung eines Ausdrucks ergibt ein Objekt, das zu einem der folgenden vier Grundtypen geh�rt:

• node-set (eine ungeordnete Menge von Knoten ohne Duplikate)
• boolean (wahr oder falsch)
• number (eine Gleitkommazahl)
• string (eine Zeichenkette bestehend aus UCS-Zeichen)

Ein Ausdruck wird immer bez�glich eines Kontextes ausgewertet. XSLT und XPointer spezifizieren, wie dieser Kontext bei der Verwendung von XPath-Ausdr�cken in XSLT bzw. XPointer bestimmt wird. Der Kontext besteht aus:

• einem Knoten (dem Kontextknoten)
• einem Paar von positiven ganzen Zahlen ungleich 0 (der Kontextposition und der Kontextgr��e)
• einer Menge von Variablenbelegungen
• einer Funktionsbibliothek
• den Namensraumdeklarationen, in deren G�ltigkeitsbereich der Ausdruck liegt

Die Kontextposition ist immer kleiner oder gleich der Kontextgr��e.

Die Variablenbelegungen bestehen aus einer Abbildung von Variablennamen auf Variablenwerte. Der Wert einer Variablen ist ein Objekt, welches von jedem beliebigen Typ sein kann, der f�r Ausdr�cke m�glich ist. Daneben sind auch weitere Typen m�glich, die hier nicht spezifiziert werden.

Die Funktionsbibliothek besteht aus einer Abbildung von Funktionsnamen auf Funktionen. Jede Funktion besitzt null oder mehr Argumente und liefert einen einzelnen Wert. Diese Spezifikation definiert eine Bibliothek von Grundfunktionen, die von allen XPath-Implementationen unterst�tzt werden muss (siehe [4 Bibliothek der Grundfunktionen]). Bei einer Grundfunktion geh�ren die Argumente und das Ergebnis einem der vier Grundtypen an. Sowohl XSLT als auch XPointer erweitern XPath um zus�tzliche Funktionen, von denen einige auf den vier Grundtypen, andere auf zus�tzlichen, durch XSLT und XPointer definierten Typen operieren.

Namensraumdeklarationen bestehen aus einer Abbildung von Pr�fixen auf Namensraum-URIs.

Die Variablenbelegungen, die Funktionsbibliothek und die Namensraumdeklarationen, die benutzt werden, um einen Teilausdruck zu berechnen, sind immer dieselben, die auch f�r den umgebenden Ausdruck benutzt werden. Der Kontextknoten, die Kontextposition und die Kontextgr��e, die zur Berechnung eines Teilausdrucks benutzt werden, sind dagegen zuweilen verschieden von denen des umgebenden Ausdrucks. Mehrere Arten von Ausdr�cken �ndern den Kontextknoten, aber nur Pr�dikate �ndern die Kontextposition und die Kontextgr��e (siehe [2.4 Pr�dikate]). Bei der Beschreibung, wie bestimmte Ausdr�cke zu berechnen sind, wird immer explizit angegeben, ob sich der Kontextknoten, die Kontextposition oder die Kontextgr��e bei der Berechnung von Teilausdr�cken �ndert. Wird nichts �ber Kontextknoten, Kontextposition und Kontextgr��e ausgesagt, bleiben sie bei der Berechnung von Teilausdr�cken dieser Ausdr�cke gleich.

XPath-Ausdr�cke erscheinen h�ufig in XML-Attributen. Die in diesem Abschnitt spezifizierte Grammatik wird auf Attributwerte nach ihrer Normalisierung gem�� XML 1.0 angewendet. Wenn beispielsweise die Grammatik das Zeichen < verwendet, darf dieses nicht in der XML-Quelle als < auftreten, sondern muss gem�� den XML-1.0-Regeln notiert werden, zum Beispiel durch Eingabe als <. Innerhalb von Ausdr�cken werden Zeichenkettenliterale durch einfache oder doppelte Anf�hrungszeichen begrenzt, die ebenfalls zur Begrenzung von XML-Attributen verwendet werden. Um zu vermeiden, dass ein Anf�hrungszeichen innerhalb eines Ausdrucks durch den XML-Prozessor als Abschluss des Attributwertes interpretiert wird, kann das Anf�hrungszeichen als Zeichenreferenz eingegeben werden (" oder '). Alternativ k�nnen im Ausdruck einfache Anf�hrungszeichen benutzt werden, falls das XML-Attribut durch doppelte Anf�hrungszeichen begrenzt wird oder umgekehrt.

para="Sie fragte: "Wie geht's?""

para="Sie fragte: "Wie geht's?""

Sie fragte: "Wie geht's?"

para=concat('Sie fragte: "Wie geht', "'", 's?"')

Ein wichtiger spezieller Ausdruck ist der Lokalisierungspfad. Ein Lokalisierungspfad w�hlt eine Knotenmenge relativ zu einem Kontextknoten aus. Das Ergebnis der Berechnung eines Ausdrucks, der ein Lokalisierungspfad ist, ist genau die Knotenmenge, die die durch den Lokalisierungspfad ausgew�hlten Knoten enth�lt. Lokalisierungspfade k�nnen Ausdr�cke rekursiv enthalten, die zum Filtern von Knotenmengen benutzt werden. Ein Lokalisierungspfad l�sst sich aus der Produktion LocationPath ableiten.

Die in der nachfolgenden Grammatik verwendeten Nichtterminale QName und NCName sind in [XML Names] definiert, S ist in [XML] definiert. Die Grammatik verwendet die gleiche EBNF-Notation wie in [XML] (mit der Ausnahme, dass Grammatiksymbole immer mit einem Gro�buchstaben beginnen).

Ausdr�cke werden geparst, indem die Zeichenfolge in einzelne Tokens zerlegt und anschlie�end die entstehende Folge der Tokens geparst wird. Leerraumzeichen k�nnen beliebig zwischen Tokens verwendet werden. Der Zerlegungsprozess wird in [3.7 Lexikalische Struktur] beschrieben.

2 Lokalisierungspfade

Obwohl Lokalisierungspfade nicht das allgemeinste grammatische Konstrukt der Sprache darstellen (ein Lokalisierungspfad ist ein Spezialfall eines Ausdrucks), sind sie doch das wichtigste Konstrukt und werden deshalb als Erstes beschrieben.

Jeder Lokalisierungspfad kann durch eine unkomplizierte und eher verbale Syntax ausgedr�ckt werden. Daneben gibt es eine Reihe von syntaktischen Abk�rzungen, mit denen sich h�ufige F�lle kurz und pr�gnant ausdr�cken lassen. Dieser Abschnitt erl�utert die Semantik von Lokalisierungspfaden anhand der ausf�hrlichen Syntax. Die abgek�rzte Syntax wird im Anschluss daran erl�utert, indem gezeigt wird, wie diese auf die ausf�hrliche Syntax abgebildet wird (siehe [2.5 Abgek�rzte Syntax]).

Es folgen einige Beispiele f�r Lokalisierungspfade unter Benutzung der ausf�hrlichen Syntax:

• child::para w�hlt die Kindelemente para des Kontextknotens aus.

• child::* w�hlt alle Kindelemente des Kontextknotens aus.

• child::text() w�hlt alle Textknoten aus, die Kinder des Kontextknotens sind.

• child::node() w�hlt alle Kindknoten des Kontextknotens aus, unabh�ngig von ihrem Knotentyp.

  Anmerkung des �bersetzers: Obwohl sich s�mtliche XPath-Lokalisierungspfade f�r Kontextknoten jedes Typs anwenden lassen, muss an dieser Stelle darauf hingewiesen werden, dass nur der Wurzelknoten sowie Elementknoten Kinder haben k�nnen. Diese Kinder k�nnen Element-, Text-, Kommentar- und Processing-Instruction-Knoten sein. Attribut- und Namensraumknoten sind niemals Kinder anderer Knoten. Dieses Konzept wird noch einmal ausf�hrlich in Kapitel [5 Datenmodell] beschrieben.

• attribute::name w�hlt das Attribut name des Kontextknotens aus.

• attribute::* w�hlt alle Attribute des Kontextknotens aus.

  Anmerkung des �bersetzers: Diese beiden Ausdr�cke sind nur sinnvoll, wenn der Kontextknoten ein Elementknoten ist. F�r alle anderen Knotentypen liefern sie die leere Knotenmenge.

• descendant::para w�hlt die para-Elemente aus, die Nachkommen des Kontextknotens sind.

• ancestor::div w�hlt alle div-Elemente aus, die Vorfahren des Kontextknotens sind.

• ancestor-or-self::div w�hlt alle div-Vorfahren des Kontextknotens sowie auch den Kontextknoten selbst aus, falls dieser ein div-Element ist.

• descendant-or-self::para w�hlt alle para-Nachkommen des Kontextknotens aus, sowie auch den Kontextknoten selbst, falls dieser ein para-Element ist.

• self::para w�hlt den Kontextknoten aus, falls dieser ein para-Element ist, und sonst nichts.

• child::chapter/descendant::para w�hlt die para-Elemente aus, die Nachkommen der chapter-Kindelemente des Kontextknotens sind.

• child::*/child::para w�hlt alle para-Enkelelemente des Kontextknotens aus.

• / w�hlt die Wurzel des Dokuments aus (diese ist immer der Vater des Dokumentelements).

  Anmerkung des �bersetzers: Der Begriff Wurzel unterscheidet sich hier von dem in der XML-Spezifikation [XML, 2nd Edition] genutzten. Dort bezeichnen Wurzel und Dokumentelement das Gleiche. In der XPath-Terminologie ist das Dokumentelement ein Kind des Wurzelknotens. Der Wurzelknoten entspricht damit dem Dokument-Entity, siehe [5.1 Wurzelknoten]. Das ist insofern wichtig, als der Wurzelknoten zus�tzlich Kommentar- oder Processing-Instruction-Knoten als Kinder haben kann, die damit Geschwister des Dokumentelements sind. Des Weiteren muss hier hinzugef�gt werden, dass durch / die Wurzel des Dokuments ausgew�hlt wird, in dem sich der Kontextknoten befindet. Es l�sst sich leicht eine Knotenmenge bilden, die Knoten aus verschiedenen Dokumenten enth�lt. Die in XSLT definierte Funktion document liefert beispielsweise den Wurzelknoten eines anderen Dokuments.

• /descendant::para w�hlt alle para-Elemente aus, die im gleichen Dokument wie der Kontextknoten enthalten sind.

  Anmerkung des �bersetzers: Genau genommen werden alle para-Elemente ausgew�hlt, die Nachkommen der Wurzel des Dokuments sind, zu dem der Kontextknoten geh�rt.

• /descendant::olist/child::item w�hlt alle item-Elemente aus, die ein olist-Vaterelement besitzen und die sich im gleichen Dokument wie der Kontextknoten befinden.

  Anmerkung des �bersetzers: Die folgenden Beispiele zeigen Lokalisierungspfade, bei denen die urspr�nglich ausgew�hlten Knotenmengen durch nachgestellte Filterausdr�cke in eckigen Klammern, so genannte Pr�dikate, weiter eingeschr�nkt werden.

• child::para[position()=1] w�hlt das erste para-Kindelement des Kontextknotens aus.

• child::para[position()=last()] w�hlt das letzte para-Kindelement des Kontextknotens aus.

• child::para[position()=last()-1] w�hlt das vorletzte para-Kindelement des Kontextknotens aus.

• child::para[position()>1] w�hlt alle para-Kindelemente des Kontextknotens aus, mit Ausnahme des ersten para-Kindelements des Kontextknotens.

• following-sibling::chapter[position()=1] w�hlt das n�chste chapter-Geschwisterelement des Kontextknotens aus.

• preceding-sibling::chapter[position()=1] w�hlt das vorhergehende chapter-Geschwisterelement des Kontextknotens aus.

  Anmerkung des �bersetzers: An dieser Stelle sei als kurzer Vorgriff darauf hingewiesen, dass sich die Position eines Knotens in der aktuellen Kontextknotenliste �ber die Funktion position bestimmen l�sst und diese Position offenbar von der Blickrichtung abh�ngt. Von allen vorhergehenden Geschwisterelementen befindet sich der unmittelbare Vorg�nger an der Position 1.

• /descendant::figure[position()=42] w�hlt das zweiundvierzigste figure-Element im Dokument aus.

  Anmerkung des �bersetzers: Hier werden alle figure-Nachkommen des Wurzelknotens betrachtet. Ausgehend von ihrer nat�rlichen Reihenfolge im Dokument wird aus der gesamten Menge das zweiundvierzigste ausgew�hlt. Die Definition dieser nat�rlichen Reihenfolge, der so genannten Dokumentordnung, ist Bestandteil des Kapitels [5 Datenmodell].

• /child::doc/child::chapter[position()=5]/child::section[position()=2] w�hlt das zweite section-Element des f�nften chapter-Elements des doc-Dokumentelements aus.

• child::para[attribute::type="warning"] w�hlt alle para-Kindelemente des Kontextknotens aus, die ein type-Attribut mit dem Wert warning besitzen.

• child::para[attribute::type='warning'][position()=5] w�hlt das f�nfte para-Kindelement des Kontextknotens aus, das ein Attribut type mit dem Wert warning besitzt.

• child::para[position()=5][attribute::type="warning"] w�hlt das f�nfte para-Kindelement des Kontextknotens aus, wenn dieses Kind ein type-Attribut mit dem Wert warning besitzt.

  Anmerkung des �bersetzers: Die letzten beiden Beispiele zeigen, wie sich durch ein Pr�dikat Kontextgr��e und -position �ndern k�nnen. Das Pr�dikat [position()=5] liefert immer eine Knotenmenge, die maximal einen Knoten enth�lt, je nachdem, ob es einen f�nften Knoten gibt oder nicht. Das erste der beiden Beispiele beschr�nkt zun�chst die betrachtete Knotenmenge auf die para-Elemente mit dem Attribut type="warning" und w�hlt anschlie�end aus diesen das f�nfte aus. Das zweite Beispiel w�hlt zuerst das f�nfte para-Element und anschlie�end aus der verbleibenden Knotenmenge die Knoten mit dem gew�nschten Attribut aus. Besitzt das f�nfte para-Element also gerade kein Attribut type="warning", so ist das Ergebnis in diesem Fall die leere Knotenmenge.

• child::chapter[child::title='Introduction'] w�hlt die chapter-Kindelemente des Kontextknotens aus, die wenigstens ein title-Kindelement mit einem Zeichenkettenwert gleich Introduction besitzen.

• child::chapter[child::title] w�hlt die chapter-Kindelemente des Kontextknotens aus, die ein oder mehrere title-Kindelemente besitzen.

• child::*[self::chapter or self::appendix] w�hlt die chapter- und appendix-Kindelemente des Kontextknotens aus.

  Anmerkung des �bersetzers: Hier werden aus allen Kindern (child::*) diejenigen ausgew�hlt, die selbst (self::) entweder ein chapter- oder ein appendix-Element sind. Hier muss man etwas aufpassen, da der Ausdruck in den eckigen Klammern f�r einen anderen Kontextknoten ausgewertet wird als der Ausdruck vor den Klammern. Der Vergleich mit den beiden vorhergehenden Beispielen verdeutlicht den Unterschied. Die genaue Definition folgt in Kapitel [2.4 Pr�dikate].

• child::*[self::chapter or self::appendix][position()=last()] w�hlt das letzte chapter- oder appendix-Kindelement des Kontextknotens aus.

  Anmerkung des �bersetzers: Hier wird zun�chst die Menge aller chapter- oder appendix-Kinder betrachtet und aus dieser dann das letzte ausgew�hlt. Die Ergebnisknotenmenge enth�lt damit (maximal) einen Knoten.

Es gibt zwei Arten von Lokalisierungspfaden: relative und absolute Lokalisierungspfade.

Ein relativer Lokalisierungspfad wird durch eine Folge aus einem oder mehreren Lokalisierungsschritten gebildet, die durch / voneinander getrennt sind. Die Schritte eines relativen Lokalisierungspfades werden von links nach rechts zusammengesetzt. Jeder Schritt w�hlt der Reihe nach eine Knotenmenge relativ zu einem Kontextknoten aus. Eine Anfangsfolge von Schritten wird mit einem folgenden Schritt wie folgt zusammengesetzt: Die Anfangsfolge von Schritten w�hlt eine Knotenmenge relativ zu einem Kontextknoten aus. Jeder Knoten in dieser Menge wird dann als Kontextknoten f�r den folgenden Schritt benutzt. Die durch diesen Schritt bestimmten Knotenmengen werden vereinigt. Die Vereinigung ist dann genau die Knotenmenge, die durch das Zusammensetzen der Schritte ausgew�hlt wird. Zum Beispiel w�hlt child::div/child::para die para-Kindelemente der div-Kindelemente des Kontextknotens aus, oder – mit anderen Worten – die para-Enkelelemente, die div-Elternelemente haben.

Ein absoluter Lokalisierungspfad besteht aus dem Zeichen / und einem optional folgenden relativen Lokalisierungspfad. Ein / allein w�hlt den Wurzelknoten des Dokuments aus, das den Kontextknoten enth�lt. Falls ein relativer Lokalisierungspfad folgt, so w�hlt der Lokalisierungspfad die Knotenmenge aus, die ein relativer Lokalisierungspfad relativ zum Wurzelknoten des den Kontextknoten enthaltenen Dokuments ausw�hlen w�rde.

Lokalisierungspfade

2.1 Lokalisierungsschritte

Ein Lokalisierungsschritt hat drei Bestandteile:

• eine Achse, welche die Beziehung zwischen den durch den Lokalisierungsschritt ausgew�hlten Knoten und dem Kontextknoten innerhalb des Baumes spezifiziert,

• einen Knotentest, der den Knotentyp und den erweiterten Namen der durch den Lokalisierungsschritt ausgew�hlten Knoten spezifiziert, sowie

• null oder mehr Pr�dikate, die mittels beliebiger Ausdr�cke die durch den Lokalisierungsschritt ausgew�hlte Knotenmenge weiter verfeinern k�nnen.

  Anmerkung des �bersetzers: Pr�dikate im mathematischen Sinn sind Aussagen �ber Eigenschaften, die f�r die betreffenden Objekte wahr oder falsch sein k�nnen. In diesem Sinn w�hlt ein Pr�dikat aus einer Knotenmenge genau diejenigen Knoten aus, f�r die die entsprechende Aussage zutrifft. Aber auch ohne Kenntnis der Begriffswelt der Pr�dikatenlogik kann man sich anhand der Begriffe �Pr�dikatswein� oder �Pr�dikatsexamen� verdeutlichen, dass hier jeweils eine bestimmte Eigenschaft bzw. Qualit�t des beschriebenen Objekts ausgedr�ckt wird.

Ein Lokalisierungsschritt besteht syntaktisch aus dem Namen der Achse, gefolgt von zwei Doppelpunkten und dem Knotentest, gefolgt von null oder mehr in eckigen Klammern eingeschlossenen Ausdr�cken. Zum Beispiel enth�lt child::para[position()=1] die Achse child, den Knotentest para und ein Pr�dikat [position()=1].

Die durch den Lokalisierungspfad ausgew�hlte Knotenmenge ergibt sich aus der durch Achse und Knotentest bestimmten Ausgangsknotenmenge, indem dort der Reihe nach die einzelnen Pr�dikate angewendet werden.

Die Ausgangsknotenmenge enth�lt alle Knoten, die zum Kontextknoten in der durch die Achse angegebenen Beziehung stehen und die den im Knotentest spezifizierten Knotentyp und erweiterten Namen besitzen. Zum Beispiel w�hlt der Lokalisierungsschritt descendant::para alle para-Nachkommen des Kontextknotens aus: descendant besagt, dass jeder Knoten in der Ausgangsknotenmenge ein Nachkomme des Kontextknotens sein muss; para besagt, dass jeder Knoten in der Ausgangsknotenmenge ein Element mit dem Namen para sein muss. Die verf�gbaren Achsen werden in [2.2 Achsen] beschrieben, die verf�gbaren Knotentests in [2.3 Knotentests]. Die Bedeutung einiger Knotentests h�ngt von der jeweiligen Achse ab.

Die Ausgangsknotenmenge wird durch das erste Pr�dikat gefiltert und ergibt eine neue Knotenmenge. Diese wird anschlie�end durch das zweite Pr�dikat gefiltert und so weiter. Die resultierende Knotenmenge ist schlie�lich die Knotenmenge, die durch den Lokalisierungsschritt ausgew�hlt wird. Die Achse beeinflusst, wie der Ausdruck in jedem Pr�dikat berechnet wird. Die Semantik eines Pr�dikats ist damit bez�glich einer Achse definiert (siehe [2.4 Pr�dikate]).

child::para[attribute::type="warning"][position()=5]

child::para[position()=5][attribute::type="warning"]

Lokalisierungsschritte

2.2 Achsen

Es stehen die folgenden Achsen zur Verf�gung:

• Die Achse child enth�lt die Kinder des Kontextknotens.

  Anmerkung des �bersetzers: Die Kreise, die hier und bei den folgenden Achsen zur Darstellung der einzelnen Knoten genutzt werden, repr�sentieren keine speziellen Knotentypen. Es k�nnte sich also sowohl um Elemente als auch um Textknoten, Kommentare oder Processing Instructions handeln. Sie repr�sentieren allerdings niemals Attribut- oder Namensraumknoten, da diese nur �ber eigens daf�r definierte Achsen erreicht werden k�nnen. Insbesondere sind es keine Kinder anderer Knoten. Die Nummern geben die N�heposition der Knoten in der durch die Achse ausgew�hlten Knotenmenge an.

• Die Achse descendant enth�lt die Nachkommen des Kontextknotens; ein Nachkomme ist ein Kind oder ein Kind eines Kindes usw. Die Nachkommenachse enth�lt niemals Attribut- oder Namensraumknoten.

  Anmerkung des �bersetzers:

• Die Achse parent enth�lt den Elternknoten des Kontextknotens, falls es einen gibt.

  Anmerkung des �bersetzers: Bis auf den Wurzelknoten besitzt jeder Knoten einen Elternknoten.

• Die Achse ancestor enth�lt die Vorfahren des Kontextknotens; die Vorfahren des Kontextknotens bestehen aus dem Elternknoten des Kontextknotens, dessen Elternknoten usw. Die Vorfahrenachse enth�lt somit immer den Wurzelknoten, es sei denn, der Kontextknoten selbst ist der Wurzelknoten.

  Anmerkung des �bersetzers:

• Die Achse following-sibling enth�lt alle nachfolgenden Geschwister des Kontextknotens; falls der Kontextknoten ein Attribut- oder Namensraumknoten ist, ist diese Achse leer.

  Anmerkung des �bersetzers: Geschwister sind die Knoten, die den gleichen Elternknoten wie der Kontextknoten besitzen.

• Die Achse preceding-sibling enth�lt alle vorhergehenden Geschwister des Kontextknotens; falls der Kontextknoten ein Attribut- oder Namensraumknoten ist, ist diese Achse leer.

  Anmerkung des �bersetzers:

• Die Achse following enth�lt alle Knoten im gleichen Dokument wie der Kontextknoten, die nach dem Kontextknoten in Dokumentordnung auftreten, und zwar ohne seine Nachkommen und ohne Attribut- und Namensraumknoten.

  Anmerkung des �bersetzers:

• Die Achse preceding enth�lt alle Knoten im gleichen Dokument wie der Kontextknoten, die vor dem Kontextknoten in Dokumentordnung auftreten, und zwar ohne seine Vorfahren und ohne Attribut- und Namensraumknoten.

  Anmerkung des �bersetzers:

• Die Achse attribute enth�lt die Attribute des Kontextknotens; diese Achse ist leer, es sei denn, der Kontextknoten ist ein Elementknoten.

• Die Achse namespace enth�lt alle Namensraumknoten des Kontextknotens; diese Achse ist leer, es sei denn, der Kontextknoten ist ein Elementknoten.

• Die Achse self enth�lt nur den Kontextknoten selbst.

  Anmerkung des �bersetzers:

• Die Achse descendant-or-self enth�lt den Kontextknoten sowie die Nachkommen des Kontextknotens.

  Anmerkung des �bersetzers:

• Die Achse ancestor-or-self enth�lt den Kontextknoten sowie die Vorfahren des Kontextknotens; diese Achse enth�lt somit immer den Wurzelknoten.

  Anmerkung des �bersetzers:

Anmerkung: Die Achsen ancestor, descendant, following, preceding und self partitionieren ein Dokument (unter Auslassung der Attribut- und Namensraumknoten): sie �berschneiden sich nicht und enthalten zusammen alle Knoten des Dokuments.

Anmerkung des �bersetzers:

Achsen

2.3 Knotentests

Jede Achse besitzt einen Hauptknotentyp. Falls eine Achse Elemente enthalten kann, so ist der Hauptknotentyp der Elementtyp, ansonsten ist es genau der Typ der Knoten, die die Achse enthalten kann. Das bedeutet:

• F�r die Attributachse ist der Hauptknotentyp der Attributtyp.
• F�r die Namensraumachse ist der Hauptknotentyp der Namensraum-Typ.
• F�r alle anderen Achsen ist der Hauptknotentyp der Elementtyp.

Ein Knotentest, der ein QName ist, ist genau dann erf�llt, wenn der Knotentyp (siehe [5 Datenmodell]) der Hauptknotentyp ist und einen erweiterten Namen besitzt, der gleich dem erweiterten Namen des QName ist. Beispielsweise w�hlt child::para die para-Kindelemente des Kontextknotens aus. Falls der Kontextknoten keine para-Kinder besitzt, ist das Ergebnis eine leere Knotenmenge. attribute::href w�hlt die href-Attribute des Kontextknotens aus. Falls der Kontextknoten keine href-Attribute besitzt, ist das Ergebnis eine leere Knotenmenge.

Ein QName im Knotentest wird in einen erweiterten Namen unter Verwendung der Namensraumdeklarationen aus dem Kontext des Ausdrucks expandiert. Dies geschieht in der gleichen Weise wie bei Elementnamen in Start- und End-Tags, allerdings mit der Ausnahme, dass ein mit xmlns deklarierter voreingestellter Namensraum nicht genutzt wird: d.h. enth�lt QName kein Pr�fix, so ist der Namensraum-URI leer (das ist die gleiche Regel, nach der auch Attributnamen expandiert werden). Es ist ein Fehler, wenn der QName ein Pr�fix enth�lt, f�r das es keine Namensraumdeklaration im Kontext des Ausdrucks gibt.

Ein Knotentest * ist f�r jeden Knoten des Hauptknotentyps erf�llt. Beispielsweise w�hlt child::* alle Kindelemente und attribute::* alle Attributknoten des Kontextknotens aus.

Ein Knotentest kann in der Form NCName:* auftreten. In diesem Fall wird das Pr�fix wie bei einem QName unter Verwendung der Namensraumdeklarationen des Kontextes expandiert. Es ist ein Fehler, wenn es f�r das Pr�fix keine Namensraumdeklaration im Kontext des Ausdrucks gibt. Der Knotentest ist erf�llt f�r jeden Knoten des Hauptknotentyps, dessen erweiterter Name den Namensraum-URI besitzt, zu dem das Pr�fix expandiert, unabh�ngig vom lokalen Bestandteil des Namens.

Der Knotentest text() ist erf�llt f�r jeden Textknoten. Zum Beispiel w�hlt child::text() alle Textknoten aus, die Kinder des Kontextknotens sind. Analog ist der Knotentest comment() f�r jeden Kommentarknoten erf�llt und der Knotentest processing-instruction() f�r jede Processing Instruction. Dem Test processing-instruction() kann ein Literal als Argument �bergeben werden. In diesem Fall ist der Test f�r jede Processing Instruction erf�llt, deren Name gleich dem Wert des �bergebenen Literals ist.

Der Knotentest node() ist f�r alle Knoten jedes beliebigen Typs erf�llt.

2.4 Pr�dikate

Eine Achse ist entweder vorw�rts- oder r�ckw�rtsgerichtet. Eine vorw�rtsgerichtete Achse enth�lt immer nur den Kontextknoten oder Knoten, die nach dem Kontextknoten im Dokument auftreten. Eine r�ckw�rtsgerichtete Achse enth�lt immer nur den Kontextknoten oder Knoten, die vor dem Kontextknoten im Dokument auftreten. Demzufolge sind die Achsen ancestor, ancestor-or-self, preceding und preceding-sibling r�ckw�rtsgerichtete Achsen. Alle anderen Achsen sind vorw�rtsgerichtet. Da die Achse self immer h�chstens einen Knoten enth�lt, hat es keine Bedeutung, ob sie als vorw�rts- oder r�ckw�rtsgerichtete Achse betrachtet wird. Die N�heposition eines Knotens in einer Knotenmenge bez�glich einer Achse ist definiert als die Position des Knotens in dieser Knotenmenge, welche in Dokumentordnung geordnet ist, wenn es sich um eine vorw�rtsgerichtete Achse handelt, und welche in umgekehrter Dokumentordnung geordnet ist, wenn es sich um eine r�ckw�rtsgerichtete Achse handelt. Die erste Position ist 1.

string(following::p) = string(following::p[position()=1])

string(preceding::p) = string(preceding::p[position()=last()])

Ein Pr�dikat filtert eine Knotenmenge bez�glich einer Achse und produziert damit eine neue Knotenmenge. F�r jeden zu filternden Knoten der Knotenmenge wird der dazugeh�rige Ausdruck PredicateExpr berechnet, und zwar mit diesem Knoten als Kontextknoten, der Anzahl der Knoten der Knotenmenge als Kontextgr��e und mit der N�heposition des Knotens in der Knotenmenge bez�glich der Achse als Kontextposition. Falls die Berechnung von PredicateExpr f�r diesen Knoten wahr ergibt, wird der Knoten in die Ergebnisknotenmenge aufgenommen, andernfalls nicht.

ancestor::person[position() >= 2]

child::chapter[child::title][attribute::type="warning"]

child::chapter[child::title and attribute::type="warning"]

Ein PredicateExpr wird durch Berechnung des Expr und anschlie�ender Konvertierung des Ergebnisses in einen booleschen Wert bestimmt. Falls das Ergebnis eine Zahl war, wird es f�r den Fall, dass diese Zahl gleich der Kontextposition ist, in den Wert wahr konvertiert, ansonsten in den Wert falsch. Wenn das Ergebnis keine Zahl war, dann wird es so konvertiert wie bei einem Aufruf der Funktion boolean. Damit ist ein Lokalisierungspfad para[3] �quivalent zu para[position()=3].

Pr�dikate

2.5 Abgek�rzte Syntax

Zun�chst einige Beispiele f�r Lokalisierungspfade, die die abgek�rzte Syntax benutzen:

• para w�hlt die para-Kindelemente des Kontextknotens aus.

• * w�hlt alle Kindelemente des Kontextknotens aus.

• text() w�hlt alle Textknoten aus, die Kinder des Kontextknotens sind.

• @name w�hlt das Attribut name des Kontextknotens aus.

• @* w�hlt alle Attribute des Kontextknotens aus.

• para[1] w�hlt das erste para-Kindelement des Kontextknotens aus.

• para[last()] w�hlt das letzte para-Kindelement des Kontextknotens aus.

• */para w�hlt alle para-Enkelelemente des Kontextknotens aus.

• /doc/chapter[5]/section[2] w�hlt das zweite section-Element des f�nften chapter-Elements von doc aus.

• chapter//para w�hlt die para-Elemente aus, die Nachkommen der chapter-Kindelemente des Kontextknotens sind.

• //para w�hlt alle para-Nachkommen der Dokumentwurzel aus und somit alle para-Elemente im gleichen Dokument wie der Kontextknoten.

• //olist/item w�hlt all die item-Elemente aus dem gleichen Dokument wie der Kontextknoten aus, die ein olist-Elternelement besitzen.

• . w�hlt den Kontextknoten aus.

• .//para w�hlt die para-Elemente aus, die Nachkommen des Kontextknotens sind.

• .. w�hlt den Elternknoten des Kontextknotens aus.

• ../@lang w�hlt das Attribut lang des Elternknotens des Kontextknotens aus.

• para[@type="warning"] w�hlt alle para-Kindelemente des Kontextknotens aus, die ein Attribut type mit dem Wert warning besitzen.

• para[@type="warning"][5] w�hlt das f�nfte para-Kindelement des Kontextknotens aus, das ein Attribut type mit dem Wert warning besitzt.

• para[5][@type="warning"] w�hlt das f�nfte para-Kindelement des Kontextknotens aus, falls dieses Kind ein Attribut type mit dem Wert warning besitzt.

• chapter[title="Introduction"] w�hlt die chapter-Kindelemente des Kontextknotens aus, die ein oder mehrere title-Kindelemente mit einem Zeichenkettenwert gleich Introduction besitzen.

• chapter[title] w�hlt die chapter-Kindelemente des Kontextknotens aus, die ein oder mehrere title-Kindelemente besitzen.

• employee[@secretary and @assistant] w�hlt alle employee-Kindelemente des Kontextknotens aus, die sowohl ein Attribut secretary als auch ein Attribut assistant besitzen.

Die wichtigste Abk�rzung besteht darin, dass child:: in einem Lokalisierungsschritt weggelassen werden kann. Die Standardachse ist also child. So steht beispielsweise ein Lokalisierungspfad div/para abk�rzend f�r child::div/child::para.

F�r Attribute gibt es ebenfalls eine Abk�rzung: attribute:: kann zu @ abgek�rzt werden. Ein Lokalisierungspfad para[@type="warning"] steht beispielsweise abk�rzend f�r child::para[attribute::type="warning"] und w�hlt damit para-Kindelemente mit einem Attribut type aus, dessen Wert gleich warning ist.

// ist die Abk�rzung f�r /descendant-or-self::node()/. Zum Beispiel steht //para abk�rzend f�r /descendant-or-self::node()/child::para und w�hlt damit alle para-Elemente im Dokument aus (selbst ein para-Element, das ein Dokumentelement ist, wird durch //para ausgew�hlt, da der Dokumentelementknoten ein Kind des Wurzelknotens ist). div//para steht abk�rzend f�r div/descendant-or-self::node()/child::para und w�hlt daher alle para-Nachfolger von div-Kindern aus.

Anmerkung: Der Lokalisierungspfad //para[1] bedeutet nicht das Gleiche wie /descendant::para[1]. Der zweite w�hlt das erste Nachkommenelement para aus, der erste w�hlt alle para-Nachkommen aus, die das erste Kind ihrer Eltern sind.

//para[1] = /descendant-or-self::node()/para[1]
          = /descendant-or-self::node()/child::para[1]

Ein Lokalisierungsschritt . steht abk�rzend f�r self::node(). Das ist insbesondere in Verbindung mit // n�tzlich. Der Lokalisierungspfad .//para steht zum Beispiel abk�rzend f�r

self::node()/descendant-or-self::node()/child::para

und w�hlt daher alle para-Elemente aus, die Nachkommen des Kontextknotens sind.

Analog steht der Lokalisierungsschritt .. abk�rzend f�r parent::node(). Zum Beispiel steht ../title abk�rzend f�r parent::node()/child::title und w�hlt damit die title-Kindelemente des Elternknotens des Kontextknotens aus.

Abk�rzungen

3 Ausdr�cke

3.1 Grundlagen

Eine Variablenreferenz (VariableReference) ergibt den Wert, der an den Variablennamen innerhalb der Menge der Variablenbelegungen des Kontexts gebunden ist. Es ist ein Fehler, falls dem Variablennamen in der Menge der Variablenbelegungen aus dem Kontext des Ausdrucks kein Wert zugewiesen wurde.

Zum Gruppieren k�nnen runde Klammern verwendet werden.

3.2 Funktionsaufrufe

Ein Ausdruck, der ein Funktionsaufruf (FunctionCall) ist, wird ausgewertet, indem anhand des Funktionsnamens (FunctionName) die Funktion in der Funktionsbibliothek des Ausdruckskontexts bestimmt, jedes der Argumente (Argument) berechnet und in den von der Funktion erwarteten Typ konvertiert und schlie�lich die Funktion mit den konvertierten Argumenten aufgerufen wird. Es ist ein Fehler, wenn eine falsche Anzahl von Argumenten �bergeben wird oder eines der Argumente nicht in den geforderten Typ konvertiert werden kann. Das Ergebnis des Funktionsaufrufes (FunctionCall) ist der von der Funktion zur�ckgelieferte Wert.

Die Konvertierung eines Arguments in den Typ string geschieht so wie beim Aufruf der Funktion string. Die Konvertierung eines Arguments in den Typ number geschieht so wie beim Aufruf der Funktion number. Die Konvertierung eines Arguments in den Typ boolean geschieht so wie beim Aufruf der Funktion boolean. Ein Argument, das nicht vom Typ node-set ist, kann nicht in eine Knotenmenge konvertiert werden.

3.3 Knotenmengen

Ein Lokalisierungspfad kann als Ausdruck benutzt werden. Ein solcher Ausdruck liefert die durch den Pfad ausgew�hlte Knotenmenge.

Der Operator | berechnet die Vereinigung seiner Operanden, welche jeweils Knotenmengen sein m�ssen.

$a[count(.|$b) = count($b)]

$a[count(.|$b) != count($b)]

count(.|../@*) = count(../@*)

node-set1[boolean-test] | node-set2[not(boolean-test)]

Pr�dikate werden zum Filtern von Ausdr�cken in der gleichen Weise wie in Lokalisierungspfaden benutzt. Es ist ein Fehler, falls das Ergebnis des zu filternden Ausdrucks keine Knotenmenge ist. Das Pr�dikat filtert die Knotenmenge bez�glich der Kindachse.

Anmerkung: Die Bedeutung eines Pr�dikats h�ngt entscheidend davon ab, welche Achse angewendet wird. Zum Beispiel liefert preceding::foo[1] das erste foo-Element in umgekehrter Dokumentordnung, weil die f�r das Pr�dikat [1] anzuwendende Achse die Vorg�ngerachse (preceding) ist. Demgegen�ber liefert (preceding::foo)[1] das erste foo-Element in Dokumentordnung, weil die Achse, die in diesem Fall f�r das Pr�dikat [1] gilt, die Kindachse ist.

Die Operatoren / und // verbinden einen Ausdruck und einen relativen Lokalisierungspfad. Es ist ein Fehler, wenn die Berechnung des Ausdrucks keine Knotenmenge ergibt. Der Operator / arbeitet dabei in der gleichen Weise wie in einem Lokalisierungspfad. Ebenso wie in Lokalisierungspfaden steht // abk�rzend f�r /descendant-or-self::node()/.

Es gibt keine Objekte, die in eine Knotenmenge konvertiert werden k�nnen.

3.4 Boolesche Werte

Ein Objekt vom Typ boolean kann zwei Werte annehmen, wahr und falsch.

Die Berechnung eines or-Ausdrucks erfolgt, indem jeder der Operanden berechnet und in einen booleschen Wert wie beim Aufruf der Funktion boolean konvertiert wird. Das Ergebnis ist der Wert wahr, wenn einer der beiden Werte wahr ist, und andernfalls falsch. Der rechte Operand wird nicht mehr ausgewertet, wenn der linke Operand wahr ergibt.

Die Berechnung eines and-Ausdrucks erfolgt, indem jeder der Operanden berechnet und in einen booleschen Wert wie beim Aufruf der Funktion boolean konvertiert wird. Das Ergebnis ist der Wert wahr, wenn beide Werte wahr sind, und andernfalls falsch. Der rechte Operand wird nicht mehr ausgewertet, wenn der linke Operand falsch ergibt.

Die Berechnung eines EqualityExpr-Ausdrucks (der nicht allein ein RelationalExpr-Ausdruck ist) oder eines RelationalExpr-Ausdrucks (der nicht allein ein AdditiveExpr-Ausdruck ist) geschieht, indem die Objekte miteinander verglichen werden, die im Ergebnis der Auswertung der beiden Operanden entstehen. Die folgenden drei Abs�tze definieren den Vergleich zwischen den daraus resultierenden Objekten. Erst werden Vergleiche, die Knotenmengen betreffen, �ber Vergleiche definiert, die keine Knotenmengen betreffen; dies geschieht einheitlich f�r =, !=, <=, <, >= und >. Dann werden Vergleiche, die keine Knotenmengen betreffen, f�r = und != definiert. Schlie�lich werden Vergleiche, die keine Knotenmengen betreffen, f�r <=, <, >= und > definiert.

Wenn beide zu vergleichenden Objekte Knotenmengen sind, so liefert ein Vergleich genau dann den Wert wahr, wenn es einen Knoten aus der ersten Knotenmenge und einen Knoten aus der zweiten Knotenmenge gibt, sodass das Ergebnis des Vergleichs der Zeichenkettenwerte dieser beiden Knoten wahr ergibt. Wenn eines der zu vergleichenden Objekte eine Knotenmenge und das andere eine Zahl ist, dann liefert ein Vergleich genau dann den Wert wahr, wenn es einen Knoten in der Knotenmenge gibt, sodass der Vergleich zwischen der Zahl und dem Ergebnis der Konvertierung des Zeichenkettenwerts dieses Knotens zu einer Zahl �ber die Funktion number wahr ergibt. Wenn eines der zu vergleichenden Objekte eine Knotenmenge und das andere eine Zeichenkette ist, dann liefert ein Vergleich genau dann den Wert wahr, wenn es einen Knoten in der Knotenmenge gibt, sodass der Vergleich zwischen der Zeichenkette und dem Zeichenkettenwert dieses Knotens wahr ergibt. Wenn eines der zu vergleichenden Objekte eine Knotenmenge und das andere ein boolescher Wert ist, dann liefert ein Vergleich genau dann den Wert wahr, wenn es einen Knoten in der Knotenmenge gibt, sodass der Vergleich zwischen dem booleschen Wert und dem Ergebnis der Konvertierung des Zeichenkettenwerts dieses Knotens zu einem boolschen Wert �ber die Funktion boolean wahr ergibt.

Wenn keines der zu vergleichenden Objekte eine Knotenmenge ist und als Operator = oder != vorkommt, so werden die Objekte wie nachfolgend beschrieben in einen gemeinsamen Typ konvertiert und anschlie�end verglichen. Wenn wenigstens eines der zu vergleichenden Objekte ein boolescher Wert ist, wird jedes Objekt wie bei der Anwendung der Funktion boolean in einen booleschen Wert konvertiert. Wenn wenigstens eines der zu vergleichenden Objekte eine Zahl ist, wird jedes Objekt wie bei der Anwendung der Funktion number in eine Zahl konvertiert. Andernfalls werden beide Objekte wie bei der Anwendung der Funktion string in Zeichenketten konvertiert. Der Vergleich = liefert als Ergebnis genau dann den Wert wahr, wenn beide Objekte gleich sind; der Vergleich != liefert als Ergebnis genau dann den Wert wahr, wenn beide Objekte ungleich sind. Zahlen werden gem�� IEEE 754 [IEEE 754] verglichen. Zwei boolesche Werte sind gleich, wenn sie entweder beide wahr oder beide falsch sind. Zwei Zeichenketten sind genau dann gleich, wenn sie aus derselben Folge von UCS-Zeichen bestehen.

Anmerkung: Wenn $x mit einer Knotenmenge belegt ist, dann bedeutet $x="foo" nicht dasselbe wie not($x!="foo"): Der erste Vergleich ergibt genau dann wahr, wenn ein Knoten in $x den Zeichenkettenwert foo hat; der zweite ergibt genau dann wahr, wenn alle Knoten in $x den Zeichenkettenwert foo haben.

Wenn keines der zu vergleichenden Objekte eine Knotenmenge ist und als Operator <=, <, >= oder > vorkommt, so werden beide Objekte in Zahlen konvertiert und anschlie�end gem�� IEEE 754 verglichen. Der Vergleich < ergibt genau dann den Wert wahr, wenn die erste Zahl kleiner als die zweite Zahl ist. Der Vergleich <= ergibt genau dann den Wert wahr, wenn die erste Zahl kleiner oder gleich der zweiten Zahl ist. Der Vergleich > ergibt genau dann den Wert wahr, wenn die erste Zahl gr��er als die zweite Zahl ist. Der Vergleich >= ergibt genau dann den Wert wahr, wenn die erste Zahl gr��er oder gleich der zweiten Zahl ist.

$set[not(. > $set)]

$set[number()=number() and not(. > $set)]

Anmerkung: Wenn ein XPath-Ausdruck in einem XML-Dokument vorkommt, m�ssen alle Operatoren < und <= gem�� den XML-1.0-Regeln gesch�tzt werden, zum Beispiel als < und <=. Im folgenden Beispiel ist der Wert des Attributes test ein XPath-Ausdruck:

...

Anmerkung: Mit der obigen Grammatik ergibt sich folgende Vorrangfolge (kleinster Vorrang zuerst):

• or

• and

• =, !=

• <=, <, >=, >

Alle Operatoren sind links-assoziativ. Beispielsweise ist 3 > 2 > 1 �quivalent zu (3 > 2) > 1, was den Wert falsch ergibt.

Anmerkung des �bersetzers: Der Vergleich 3 > 2 ergibt zun�chst den Wert wahr. Dieses Ergebnis wird aufgrund des folgenden Vergleichsoperators > in die Zahl 1 konvertiert, sodass nun 1 > 1 berechnet wird, was den Wert falsch liefert. Auf analoge Weise kann man sich �berlegen, dass der Ausdruck 2 = 1 = 0 wahr, der Ausdruck 0 = 0 = 0 hingegen falsch ergibt. Hier ist Vorsicht geboten, da solche Ausdr�cke gem�� der XPath-Grammatik erlaubt sind, aber nicht die Semantik besitzen, die man auf den ersten Blick erwarten w�rde. Sie verhalten sich allerdings genauso wie beispielsweise in den Programmiersprachen C und C++.

3.5 Zahlen

Ein Wert vom Typ number repr�sentiert eine Gleitkommazahl. Eine Zahl kann jeden beliebigen, doppelt-genauen 64-Bit-Wert des Formats IEEE 754 [IEEE 754] annehmen. Dies beinhaltet den speziellen Wert "Not-a-Number" (NaN), positiv und negativ unendlich, sowie positiv und negativ Null. F�r eine Zusammenfassung der wichtigsten Regeln des IEEE-754-Standards siehe Abschnitt 4.2.3 in [JLS].

Die numerischen Operatoren konvertieren ihre Operanden in Zahlen, so wie bei einem Aufruf der Funktion number.

Der Operator + addiert.

Der Operator - subtrahiert.

Anmerkung: Da XML innerhalb von Namen das Zeichen - erlaubt, muss der Operator - typischerweise von einem Leerraumzeichen angef�hrt werden. Zum Beispiel ergibt foo-bar eine Knotenmenge, die die Kindelemente namens foo-bar enth�lt; foo - bar ergibt die Differenz aus den Werten, die durch Konvertierung des Zeichenkettenwertes des ersten foo-Kindelements in eine Zahl und durch Konvertierung des Zeichenkettenwertes des ersten bar-Kindelements in eine Zahl entstehen.

Der Operator div berechnet eine Gleitkomma-Division gem�� IEEE 754.

Der Operator mod liefert den Rest einer ganzzahligen Division. Beispiele:

• 5 mod 2 ergibt 1

• 5 mod -2 ergibt 1

• -5 mod 2 ergibt -1

• -5 mod -2 ergibt -1

Anmerkung: mod berechnet dasselbe wie der Operator % in Java und ECMAScript.

Anmerkung: Er berechnet nicht dasselbe wie die IEEE-754-Rest-Operation, welche den Rest einer gerundeten Division liefert.

Numerische Ausdr�cke

3.6 Zeichenketten

Zeichenketten bestehen aus einer Folge von null oder mehr Zeichen, wobei Zeichen wie in der XML-Empfehlung [XML] definiert sind. Ein einzelnes XPath-Zeichen entspricht damit einem einzelnen abstrakten Unicode-Zeichen mit einem einzelnen korrespondierenden skalaren Wert (siehe [Unicode]); dies unterscheidet sich allerdings von einem 16-Bit-kodierten Unicode-Zeichen: Die durch Unicode definierte kodierte Zeichenrepr�sentation eines abstrakten Zeichens mit einem skalaren Wert gr��er als U+FFFF ist ein Paar von 16-Bit Unicode-Codes (ein Surrogat-Paar). In vielen Programmiersprachen wird eine Zeichenkette als Folge von 16-Bit-kodierten Unicode-Zeichen repr�sentiert; XPath-Implementationen in solchen Sprachen m�ssen sicherstellen, dass ein Surrogat-Paar korrekt als einzelnes XPath-Zeichen behandelt wird.

Anmerkung: In Unicode ist es m�glich, dass zwei Zeichenketten als identisch anzusehen sind, obwohl sie aus unterschiedlichen Folgen abstrakter Unicode-Zeichen bestehen. Zum Beispiel k�nnen einige Akzentzeichen entweder in einer vordefinierten (precomposed) oder einer zerlegten (decomposed) Form repr�sentiert werden. Damit k�nnen XPath-Ausdr�cke unerwartete Resultate liefern, es sei denn, sowohl die Zeichen im XPath-Ausdruck als auch die im XML-Dokument wurden zu einer kanonischen Form normalisiert (siehe [Character Model]).

3.7 Lexikalische Struktur

Beim Zerlegen in einzelne Tokens wird immer das l�ngstm�gliche Token zur�ckgeliefert.

Zur besseren Lesbarkeit k�nnen Leerraumzeichen innerhalb von Ausdr�cken verwendet werden, auch wenn es nicht explizit durch die Grammatik erlaubt wurde: ExprWhitespace kann innerhalb von Ausdr�cken frei vor oder nach beliebigen ExprTokens eingef�gt werden.

Die folgenden speziellen Regeln f�r die Zerlegung in Tokens m�ssen in der angegebenen Reihenfolge angewendet werden, um die Grammatik ExprToken eindeutig zu machen:

• Wenn es ein vorhergehendes Token gibt und dieses Token kein @, ::, (, [, , oder ein Operator ist, dann muss ein * als MultiplyOperator und ein NCName als OperatorName erkannt werden.

• Falls das einem NCName folgende Zeichen (m�glicherweise nach dazwischenliegendem ExprWhitespace) das Zeichen ( ist, dann muss das Token als NodeType oder als FunctionName erkannt werden.

• Falls die einem NCName folgenden beiden Zeichen (m�glicherweise nach dazwischenliegendem ExprWhitespace) die Zeichen :: sind, dann muss das Token als AxisName erkannt werden.

• Andernfalls darf das Token nicht als MultiplyOperator, als OperatorName, als NodeType, als FunctionName oder als AxisName erkannt werden.

Lexikalische Struktur von Ausdr�cken

4 Bibliothek der Grundfunktionen

Dieser Abschnitt beschreibt die Funktionen, die bei einer XPath-Implementation immer in der bei der Auswertung von Ausdr�cken benutzten Funktionsbibliothek enthalten sein m�ssen.

Jede Funktion in der Funktionsbibliothek wird �ber einen Funktionsprototypen spezifiziert, der den R�ckgabetyp, den Namen der Funktion und die Typen der Argumente angibt. Falls ein Argument von einem Fragezeichen gefolgt wird, so ist es optional; andernfalls ist es obligatorisch.

4.1 Funktionen auf Knotenmengen

Funktion: number last()

Die Funktion last liefert eine Zahl, die gleich der Kontextgr��e des Kontexts des ausgewerteten Ausdrucks ist.

Funktion: number position()

Die Funktion position liefert eine Zahl, die gleich der Kontextposition im Kontext des ausgewerteten Ausdrucks ist.

Funktion: number count(node-set)

Die Funktion count liefert die Anzahl der Knoten der �bergebenen Knotenmenge.

count(para[@type="warning"]/preceding-sibling::para)+1

Funktion: node-set id(object)

Die Funktion id w�hlt Elemente anhand ihrer eindeutigen ID aus (siehe [5.2.1 Eindeutige IDs]). Wenn als Argument eine Knotenmenge �bergeben wird, so ergibt sich das Ergebnis aus der Vereinigung der Knotenmengen, die durch den Aufruf von id mit dem Zeichenkettenwert jedes Knotens aus der �bergebenen Knotenmenge berechnet werden. Ist das Argument der Funktion id von einem beliebigen anderen Typ, so wird es wie bei einem Aufruf der Funktion string in eine Zeichenkette konvertiert; die Zeichenkette wird in eine durch Leerraumzeichen getrennte Liste von Tokens aufgeteilt (Leerraumzeichen sind beliebige Folgen von Zeichen, die sich aus der Produktion S ableiten lassen). Das Ergebnis ist eine Knotenmenge, die die Elemente aus dem Dokument des Kontextknotens enth�lt, die eine eindeutige ID mit dem gleichen Wert wie eines der Tokens der Liste besitzen.

• id("foo") w�hlt die Elemente mit der eindeutigen ID foo aus.

• id("foo")/child::para[position()=5] w�hlt das f�nfte para-Kindelement des Elements mit der eindeutigen ID foo aus.

id("foo bar baz") = id("foo") | id("bar") | id("baz")

@*[id(.) and count(id(.)|..)=1]

Funktion: string local-name(node-set?)

Die Funktion local-name liefert den lokalen Teil des erweiterten Namens des ersten Knotens in der Argumentknotenmenge bez�glich der Dokumentordnung. Falls die �bergebene Knotenmenge leer ist oder der erste Knoten keinen erweiterten Namen besitzt, wird eine leere Zeichenkette zur�ckgegeben. Wird kein Argument �bergeben, wird stattdessen eine Knotenmenge mit dem Kontextknoten als einzigem Element benutzt.

local-name(xhtml:body) = "body"
local-name(@xlink:href) = "href"
local-name(para) = "para"

Funktion: string namespace-uri(node-set?)

Die Funktion namespace-uri liefert den Namensraum-URI des erweiterten Namens des ersten Knotens in der Argumentknotenmenge bez�glich der Dokumentordnung. Falls die �bergebene Knotenmenge leer ist, der erste Knoten keinen erweiterten Namen besitzt oder der Namensraum-URI des erweiterten Namens leer ist, wird eine leere Zeichenkette zur�ckgegeben. Wird kein Argument �bergeben, wird stattdessen eine Knotenmenge mit dem Kontextknoten als einzigem Element benutzt.

Anmerkung: Die von der Funktion namespace-uri zur�ckgegebene Zeichenkette ist au�er f�r Element- oder Attributknoten immer leer.

Funktion: string name(node-set?)

Die Funktion name liefert eine Zeichenkette mit einem QName, die den erweiterten Namen des ersten Knotens in der Argumentknotenmenge bez�glich der Dokumentordnung repr�sentiert. Der QName muss den erweiterten Namen unter Ber�cksichtigung der Namensraumdeklarationen repr�sentieren, die f�r den Knoten g�ltig sind, dessen erweiterter Name repr�sentiert wird. Typischerweise ist das der QName, der in der XML-Quelle vorkommt. Das muss nicht der Fall sein, wenn es f�r den Knoten Namensraumdeklarationen gibt, die dem gleichen Namensraum mehrere Pr�fixe zuordnen. Allerdings kann eine Implementation Informationen �ber das Originalpr�fix speichern; in diesem Fall kann die Implementation sicherstellen, dass der zur�ckgegebene String immer der in der XML-Quelle benutzte QName ist. Falls die �bergebene Knotenmenge leer ist oder der erste Knoten keinen erweiterten Namen besitzt, wird eine leere Zeichenkette zur�ckgegeben. Wird kein Argument �bergeben, wird stattdessen eine Knotenmenge mit dem Kontextknoten als einzigem Element benutzt.

Anmerkung: Die von der Funktion name gelieferte Zeichenkette ist die gleiche wie die von der Funktion local-name gelieferte, au�er f�r Element- und Attributknoten.

descendant::*[local-name()=$lname and namespace-uri()=$uri]

4.2 Zeichenkettenfunktionen

Funktion: string string(object?)

Die Funktion string konvertiert ein Objekt wie folgt in eine Zeichenkette:

• Eine Knotenmenge wird in eine Zeichenkette konvertiert, indem der Zeichenkettenwert des ersten Knotens in Dokumentordnung zur�ckgegeben wird. Falls die Knotenmenge leer ist, wird eine leere Zeichenkette zur�ckgegeben.

  Anmerkung des �bersetzers: Der Zeichenkettenwert f�r jeden Knotentyp wird in Kapitel [5 Datenmodell] definiert. An dieser Stelle wird bereits zusammengefasst, welchen Wert die Funktion string abh�ngig vom jeweiligen Knotentyp zur�ckgibt. string [5.1 Wurzelknoten] Zeichenkettenwert des Dokumentelements (des einzigen Kindes des Wurzelknotens) [5.2 Elementknoten] Verkettung der Zeichenkettenwerte aller Element- und Text-Kindknoten [5.3 Attributknoten] normalisierter Attributwert [5.4 Namensraumknoten] URI, d.h. Name des Namensraumes [5.5 Processing-Instruction-Knoten] Inhalt, der dem Ziel der Processing Instruction folgt [5.6 Kommentarknoten] Kommentarinhalt [5.7 Textknoten] enthaltene Zeichendaten

• Eine Zahl wird wie folgt in eine Zeichenkette konvertiert:

  • NaN (Not a Number – keine g�ltige Zahl) wird in die Zeichenkette NaN konvertiert.

  • Positiv Null wird in die Zeichenkette 0 konvertiert.

  • Negativ Null wird in die Zeichenkette 0 konvertiert.

  • Positiv unendlich wird in die Zeichenkette Infinity konvertiert.

  • Negativ unendlich wird in die Zeichenkette -Infinity konvertiert.

  • Falls die Zahl ein Integer ist, wird sie in dezimaler Form als Number dargestellt, ohne Dezimalpunkt und f�hrende Nullen, mit negativem Vorzeichen (-), falls die Zahl negativ ist.

  • Ansonsten wird die Zahl in Dezimalform als Number dargestellt, einschlie�lich Dezimalpunkt, wenigstens einer Ziffer vor und nach dem Dezimalpunkt sowie einem negativen Vorzeichen (-), falls die Zahl negativ ist. Es d�rfen keine f�hrenden Nullen vor dem Dezimalpunkt auftreten mit Ausnahme der eventuell erforderlichen Ziffer direkt vor dem Dezimalpunkt. Abgesehen von der einen erforderlichen Ziffer nach dem Dezimalpunkt m�ssen dort so viele, aber nicht mehr, Ziffern auftreten, wie zur eindeutigen Unterscheidung von allen anderen IEEE 754 numerischen Werten notwendig sind.

• Der boolesche Wert falsch wird in die Zeichenkette false konvertiert. Der boolesche Wert wahr wird in die Zeichenkette true konvertiert.

• Die Konvertierung eines Objekts von einem anderen Typ als den vier Grundtypen h�ngt von diesem Typ ab.

Wird kein Argument �bergeben, wird stattdessen eine Knotenmenge mit dem Kontextknoten als einzigem Element benutzt.

Anmerkung: Die Funktion string ist nicht daf�r gedacht, Zahlen in Zeichenketten zu konvertieren, die an Nutzer ausgegeben werden. Die in [XSLT] definierte Funktion format-number und das ebenfalls dort definierte Element xsl:number stellen diese Funktionalit�t bereit.

Funktion: string concat(string, string, string*)

Die Funktion concat liefert die Verkettung ihrer Argumente.

Funktion: boolean starts-with(string, string)

Die Funktion starts-with liefert den logischen Wert wahr, falls die im ersten Argument �bergebene Zeichenkette mit der im zweiten Argument �bergebenen Zeichenkette beginnt, und andernfalls falsch.

Funktion: boolean contains(string, string)

Die Funktion contains liefert den logischen Wert wahr, falls die im ersten Argument �bergebene Zeichenkette die im zweiten Argument �bergebene Zeichenkette enth�lt, und andernfalls falsch.

Funktion: string substring-before(string, string)

Die Funktion substring-before liefert aus der im ersten Argument �bergebenen Zeichenkette die Teilzeichenkette, die vor dem ersten Auftreten der im zweiten Argument �bergebenen Zeichenkette steht, bzw. die leere Zeichenkette, falls die erste Zeichenkette nicht die zweite enth�lt. Zum Beispiel liefert substring-before("1999/04/01","/") das Ergebnis 1999.

Funktion: string substring-after(string, string)

Die Funktion substring-after liefert aus der im ersten Argument �bergebenen Zeichenkette die Teilzeichenkette, die nach dem ersten Auftreten der im zweiten Argument �bergebenen Zeichenkette steht, bzw. die leere Zeichenkette, falls die erste Zeichenkette nicht die zweite enth�lt. Zum Beispiel liefert substring-after("1999/04/01","/") das Ergebnis 04/01 und substring-after("1999/04/01","19") liefert 99/04/01.

Funktion: string substring(string, number, number?)

Die Funktion substring liefert aus der im ersten Argument �bergebenen Zeichenkette die Teilzeichenkette, die an der im zweiten Argument angegebenen Position beginnt und die im dritten Argument angegebene L�nge besitzt. Zum Beispiel liefert substring("12345",2,3) das Ergebnis "234". Falls kein drittes Argument angegeben wird, liefert die Funktion die Teilzeichenkette, die an der im zweiten Argument angegebenen Position beginnt und bis zum Ende der Zeichenkette reicht. Zum Beispiel liefert substring("12345",2) das Ergebnis "2345".

Genauer gesagt wird f�r jedes Zeichen der Zeichenkette (siehe [3.6 Zeichenketten]) eine numerische Position angenommen: die Position des ersten Zeichens ist 1, die Position des zweiten Zeichens ist 2 usw.

Anmerkung: Dies unterscheidet sich von Java und ECMAScript, in denen die Methode String.substring die Position des ersten Zeichens mit 0 definiert.

Die zur�ckgegebene Teilzeichenkette enth�lt die Zeichen, deren Position gr��er oder gleich dem gerundeten Wert des zweiten Arguments ist und, falls ein drittes Argument �bergeben wurde, kleiner als die Summe des gerundeten Wertes des zweiten und des gerundeten Wertes des dritten Arguments. Vergleich und Addition folgen den Standardregeln von IEEE 754; die Rundung erfolgt wie durch die Funktion round. Die folgenden Beispiele illustrieren einige un�bliche F�lle:

• substring("12345", 1.5, 2.6) liefert "234"

• substring("12345", 0, 3) liefert "12"

• substring("12345", 0 div 0, 3) liefert ""

• substring("12345", 1, 0 div 0) liefert ""

• substring("12345", -42, 1 div 0) liefert "12345"

• substring("12345", -1 div 0, 1 div 0) liefert ""

substring(string, 1 div boolean-test)

concat(substring(true-string, 1 div boolean-test),
       substring(false-string, 1 div not(boolean-test)))

Funktion: number string-length(string?)

Die Funktion string-length liefert die Anzahl der Zeichen der Zeichenkette (siehe [3.6 Zeichenketten]). Falls kein Argument �bergeben wurde, wird der in eine Zeichenkette konvertierte Kontextknoten angenommen, mit anderen Worten der Zeichenkettenwert des Kontextknotens.

$str2 = substring($str1, string-length($str1) - string-length($str2) + 1)

concat(substring("                                             ",
                 1, $width - string-length($eingabe)), $eingabe)

Funktion: string normalize-space(string?)

Die Funktion normalize-space liefert als Ergebnis die �bergebene Zeichenkette mit normalisiertem Leerraum zur�ck, d.h. f�hrender und abschlie�ender Leerraum werden entfernt, Folgen von mehreren Leerraumzeichen werden durch ein einzelnes Leerzeichen ersetzt. Leerraumzeichen sind jene, die durch die Produktion S in XML definiert sind. Falls kein Argument �bergeben wurde, wird der in eine Zeichenkette konvertierte Kontextknoten angenommen, mit anderen Worten der Zeichenkettenwert des Kontextknotens.

   Otto Normal

.="Otto Normal"

normalize-space()="Otto Normal"

.="Otto Normal" and not(preceding-sibling::name="Otto Normal")

normalize-space()="Otto Normal" and
not(normalize-space(preceding-sibling::name)="Otto Normal")

normalize-space()="Otto Normal" and
not(preceding-sibling::name[normalize-space()="Otto Normal"])

Funktion: string translate(string, string, string)

Die Funktion translate liefert als Ergebnis die im ersten Argument �bergebene Zeichenkette, wobei jedes Vorkommen eines Zeichens aus der im zweiten Argument �bergebenen Zeichenkette ersetzt wird durch das Zeichen an der korrespondierenden Position aus der im dritten Argument �bergebenen Zeichenkette. Zum Beispiel liefert translate("bar","abc","ABC") die Zeichenkette BAr. Wenn es im zweiten Argument ein Zeichen gibt, f�r das kein korrespondierendes Zeichen im dritten Argument existiert (weil das zweite Argument l�nger ist als das dritte), so werden alle Vorkommen dieses Zeichens im ersten Argument entfernt. Zum Beispiel liefert translate("--aaa--","abc-","ABC") das Ergebnis "AAA". Falls ein Zeichen mehrmals im zweiten Argument vorkommt, bestimmt das erste Auftreten das Ersetzungszeichen. Falls die im dritten Argument �bergebene Zeichenkette l�nger ist als die zweite, werden �berz�hlige Zeichen ignoriert.

Anmerkung: Die Funktion translate ist keine ausreichende L�sung f�r die Umwandlung zwischen Gro�- und Kleinschreibung in allen Sprachen. Eine zuk�nftige Version von XPath kann zus�tzliche Funktionen f�r diese Umwandlung zur Verf�gung stellen.

...

   ...

concat(substring-before($string, $from), $to,
       substring-after($string, $from))

translate($string, $allowed-char, "") = ""

4.3 Boolesche Funktionen

Funktion: boolean boolean(object)

Die Funktion boolean konvertiert ihr Argument wie folgt in einen Boolean-Wert:

• Eine Zahl ergibt den Wert wahr genau dann, wenn sie weder positiv oder negativ Null noch NaN ist.

• Eine Knotenmenge ergibt den Wert wahr genau dann, wenn sie nicht leer ist.

  Anmerkung des �bersetzers: Aus diesem Grund l�sst sich ein Test auf das Vorhandensein von Knoten sehr kompakt aufschreiben: img[@alt] bedeutet dasselbe wie img[boolean(@alt)]. Gesucht ist damit ein img-Element, das ein alt-Attribut besitzt.

• Eine Zeichenkette ergibt genau dann den Wert wahr, wenn ihre L�nge ungleich Null ist.

  Anmerkung des �bersetzers: Zum Vergleich mit dem letzten Beispiel: img[string(@alt)] steht abk�rzend f�r img[boolean(string(@alt))] und bedeutet jetzt, dass ein img-Element gesucht wird, dessen alt-Attribut einen nichtleeren Zeichenkettenwert besitzt. F�r w�re der erste Test erf�llt, der zweite jedoch nicht.

• Die Konvertierung eines Objekts von einem anderen Typ als den vier Grundtypen h�ngt von diesem Typ ab.

Funktion: boolean not(boolean)

Die Funktion not liefert den Wert wahr, wenn ihr Argument falsch ist, und ansonsten falsch.

Funktion: boolean true()

Die Funktion true liefert den Wert wahr.

Funktion: boolean false()

Die Funktion false liefert den Wert falsch.

Funktion: boolean lang(string)

Die Funktion lang liefert einen Wert wahr oder falsch in Abh�ngigkeit davon, ob die durch xml:lang-Attribute angegebene Sprache des Kontextknotens die gleiche oder eine Untersprache der im Argument �bergebenen Zeichenkette ist. Die Sprache des Kontextknotens wird durch den Wert des Attributes xml:lang des Kontextknotens bestimmt oder, wenn der Kontextknoten kein Attribut xml:lang besitzt, durch den Wert des Attributes xml:lang beim n�chsten Vorfahren des Kontextknotens, der ein Attribut xml:lang besitzt. Wenn es kein solches Attribut gibt, liefert lang den Wert falsch. Wenn es ein solches Attribut gibt, liefert lang den Wert wahr, wenn der Attributwert gleich dem Argument ist, unabh�ngig von der Gro�- oder Kleinschreibung, oder wenn es ein mit - beginnendes Suffix derart gibt, dass der Attributwert gleich dem Argument ohne dieses Suffix ist, unabh�ngig von der Gro�- oder Kleinschreibung. Beispielsweise w�rde lang("en") den Wert wahr liefern, wenn es sich beim Kontextknoten um eines dieser f�nf Elemente handelt:

4.4 Zahlenfunktionen

Funktion: number number(object?)

Die Funktion number konvertiert ihr Argument wie folgt in eine Zahl:

• Eine Zeichenkette, die aus optionalem Leerraum besteht, gefolgt von einem optionalen Minuszeichen, gefolgt von einer Number, gefolgt von Leerraum, wird in eine IEEE-754-Zahl konvertiert, die (entsprechend den Rundungsregeln in IEEE 754) dem mathematischen Wert am n�chsten ist, der durch die Zeichenkette repr�sentiert wird. Jede andere Zeichenkette wird in NaN konvertiert.

• Der boolesche Wert wahr wird in 1 konvertiert; der boolesche Wert falsch wird in 0 konvertiert.

• Eine Knotenmenge wird zun�chst wie beim Aufruf der Funktion string in eine Zeichenkette konvertiert und anschlie�end in der gleichen Weise wie eine Zeichenkette konvertiert.

• Die Konvertierung eines Objekts von einem anderen Typ als den vier Grundtypen h�ngt von diesem Typ ab.

Wird kein Argument �bergeben, wird stattdessen eine Knotenmenge mit dem Kontextknoten als einzigem Element benutzt.

Anmerkung: Die Funktion number sollte nicht f�r die Konvertierung numerischer Daten in einem Element eines XML-Dokuments benutzt werden, es sei denn, das Element ist von einem Typ, der numerische Daten in einem sprachunabh�ngigen Format repr�sentiert (das typischerweise f�r die Pr�sentation f�r einen Anwender in ein sprachspezifisches Format umgewandelt w�rde). Dar�ber hinaus kann die Funktion number nur genutzt werden, wenn das von dem Element genutzte sprachunabh�ngige Format mit der XPath-Syntax f�r Number konsistent ist.

Funktion: number sum(node-set)

Die Funktion sum liefert die Summe aller in eine Zahl konvertierten Zeichenkettenwerte der Knoten aus der Argumentknotenmenge.

Funktion: number floor(number)

Die Funktion floor liefert die gr��te Zahl (die am n�chsten an positiv unendlich liegt), die nicht gr��er als das Argument und ganzzahlig ist.

Funktion: number ceiling(number)

Die Funktion ceiling liefert die kleinste Zahl (die am n�chsten an negativ unendlich liegt), die nicht kleiner als das Argument und ganzzahlig ist.

Funktion: number round(number)

Die Funktion round liefert die Zahl, die am n�chsten am Argument liegt und die ganzzahlig ist. Wenn es zwei solche Zahlen gibt, wird die Zahl geliefert, die n�her an positiv unendlich liegt. Ist das Argument NaN, wird NaN zur�ckgegeben. Ist das Argument positiv unendlich, wird positiv unendlich zur�ckgegeben. Ist das Argument negativ unendlich, wird negativ unendlich zur�ckgegeben. Ist das Argument positiv Null, wird positiv Null zur�ckgegeben. Ist das Argument negativ Null, wird negativ Null zur�ckgegeben. Ist das Argument kleiner als Null, aber gr��er oder gleich -0.5, wird negativ Null zur�ckgegeben.

Anmerkung: In den letzten beiden F�llen ist das Ergebnis des Aufrufs der Funktion round verschieden von der Addition von 0.5 und dem Aufruf der Funktion floor.

5 Datenmodell

XPath operiert auf der Baumrepr�sentation eines XML-Dokuments. Das folgende Kapitel beschreibt, wie XPath ein XML-Dokument als Baum modelliert. Dieses Modell ist rein konzeptionell und schreibt keinerlei spezielle Implementation vor. Die Beziehung zwischen diesem Modell und der XML-Informationsmenge [XML Infoset] wird in [B Abbildung auf die XML-Informationsmenge] beschrieben.

Die durch XPath verarbeiteten XML-Dokumente m�ssen sich nach der XML-Namensraum-Empfehlung [XML Names] richten.

Der Baum enth�lt Knoten. Es gibt sieben Typen von Knoten:

• Wurzelknoten

• Elementknoten

• Textknoten

• Attributknoten

• Namensraumknoten

• Processing-Instruction-Knoten

• Kommentarknoten

F�r jeden Knotentyp gibt es einen Weg, den Zeichenkettenwert eines Knotens dieses Typs zu bestimmen. Bei einigen Knotentypen ist der Zeichenkettenwert Teil des Knotens, bei anderen Knotentypen wird der Zeichenkettenwert aus den Zeichenkettenwerten der Nachkommen berechnet.

Anmerkung: F�r Element- und Wurzelknoten ist der Zeichenkettenwert eines Knotens verschieden von der Zeichenkette, die von der DOM-Methode nodeValue zur�ckgegeben wird (siehe [DOM]).

Einige Knotentypen besitzen au�erdem einen erweiterten Namen – ein Paar bestehend aus einem lokalen Teil und einem Namensraum-URI. Der lokale Teil ist eine Zeichenkette. Der Namensraum-URI ist entweder leer oder eine Zeichenkette. Der im XML-Dokument spezifizierte Namensraum-URI kann eine URI-Referenz sein, wie sie in [RFC2396] definiert ist; das bedeutet, sie kann einen Fragment-Bezeichner besitzen und sie kann relativ sein. Ein relativer URI sollte als absoluter URI w�hrend der Namensraum-Verarbeitung aufgel�st werden: Die Namensraum-URIs der erweiterten Namen von Knoten im Datenmodell sollten absolut sein. Zwei erweiterte Namen sind gleich, wenn sie den gleichen lokalen Teil haben und wenn beide einen leeren Namensraum-URI oder beide die gleichen, nichtleeren Namensraum-URIs besitzen.

Es existiert eine Ordnung, die Dokumentordnung, die f�r alle Knoten im Dokument definiert ist und die zu der Ordnung korrespondiert, in der die ersten Zeichen der XML-Repr�sentation aller Knoten in der XML-Repr�sentation des Dokuments nach der Expandierung allgemeiner Entities stehen. Der Wurzelknoten ist demzufolge der erste Knoten. Elementknoten stehen vor ihren Kindern. Das bedeutet, die Dokumentordnung ordnet Elementknoten in der Reihenfolge ihrer Start-Tags im XML-Dokument (nach der Expandierung von Entities). Attribut- und Namensraumknoten eines Elements kommen vor den Kindern des Elements. Namensraumknoten erscheinen per Definition vor den Attributknoten. Die relative Ordnung innerhalb der Namensraumknoten ist implementationsabh�ngig. Die relative Ordnung innerhalb der Attributknoten ist implementationsabh�ngig. Die umgekehrte Dokumentordnung ist die Umkehrung der Dokumentordnung.

Wurzel- und Elementknoten besitzen eine geordnete Liste von Kindknoten. Mehrere Knoten haben niemals gemeinsame Kinder: Wenn ein Knoten von einem anderen Knoten verschieden ist, dann ist kein Kindknoten des einen Knotens mit einem der Kindknoten des anderen Knotens identisch. Jeder Knoten mit Ausnahme des Wurzelknotens besitzt genau einen Elternknoten, wobei dieser entweder ein Elementknoten oder der Wurzelknoten ist. Ein Wurzel- oder ein Elementknoten ist der Elternknoten jedes seiner Kindknoten. Die Nachkommen eines Knotens sind die Kinder des Knotens sowie die Nachkommen der Kinder des Knotens.

5.1 Wurzelknoten

Der Wurzelknoten ist die Wurzel des Baumes. Ein Wurzelknoten kommt nur als Wurzel des Baumes vor. Der Elementknoten f�r das Dokumentelement ist ein Kind des Wurzelknotens. Der Wurzelknoten hat als Kinder ebenfalls Processing-Instruction-Knoten und Kommentarknoten f�r Processing Instructions und Kommentare, die im Prolog oder hinter dem Ende des Dokumentelements auftreten.

Der Zeichenkettenwert des Wurzelknotens ergibt sich aus der Verkettung der Zeichenkettenwerte aller Textknoten in Dokumentordnung, die Nachkommen des Wurzelknotens sind.

string(/) = string(/*)

Der Wurzelknoten hat keinen erweiterten Namen.

5.2 Elementknoten

F�r jedes Element im Dokument gibt es einen Elementknoten. Ein Elementknoten besitzt einen erweiterten Namen, der sich durch Expandierung des im Tag des Elements spezifizierten QName in �bereinstimmung mit der XML-Namensraum-Empfehlung [XML Names] ergibt. Der Namensraum-URI des erweiterten Namens des Elements ist leer, wenn der QName kein Pr�fix enth�lt und es keinen anwendbaren voreingestellten Namensraum gibt.

Anmerkung: In der im Anhang A.3 von [XML Names] verwendeten Notation entspricht der lokale Teil des erweiterten Namens dem Attribut type des Elements ExpEType; der Namensraum-URI des erweiterten Namens entspricht dem Attribut ns des Elements ExpEType und ist leer, wenn das Attribut ns des Elements ExpEType weggelassen wurde.

Die Kinder eines Elementknotens sind die enthaltenen Elementknoten, Kommentarknoten, Processing-Instruction-Knoten und Textknoten. Entity-Referenzen zu internen und externen Entities werden expandiert. Zeichenreferenzen werden aufgel�st.

Der Zeichenkettenwert eines Elementknotens ergibt sich aus der Verkettung der Zeichenkettenwerte aller Textknoten, die Nachkommen des Elementknotens in Dokumentordnung sind.

5.2.1 Eindeutige IDs

Ein Elementknoten kann einen eindeutigen Bezeichner (ID) besitzen. Dies ist der Wert des Attributes, das in der DTD mit dem Typ ID deklariert wurde. Keine zwei Elemente in einem Dokument d�rfen den gleichen eindeutigen Bezeichner besitzen. Falls ein XML-Prozessor zwei Elemente in einem Dokument mit dem gleichen eindeutigen Bezeichner meldet (was nur m�glich ist, wenn das Dokument ung�ltig ist), dann muss das zweite Element in Dokumentordnung so behandelt werden, als habe es keinen eindeutigen Bezeichner.

Anmerkung: Wenn ein Dokument keine DTD besitzt, dann hat kein Element des Dokuments einen eindeutigen Bezeichner.

5.3 Attributknoten

Jedes Element besitzt eine mit ihm verbundene Menge von Attributknoten; das Element ist der Elternknoten jedes dieser Attributknoten. Allerdings ist ein Attributknoten kein Kind seines Elternknotens.

Anmerkung: Dies unterscheidet sich vom DOM, welches ein Element nicht als Elternknoten seiner Attribute behandelt (siehe [DOM]).

Mehrere Elemente haben niemals gemeinsame Attributknoten: Wenn ein Elementknoten verschieden von einem anderen Elementknoten ist, dann ist kein Attributknoten des einen Elementknotens mit einem der Attributknoten eines anderen Elementknotens identisch.

Anmerkung: Der Operator = testet, ob zwei Knoten den gleichen Wert haben, nicht ob es dieselben Knoten sind. Vergleicht man die Attribute von zwei verschiedenen Elementen mittels =, so kann sich Gleichheit ergeben, obwohl diese nicht dieselben Knoten sind.

Ein vorgegebenes Attribut wird genauso behandelt wie ein spezifiziertes Attribut. Falls f�r einen Elementtyp ein Attribut in der DTD deklariert wurde, der Vorgabewert jedoch als #IMPLIED deklariert und das Attribut f�r das Element nicht angegeben wurde, so enth�lt die Attributmenge des Elements keinen Knoten f�r dieses Attribut.

]>

Einige Attribute, wie xml:lang und xml:space, besitzen die Semantik, dass sie f�r alle Elemente gelten, die Nachkommen des Elements sind, das das Attribut tr�gt, es sei denn, sie wurden in einer Instanz eines Nachkommenelements durch das gleiche Attribut �berschrieben. Das wirkt sich allerdings nicht darauf aus, wo Attributknoten im Baum vorkommen: Ein Element besitzt nur Attributknoten f�r die Attribute, die explizit im Start-Tag oder Leeres-Element-Tag dieses Elements angegeben wurden oder die in der DTD explizit mit einem Vorgabewert deklariert wurden.

Ein Attributknoten hat einen erweiterten Namen und einen Zeichenkettenwert. Der erweiterte Name wird durch Expandierung des im Tag im XML-Dokument angegebenen QName in �bereinstimmung mit der XML-Namensraum-Empfehlung [XML Names] berechnet. Der Namensraum-URI des Attributnamens ist leer, falls der QName des Attributs kein Pr�fix enth�lt.

Anmerkung: In der im Anhang A.3 von [XML Names] verwendeten Notation entspricht der lokale Teil des erweiterten Namens dem Attribut name des Elements ExpAName; der Namensraum-URI des erweiterten Namens entspricht dem Attribut ns des Elements ExpAName und ist leer, wenn das Attribut ns des Elements ExpAName weggelassen wurde.

Ein Attributknoten besitzt einen Zeichenkettenwert. Dieser Zeichenkettenwert ist der durch die XML-Empfehlung [XML] spezifizierte normalisierte Wert. Ein Attribut, dessen normalisierter Wert eine Zeichenkette der L�nge null ist, wird nicht gesondert behandelt: Es resultiert in einem Attributknoten, dessen Zeichenkettenwert eine Zeichenkette der L�nge null ist.

Anmerkung: Es ist m�glich, dass Attribute mit Vorgabewerten in einer externen DTD oder einem externen Parameter-Entity deklariert werden. Die XML-Empfehlung verlangt nicht, dass ein XML-Prozessor eine externe DTD oder ein externes Parameter-Entity einliest, es sei denn, dieser ist validierend. Ein Stylesheet oder ein anderes Werkzeug, das annimmt, der XPath-Baum enthalte in einer externen DTD oder einem externen Parameter-Entity deklarierte Vorgabewerte, kann m�glicherweise mit nicht-validierenden XML-Prozessoren nicht funktionieren.

Es gibt keine Attributknoten zu Attributen, die Namensr�ume deklarieren (siehe [XML Names]).

5.4 Namensraumknoten

Jedem Element ist eine Menge von Namensraumknoten zugeordnet, einer f�r jedes einzelne Namensraum-Pr�fix, das f�r das Element g�ltig ist (einschlie�lich des Pr�fixes xml, das implizit durch die XML-Namensraum-Empfehlung deklariert wird) und einer f�r den voreingestellten Namensraum, falls einer f�r das Element g�ltig ist. Das Element ist der Elternknoten jedes dieser Namensraumknoten; ein Namensraumknoten ist allerdings kein Kind seines Elternelements. Mehrere Elemente haben niemals gemeinsame Namensraumknoten: Wenn ein Elementknoten verschieden von einem anderen Elementknoten ist, dann ist kein Namensraumknoten des einen Elementknotens mit einem der Namensraumknoten eines anderen Elementknotens identisch. Das bedeutet, ein Element besitzt einen Namensraumknoten:

• f�r jedes Attribut des Elements, dessen Name mit xmlns: beginnt;

• f�r jedes Attribut eines Vorfahrenelements, dessen Name mit xmlns: beginnt, es sei denn, das Element selbst oder ein n�herer Vorfahre deklariert das Pr�fix um;

• f�r ein xmlns-Attribut, falls das Element oder ein Vorfahre ein xmlns-Attribut besitzt und der Wert des xmlns-Attributs beim n�chsten dieser Elemente nicht leer ist.

  Anmerkung: Ein Attribut xmlns="" "undeklariert" den voreingestellten Namensraum (siehe [XML Names]).

Ein Namensraumknoten besitzt einen erweiterten Namen: Der lokale Teil ist das Namensraum-Pr�fix (dieses ist leer, falls der Namensraumknoten den voreingestellten Namensraum repr�sentiert); der Namensraum-URI ist immer leer.

Der Zeichenkettenwert eines Namensraumknotens ist der Namensraum-URI, der an das Namensraum-Pr�fix gebunden ist. Wenn dieser relativ ist, muss er wie ein Namensraum-URI in einem erweiterten Namen aufgel�st werden.

string(namespace::*[name()=substring-before(../@type,':')])

namespace::*[name()='']

5.5 Processing-Instruction-Knoten

F�r jede Processing Instruction gibt es einen Processing-Instruction-Knoten, mit Ausnahme der Processing Instructions, die innerhalb der Dokumenttyp-Deklaration erscheinen.

Eine Processing Instruction besitzt einen erweiterten Namen: Der lokale Teil ist das Ziel der Processing Instruction; der Namensraum-URI ist leer. Der Zeichenkettenwert eines Processing-Instruction-Knotens ist der Teil der Processing Instruction, der dem Ziel und allem Leerraum folgt. Dieser beinhaltet nicht das abschlie�ende ?>.

Anmerkung: Die XML-Deklaration ist keine Processing Instruction. Daher gibt es auch keinen Processing-Instruction-Knoten f�r die XML-Deklaration.

5.6 Kommentarknoten

F�r jeden Kommentar gibt es einen Kommentarknoten, mit Ausnahme der Kommentare, die innerhalb der Dokumenttyp-Deklaration erscheinen.

Der Zeichenkettenwert eines Kommentarknotens ist der Inhalt des Kommentars ohne die �ffnenden Zeichen .

Ein Kommentarknoten besitzt keinen erweiterten Namen.

5.7 Textknoten

Zeichendaten werden in Textknoten zusammengefasst. Dabei werden so viele Zeichen wie m�glich in jedem Textknoten zusammengefasst: Ein Textknoten hat niemals als direkten Vorg�nger oder Nachfolger einen anderen Textknoten. Der Zeichenkettenwert eines Textknotens besteht aus den Zeichendaten. Ein Textknoten enth�lt immer wenigstens ein Zeichen.

Jedes Zeichen innerhalb eines CDATA-Abschnittes wird wie Zeichendaten behandelt. So wird im Quelldokument genauso behandelt wie <. Beides ergibt das einzelne Zeichen < in einem Textknoten innerhalb des Baumes. Ein CDATA-Abschnitt wird damit so behandelt, als w�rden und ]]> entfernt und jedes Vorkommen von < und & durch < bzw. & ersetzt werden.

A

A
A

   Hier folgen Beispiel & Erkl�rung:
    10 and a < 20]]> bedeutet ...

   Herr M�ller-L�denscheidt