Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
36   87   3   6
4   56   0,22   6
6     1,33  
1    
 
  QueueTest       Line # 18 36 3 100% 1.0
 
  (4)
 
1    package org.sat4j.minisat.core;
2   
3    import junit.framework.TestCase;
4   
5    /*
6    * Created on 23 oct. 2003
7    *
8    * To change the template for this generated file go to
9    * Window>Preferences>Java>Code Generation>Code and Comments
10    */
11   
12    /**
13    * @author leberre
14    *
15    * To change the template for this generated type comment go to
16    * Window>Preferences>Java>Code Generation>Code and Comments
17    */
 
18    public class QueueTest extends TestCase {
19   
20    /**
21    * Constructor for QueueTest.
22    *
23    * @param arg0
24    */
 
25  4 toggle public QueueTest(String arg0) {
26  4 super(arg0);
27    }
28   
29    /*
30    * @see TestCase#setUp()
31    */
 
32  4 toggle @Override
33    protected void setUp() throws Exception {
34  4 qu = new IntQueue();
35    }
36   
 
37  1 toggle public void testInsert() {
38  1 qu.ensure(15);
39  16 for (int i = 0; i < 15; i++) {
40  15 qu.insert(i);
41    }
42  16 for (int i = 0; i < 15; i++) {
43  15 assertEquals(i, qu.dequeue());
44    }
45    }
46   
 
47  1 toggle public void testDequeue() {
48  1 qu.insert(1);
49  1 qu.insert(2);
50  1 assertEquals(2, qu.size());
51  1 int i = qu.dequeue();
52  1 assertEquals(1, i);
53  1 qu.insert(3);
54  1 assertEquals(2, qu.size());
55  1 i = qu.dequeue();
56  1 assertEquals(2, i);
57  1 i = qu.dequeue();
58  1 assertEquals(3, i);
59    }
60   
 
61  1 toggle public void testClear() {
62  1 assertEquals(0, qu.size());
63  1 qu.insert(1);
64  1 qu.insert(2);
65  1 assertEquals(2, qu.size());
66  1 qu.clear();
67  1 assertEquals(0, qu.size());
68  1 qu.insert(1);
69  1 qu.insert(2);
70  1 assertEquals(2, qu.size());
71    }
72   
 
73  1 toggle public void testSize() {
74  1 assertEquals(0, qu.size());
75  1 qu.insert(1);
76  1 assertEquals(1, qu.size());
77  1 qu.insert(2);
78  1 assertEquals(2, qu.size());
79  1 qu.dequeue();
80  1 assertEquals(1, qu.size());
81  1 qu.dequeue();
82  1 assertEquals(0, qu.size());
83    }
84   
85    private IntQueue qu;
86   
87    }
 
CloverReport generated by Clover Code Coverage v2.0a5
mer. juin 27 2007 07:27:33 CEST.		   Beta Testers License registered to clover-support@cenqua.com. This license of Clover2 is provided for beta testing only. You have 5 day(s) before your Beta Tester License expires.