Quote:
Originariamente inviato da silvia_m
Sono stringhe che leggo da un db
|
se sono "stringhe", ma contengono interi e tu puoi trattarli come tali allora basta fare così:
Codice:
PrintWriter pw = new PrintWriter(new FileWriter("ciao.txt"));
String myFormat = "%1$05%d%n"; // %0 <- padding di zero
// 5 <- lunghezza totale
// %d <- formatta intero
// %n <- "\n"
pw.format(myFormat, 1);
pw.format(myFormat, 12);
pw.format(myFormat, 123);
pw.format(myFormat, 1234);
pw.format(myFormat, 12345);
pw.format(myFormat, 123456);
pw.close();
se invece sono proprio stringhe (caratteri e/o altro, non interi puri) allora ti serve un metodo che fa il padding. Da qualche parte dovrei avere scritto metodo già fatto, se ti serve la cerco