|
class TimeT is subclass of TestDriver
functions
public tests : () -> seq of TestCase
tests() ==
[
new TimeT06(), new TimeT05(), new TimeT04(),
new TimeT03(), new TimeT02(), new TimeT01()
];
end TimeT
----------------------------------------------------------
class TimeT01 is subclass of TestCase, CalendarDefinition
operations
protected test: () ==> bool
test() ==
let cal = new JapaneseCalendar(),
d1 = cal.getDateFrom_yyyy_mm_dd(2003, 7, 30),
d3 = cal.getDateFrom_yyyy_mm_dd(2003, 8, 15),
t1 = new Time(cal, 2003, 7, 30, 14, 29, 30, 20),
t2 = new Time(cal, 2003, 8, 1) ,
t3 = new Time(d3)
in
return
t1.getDate().EQ(d1) and
t1.Time2IntProduct(t1.getTime()) = mk_(14, 29, 30, 20) and
mk_(t1.hour(), t1.minute(), t1.second()) = mk_(14, 29, 30) and
mk_(t2.Year(), t2.Month(), t2.day()) = mk_(2003, 8, 1) and
t2.getTime() = t2.IntProduct2TimeMillieSeconds(0, 0, 0, 0) and
t3.getDate().EQ(d3) and
t3.getTime() = t2.IntProduct2TimeMillieSeconds(0, 0, 0, 0)
;
protected setUp: () ==> ()
setUp() == TestName := "Ｔｉｍｅ０１：¥tＴｅｓｔ ｏｆ ｃｏｎｓｔｒｕｃｔｏｒ．";
protected tearDown: () ==> ()
tearDown() == return;
end TimeT01
----------------------------------------------------------
class TimeT02 is subclass of TestCase, CalendarDefinition
operations
protected test: () ==> bool
test() ==
let cal = new JapaneseCalendar(),
t1 = new Time(cal, 2003, 7, 30, 14, 29, 30, 0),
t2 = new Time(cal, 2003, 8, 1) ,
t4 = new Time(cal, 2003, 7, 30, 14, 29, 31, 0),
t5 = new Time(cal, 2003, 7, 30, 14, 29, 31, 0),
t6 = t1
in
return
t1.LT(t2) and
t1.LT(t4) and
t1.LE(t2) and
t1.LE(t4) and
t2.GT(t1) and
t4.GT(t1) and
t2.GE(t1) and
t4.GE(t1) and
t4.EQ(t5) and
t4.NE(t1) and
t4 <> t5 and
t1 = t6
;
protected setUp: () ==> ()
setUp() == TestName := "TimeT02:\tATime comparing.";
protected tearDown: () ==> ()
tearDown() == return;
end TimeT02
----------------------------------------------------------
class TimeT03 is subclass of TestCase, CalendarDefinition
operations
protected test: () ==> bool
test() ==
let cal = new JapaneseCalendar(),
t = new Time(cal, 2003, 7, 30, 14, 29, 30, 0),
t1 = t.plussecond(20),
t2 = t.plussecond(30),
t3 = t.plussecond(50),
t4 = t.plussecond(90),
t5 = t.plussecond(150),
t6 = t.plussecond(3600),
t7 = t.plusminute(30),
t8 = t.plusminute(31),
t9 = t.plusminute(40),
t10 = t.plusminute(91),
t11 = t.plusminute(1440),
t12 = t.plus(9, 30, 30, 123),
t13 = t.plushour(48),
t14 = t.plus(0, 0, 0, 0)
in
return
t1.minute() = 29 and t1.second() = 50 and
t2.minute() = 30 and t2.second() = 0 and
t3.minute() = 30 and t3.second() = 20 and
t4.minute() = 31 and t4.second() = 0 and
t5.hour() = 14 and t5.minute() = 32 and t5.second() = 0 and
t6.hour() = 15 and t6.minute() = 29 and t6.second() = 30 and
t7.hour() = 14 and t7.minute() = 59 and
t8.hour() = 15 and t8.minute() = 0 and
t9.hour() = 15 and t9.minute() = 9 and
t10.hour() = 16 and t10.minute() = 0 and t10.second() = 30 and
t11.Year() = 2003 and t11.Month() = 7 and t11.day() = 31 and t11.hour() = 14 and t11.minute() = 29 and t11.second() = 30 and
t12.Year() = 2003 and t12.Month() = 7 and t12.day() = 31 and t12.hour() = 0 and t12.minute() = 0 and t12.second() = 0 and t12.milliSecond() = 123 and
t13.Year() = 2003 and t13.Month() = 8 and t13.day() = 1 and t13.hour() = 14 and t13.minute() = 29 and t13.second() = 30 and t13.milliSecond() = 0 and
t13.asString() = "20030801142930000" and
t13.print() = "Year=2003, Month=08, Day=01, 14Hour, 29Minute, 30Second, 000MilliSecond" and
t14.asString() = "20030730142930000"
;
protected setUp: () ==> ()
setUp() == TestName := "TimeT03:\tTime ading.";
protected tearDown: () ==> ()
tearDown() == return;
end TimeT03
----------------------------------------------------------
class TimeT04 is subclass of TestCase, CalendarDefinition
operations
protected test: () ==> bool
test() ==
let cal = new JapaneseCalendar(),
t = new Time(cal, 2003, 7, 30, 14, 29, 30, 0),
t1 = t.minus(14, 30, 30, 0) ,
t2 = t.minus(38, 30, 30, 0) ,
t3 = t.plus(-38, -30, -30, 0),
t4 = t.plus(-0, -0, -0, -0)
in
return
t1.Time2IntProduct(t1.getTime()) = mk_(23,59,0,0) and
t1.getDate().date2Str() = "20030729" and
t2.Time2IntProduct(t2.getTime()) = mk_(23,59,0,0) and
t2.getDate().date2Str() = "20030728" and
t3.Time2IntProduct(t3.getTime()) = mk_(23,59,0,0) and
t3.getDate().date2Str() = "20030728" and
t4.print() = "Year=2003, Month=07, Day=30, 14Hour, 29Minute, 30Second, 000MilliSecond"
;
protected setUp: () ==> ()
setUp() == TestName := "TimeT04:\tATime subtracting.";
protected tearDown: () ==> ()
tearDown() == return;
end TimeT04
----------------------------------------------------------
class TimeT05 is subclass of TestCase, CalendarDefinition
operations
protected test: () ==> bool
test() ==
let cal = new JapaneseCalendar(),
t1 = new Time(cal, 2003, 7, 30, 14, 29, 30, 0),
t2 = new Time(cal, 2003, 7, 30, 14, 29, 30, 0),
t3 = new Time(cal, 2003, 7, 30, 14, 29, 30, 0),
t4 = new Time(cal, 2003, 7, 30, 14, 29, 30, 0)
in
(
t1.setTimeFromNat(15);
t2.setMinuteFromNat(19);
t3.setSecond(47);
t4.setMilliSecond(789);
return
t1.Time2IntProduct(t1.getTime()) = mk_(15, 29, 30, 0) and
t2.Time2IntProduct(t2.getTime()) = mk_(14, 19, 30, 0) and
t3.Time2IntProduct(t3.getTime()) = mk_(14, 29, 47, 0) and
t4.Time2IntProduct(t4.getTime()) = mk_(14, 29, 30, 789) and
t4.getDate().date2Str() = "20030730"
)
;
protected setUp: () ==> ()
setUp() == TestName := "TimeT05:\tSet instance variables.";
protected tearDown: () ==> ()
tearDown() == return;
end TimeT05
----------------------------------------------------------
class TimeT06 is subclass of TestCase, CalendarDefinition
operations
protected test: () ==> bool
test() ==
let cal = new SBCalendar()
in
(
return
new Time(cal).EQ(new Time(cal, 2001, 3, 1, 10, 11, 23, 456)) and
new Time(homedir ^ "/temp/BaseDay.txt", homedir ^ "/temp/Now2.txt", cal).EQ(new Time(cal, 2003, 10, 24, 12, 34, 56, 789))
)
;
protected setUp: () ==> ()
setUp() == TestName := "TimeT06:\tTest currentDateTime from file.";
protected tearDown: () ==> ()
tearDown() == return;
end TimeT06
¤ Dauer der Verarbeitung: 0.23 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
