conversion d'une chaine H:MM:SS en un temps?

Bonjour,
j'ai actuellement une interface dans laquelle l'utilisateur entre un time-out sous la forme (H)H:MM:SS. Mais pour pouvoir l'utiliser j'ai besoin de le récupérer sous forme d'un nombre de (milli)secondes. Est-ce qu'il existe un utilitaire quelque part dans Java qui ferait cela ou dois-je m'écrire un parser de la chaine pour faire le calcul?

Merci d'avance de vos réponses.

Tu peux utiliser SimpleDateFormat

Code:

---

1 2 3 4 5 6

public static void main(String[] args) throws IOException, ParseException { SimpleDateFormat format = new SimpleDateFormat("HH:mm:ss"); format.setTimeZone(TimeZone.getTimeZone("GMT")); String heure = "00:05:10"; System.out.printf ("%s est %d millisecondes\n",heure,format.parse(heure).getTime()); }

---

Code:

---

00:05:10 est 310000 millisecondes

---

Ca marche. Merci beaucoup. J'avais cherché dans cette direction mais sans trouvé le truc.

Salut,


Attention tout de même au SimpleDateFormat qui traite des dates et non pas des durées. En utilisant le timezone GMT on peut "simuler" cela mais ce n'est pas l'objectif réel de cette classe.

Surtout qu'un parse manuel n'est pas bien méchant :

Code:

---

1 2 3 4 5 6 7 8

public static long parse(String duration) throws IllegalArgumentException, NumberFormatException { String[] v = duration.split(":"); if (v.length!=3) throw new IllegalArgumentException("duration"); return Long.parseLong(v[2]) + // secondes (Long.parseLong(v[1]) * 60) + // minutes (Long.parseLong(v[0]) * 60 * 60); // heures }

---

a++

adiguba: je vois pas où est le problème. Date est officiellement documenté comem étant le nombre de milli seconde depuis le 1er janvier 1970 minuit. Un parsing n'ayant pas la section "date" présent met cette valeur au premier janvier 1970. La solution est donc robuste, claire et c'est pas une bidouille quelconque, c'est le résultat attendu d'une méthode utilisée telle qu'elle est documentée et doit être utilisée.

Même l'api encourage ce genre d'utilisation puisqu'elle fournis une méthode DateFormat.getTimeInstance() qui ne gère que la partie "heure".

Enfin, le code d'un parse manuel est beuacoup moins aisément lisible que l'utilisation d'un DateFormat.

Malheureusement l'API des dates de Java n'est pas un modèle du genre...

Un temps (ou une durée) c'est différent d'une date.
Des APIs plus élaborées comme Joda Time ou la JSR-310 distinguent bien ces concepts.

Après ca marche avec un DateFormat en GMT, je n'ai pas dit le contraire... mais je pense que ce n'est pas forcément le meilleur choix.


a++