[Regexp] déspécialisé le caractère "pipe"

Bonjour,

je dois parser une document HTML afin de récupérer les valeurs contenues dans une balise <select>.

Mon problème vient du fait que les valeurs des balises options contiennent plusieurs informations séparées par des pipes :

Code:

---

<option value="xxx|yyy|zzz">texte</option>

---

J'arrive à récupérer un Element Dom et à faire element.getAttribute("value"). Je souhaite extraire les différentes informations via un split mais celui-ci prend en paramètre un regexp. Si je met le caractère pipe celui-ci est interprété comme un "ou".

Comment déspécialisé ce caractère ? Sinon, je peux utiliser d'autres solutions (boucle de indexOf("|"), ...).

Salut,


Il suffit d'utiliser le caractère \ (sans oublier de la doubler) :

Code:

---

String[] data = str.split("\\|");

---

:faq: Pourquoi dois-je doubler/quadrupler le caractère anti-slash ('\') ?


Sinon on peut également utiliser \Q\E ou Pattern.quote() pour protéger toute une sous-chaine :
:faq: Comment empêcher les expressions régulières d'interpréter une sous-chaînes ?

a++