mp3decoder finally passes the flow-down rule checking.
[IRC.git] / Robust / src / Tests / Queue / testMain.c
1 #include <stdlib.h>
2 #include <stdio.h>
3
4 #include "Queue.h"
5
6
7 void check( struct Queue* q ) {
8   if( assertQueue( q ) ) {
9     printf( "Queue valid\n" );
10   } else { 
11     printf( "QUEUE INVALID\n" ); 
12   }
13 }
14
15
16 int main() {
17
18   struct Queue* q = createQueue();
19
20   struct QueueItem* i1;
21   struct QueueItem* i2;
22   struct QueueItem* i3;
23   
24   char m1[] = "1";
25   char m2[] = "2";
26   char m3[] = "3";
27   char m4[] = "4";
28   char* mo;
29
30   addNewItem( q, (void*)m1 );
31   check( q );
32
33   addNewItem( q, (void*)m2 );
34   check( q );
35
36   addNewItemBack( q, (void*)m3 );
37   check( q );
38
39   mo = (char*) getItem( q );
40   check( q );
41
42   addNewItemBack( q, (void*)m4 );
43   check( q );
44
45   mo = (char*) getItemBack( q );
46   check( q );
47
48   mo = (char*) getItem( q );
49   check( q );
50
51   mo = (char*) getItemBack( q );
52   check( q );
53
54   i1 = addNewItemBack( q, (void*)m3 );
55   check( q );
56
57   i2 = addNewItem( q, (void*)m1 );
58   check( q );
59
60   i3 = addNewItem( q, (void*)m2 );
61   check( q );
62
63   removeItem( q, i2 );
64   check( q );
65
66   removeItem( q, i3 );
67   check( q );
68
69   removeItem( q, i1 );
70   check( q );
71
72   return 0;
73 }