1234567891011121314151617181920212223242526272829303132333435363738394041424344 |
- void main() {
- Timer m1;
- getMillis(m1);
-
- Timer m2;
- getMillis(m2);
-
- Timer m3;
- getMillis(m3);
-
- test(m1.nanos <= m2.nanos && m2.nanos <= m3.nanos);
- test(m1.seconds <= m2.seconds && m2.seconds <= m3.seconds);
-
-
- Timer n1;
- getNanos(n1);
-
- Timer n2;
- getNanos(n2);
-
- Timer n3;
- getNanos(n3);
-
- test(n1.nanos < n2.nanos && n2.nanos < n3.nanos);
- test(n1.seconds <= n2.seconds && n2.seconds <= n3.seconds);
-
- Time time;
- time.year = 999999;
- toTime(m1, time);
-
- test(time.year >= 2021);
- test(time.month >= 0 && time.month <= 11);
- test(time.day >= 1 && time.day <= 31);
- test(time.hours >= 0 && time.hours <= 59);
- test(time.minutes >= 0 && time.minutes <= 59);
- test(time.seconds >= 0 && time.seconds <= 60);
- test(time.millis >= 0 && time.millis <= 999);
-
- Timer m;
- toMillis(time, m);
-
- test(m.seconds == m1.seconds);
- test(m.nanos == m1.nanos);
- }
|