| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/VDM/VDMPP/SSlibE2PP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 902 B |
|
Quelle QueueT.vdmpp Sprache: VDM |
|||||||||
|
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.1 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28