XPath 2.0

2. Nouveaux types

Aux types déjà présents dans XPath 1.0 sont ajoutés les types de base définit pour XML Schema3 [1]. On y retrouve les types classiques en programmation mais aussi des types tels que xs:date ou xs:anyURI...

Une autre nouveauté est l’apparition du type «sequence» qui reprend la notion de «node-set». Voici quelques exemples :

• (a, b, c , d) : une séquence de 4 éléments ;
• (10 to 50) : un constructeur de séquence générant une séquence d’entiers de 10 à 50 ;
• () : la séquence vide, sans contenu.

Dans XPath 2.0, le résultat de toute expression, tout chemin est un séquence. Une étape de localisation a pour résultat une séquence de valeurs (éventuellement des noeuds) sur laquelle s’appliquera aussi bien un filtre qu’une autre étape de localisation (sur chacune des valeurs de la séquence). Ainsi, il est possible de faire : «(30 to 50)[. mod 5 = 0]» qui retourne la séquence «(30, 35, 40, 45, 50)». A noter qu’avec XPath 2.0, une valeur seule ou une séquence avec seulement la valeur est identique. Ainsi «2 = (2)».

De même, l’expression «/annuaire/personne[nom='Dupont']/prenom» se calculera de la manière suivante :

1. le document ;

2. (/) /annuaire

   donne

   (annuaire[1])

3. (/annuaire[1]) /personne

   donne

   (/annuaire[1]/personne[1], /annuaire[1]/personne[2])

4. (/annuaire[1]/personne[1], /annuaire[1]/personne[2]) [nom=‘Dupont’]

   donne

   (/annuaire[1]/personne[2])

5. (/annuaire[1]/personne[2]) /prenom

   donne

   (/annuaire[1]/personne[2]/prenom[1])

3. Nouvelles fonctions

De nouvelles fonctions sont associées aux séquences : distinct-values, remove, reverse, subsequence, avg, min, max, sum... L’ensembles des fonctions, parfois préfixées par «fn:», sont présentées dans le standard [2].

Avec XPath 2.0, il est aussi possible d’appuyer la recherche sur des documents complémentaires en utilisant «doc(URI)». Il existe aussi une nouvelle fonction nommée "idref", symétrique de la fonction "id" déjà présente en XPath 1.0. "idref", lorsque le paramètre est un identifiant XML, retourne une séquence d’attributs de type IDREF ou IDREFS qui contiennent cet identifiant.

4. Nouveaux opérateurs

Ainsi, les expressions suivantes sont valides [3] :

• 8 = 4+4

  car c’est aussi

  (8) = (4+4)

• (1, 2) = (2, 4)

  car il y a un 2 dans chacune des séquences ;

• //personne/nom/text() = ‘Albert’

Il existe aussi des comparateurs sur les noeuds de l’arbre XML. «is» détermine si deux résultats référencent le même noeud. Ainsi, l’expression suivante est vérifiée : 


(//personne)[2] is //personne[nom eq ‘Dupont’]

Dans le même esprit, XPath 2.0 propose deux opérateurs d’ordre «<<« et «>>». Ainsi, l’expression suivante est vérifiée :

(//personne)[4] >> (//personne)[3]

L’utilisation des opérateurs de comparaison n’est pas très naturelle. Il convient donc d’y être attentif et d’utiliser les opérateurs adaptés. Par exemple :

• ((//personne)[1]/prenom,(//personne)[1]/date) 
eq ((//personne)[2]/prenom[2], (//personne)[2]/date))

  
n’est vérifiée, car les arguments ne sont pas des singletons ;

• ((//personne)[1]/prenom, (//personne)[1]/date) 
= ((//personne)[2]/prenom[2], (//personne)[2]/date))

  
est vérifiée, car les deux prénoms sont les mêmes ;

• ((//personne)[1]/prenom, (//personne)[1]/date) 
is ((//personne)[2]/prenom[2], (//personne)[2]/date))

  
provoque une «runtime error», car les arguments ne sont pas des singletons.

Les opérateurs logiques sont habituels «and» et «or». Attention au changement de type implicite. Les arguments valent «false» si la valeur est :

• le booléen «false()» ;
• le séquence vide ;
• la chaîne vide ;
• l’entier zéro.

Les valeurs constantes sont obtenues par les fonctions «true()» et «false()». Attention, la négation n’est pas un opérateur, mais une fonction «not(...)» !

5. Conclusion

/edt/liste_profs/prof[
  @idprof = /edt/liste_semaines/semaine/jour/creneau/@nprof
]/concat(prenom,' ',nom)