Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: QueueT.vdmpp Sprache: VDM

Original von: 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.15 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

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.