19,6 → 19,12 |
":"+ // Séparateur d'heure et minute |
"(?:[0-5][0-9]|60)$"; // Minutes; |
|
public static final String latitude = "^-?"+ // Nombre positif ou négatif |
"([0-8]?[0-9]([.,][0-9]*)?|90)$"; // Nombre décimal allant de 0 à 89 ou nombre entier valant 90 avec pour séparateur des décimales "." ou "," |
|
public static final String longitude = "^-?"+ // Nombre positif ou négatif |
"((1[0-7][0-9]|[1-9]?[0-9])([.,][0-9]*)?|180)$"; // Nombre décimal allant de 0 à 179 ou nombre entier valant 180 avec pour séparateur des décimales "." ou "," |
|
/** |
* Méthode similaire à la méthode : java.util.Pattern.quote(). |
* java.util.Pattern n'est pas implémenté par GWT. |