| 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. |