|
class QueueT is subclass of TestDriver
functions
public tests : () -> seq of TestCase
tests () ==
[ new QueueT01()
];
end QueueT
class QueueT01 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
let q0 = Queue`empty[int](),
q1 = Queue`enQueue[int](1, q0),
q2 = Queue`enQueue[int](2, q1),
q3 = Queue`enQueue[int](3, q2),
h1 = Queue`top[int](q3),
q4 = Queue`deQueue[int](q3),
q5 = Queue`deQueue[int](q4),
q6 = Queue`deQueue[int](q5),
h2 = Queue`top[int](q6),
q7 = Queue`deQueue[int](q6)
in
return
q0 = [] and
q1 = [1] and
q2 = [1,2] and
q3 = [1,2,3] and
h1 = 1 and
q4 = [2,3] and
q5 = [3] and
q6 = [] and
h2 = nil and
q7 = [] and
Queue`isEmpty[int](q7) and
not Queue`isEmpty[int](q5)
;
protected setUp: () ==> ()
setUp() == TestName := "QueueT01:\t Test Queue";
protected tearDown: () ==> ()
tearDown() == return;
end QueueT01
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Die farbliche Syntaxdarstellung ist noch experimentell.
|
