【Java开源代码栏目提醒】:网学会员在Java开源代码频道为大家收集整理了TimeWithMillisec.java提供大家参考,希望对大家有所帮助!
// (Figure 8.12)
public class TimeWithMillisec extends MilitaryTime {
protected int millisec;
/** post: hour == 1 and minute == 0
* and second == 0 and millisec == 0
*/
public TimeWithMillisec() {
super();
millisec = 0;
}
/** post: (millisec@pre < 999 implies millisec == millisec@pre + 1)
* and (millisec@pre == 59 implies
* (millisec == 0 and second advanced by 1))
*/
public void advance1Millisec() {
if (millisec < 59)
millisec ++;
else {
millisec = 0;
advance1Second();
}
}
}