如何在java中通过Streamtokenizer读取数字以0开头

Question

我尝试使用Streamtokenizer读取像“0900”这样的时间输入，但输出总是“900”，有没有办法输出整个数字，如“0900”？我试了一下谷歌，但没有什么真正有用......

for example 
if(f.ttype != StreamTokenizer.TT_NUMBER ){
    System.out.println("not a src time"); 
} else {
    int Dtime =(int) f.nval;
}

Answer 1

使用String.format("%04d", theTime); 4位数的时间。