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