Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
27   58   1   5,4
0   43   0,19   5
5     1  
1    
 
  RangeDomainTest       Line # 15 27 1 100% 1.0
 
  (5)
 
1    /*
2    * Created on 11 juil. 2006
3    *
4    * To change the template for this generated file go to
5    * Window>Preferences>Java>Code Generation>Code and Comments
6    */
7    package org.sat4j.minisat.reader;
8   
9    import java.util.Iterator;
10   
11    import junit.framework.TestCase;
12   
13    import org.sat4j.reader.csp.RangeDomain;
14   
 
15    public class RangeDomainTest extends TestCase {
16   
 
17  1 toggle public void testSize() {
18  1 RangeDomain domain = new RangeDomain(3, 4);
19  1 assertEquals(2, domain.size());
20    }
21   
 
22  1 toggle public void testGet() {
23  1 RangeDomain domain = new RangeDomain(2, 5);
24  1 assertEquals(4, domain.size());
25  1 assertEquals(2, domain.get(0));
26  1 assertEquals(3, domain.get(1));
27  1 assertEquals(4, domain.get(2));
28  1 assertEquals(5, domain.get(3));
29    }
30   
 
31  1 toggle public void testIterator() {
32  1 RangeDomain domain = new RangeDomain(2, 5);
33  1 Iterator<Integer> it = domain.iterator();
34  1 assertTrue(it.hasNext());
35  1 assertEquals(Integer.valueOf(2), it.next());
36  1 assertTrue(it.hasNext());
37  1 assertEquals(Integer.valueOf(3), it.next());
38  1 assertTrue(it.hasNext());
39  1 assertEquals(Integer.valueOf(4), it.next());
40  1 assertTrue(it.hasNext());
41  1 assertEquals(Integer.valueOf(5), it.next());
42  1 assertFalse(it.hasNext());
43    }
44   
 
45  1 toggle public void testNegativeBounds() {
46  1 RangeDomain domain = new RangeDomain(-2, 4);
47  1 assertEquals(7, domain.size());
48    }
49   
 
50  1 toggle public void testPos() {
51  1 RangeDomain domain = new RangeDomain(1, 5);
52  1 assertEquals(1, domain.pos(2));
53  1 assertEquals(0, domain.pos(1));
54  1 assertEquals(2, domain.pos(3));
55  1 assertEquals(3, domain.pos(4));
56  1 assertEquals(4, domain.pos(5));
57    }
58    }
 
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.