我用getMediaTime()得到了两个时间点time1和time2,然后保存到文本文件,我想在播放器下次启动的时候从文本文件里面直接读取这两个时间点到setMediaTime(),并以time1为开始时间,time2为结束时间。
可是问题是这样的:
1.
getMediaTime()得到的时间再toString()后保存的数据是
javax.media.Time@17200b4
javax.media.Time@15718f2
这样的,我用IO输入流读取的是String数据,setMediaTime()不能用这个时间,请问现在要怎么办,是把javax.media.Time@17200b4 这种形式转换成Time格式吗,怎么转,还是有什么别的方法?
2.第二个问题是,如果setMediaTime()成功读取了保存的时间点,那么怎么在这两个时间点内循环?一定要用线程吗,不用的话有没有别的更简单的方法。
一点卡在这两个问题上面,还请高手指教。
------解决方案--------------------
tostring后结果怎么像引用,tostring没重写的话一般都是输出引用
------解决方案--------------------
------解决方案--------------------
想起了<Java解惑>里面一个小例子的说···去翻翻看······