Génération de nombres aléatoires formatés

Bonjour,
Je cherche à générer des nombres aléatoires formattés de cette façon :
compris entre 0 et 9999, mais je veux toujours avoir 4 chiffres significatifs dans mon résultat.
Cela revient à combler par des zéros les nombres inférieurs à 1000.

J'ai commencé avec :

Code:

---

1 2	(Integer)(Math.random()*10000)).toString().format("0000");

---

Mais je n'obtiens rien de concluant...

Je sais qu'avec une bête fonction je pourrai faire ça à la main, mais il doit bien exister un objet qui gère ça proprement?

Merci

Bonjour,

Quelque-chose comme ça devrait fonctionner :

Code:

---

1 2 3 4

NumberFormat nf = NumberFormat.getInstance(); nf.setMinimumIntegerDigits(4); nf.setGroupingUsed(false); System.out.println(nf.format(111));

---

Merci, c'est exactement ce que je cherchais.
Mais j'ai un problème, lorsque je fais :

Code:

---

1 2 3 4 5 6

NumberFormat nf = NumberFormat.getInstance(); nf.setMinimumIntegerDigits(4); nf.setGroupingUsed(false);   System.out.println(nf.format((Integer)(Math.random()*10000)));

---

Le code refuse de compiler, en me disant qu'on ne peut pas convertir un double en int.

Comment faire pour le troncaturerau chiffre avant la virgule?

Code:

---

1 2 3

Random rd = new Random() ; String val = String.format("%04d", rd.nextInt(1000)) ;

---

Merci de votre aide, c'est ce que je recherchais!