java - 如何通过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 位数的时间。