Clover Coverage Report
Coverage timestamp: Sat Sep 18 2010 04:09:52 UTC
Overview   Package   File
    FRAMES   NO FRAMES     
../../../../../img/srcFileCovDistChart10.png 0% of files have more coverage
26   101   15   3.71
18   57   0.58   7
7     2.14  
1    
 
  ProofListVo       Line # 32 26 15 100% 1.0
 
  (25)
 
1    /* This file is part of the project "Hilbert II" - http://www.qedeq.org
2    *
3    * Copyright 2000-2010, Michael Meyling <mime@qedeq.org>.
4    *
5    * "Hilbert II" is free software; you can redistribute
6    * it and/or modify it under the terms of the GNU General Public
7    * License as published by the Free Software Foundation; either
8    * version 2 of the License, or (at your option) any later version.
9    *
10    * This program is distributed in the hope that it will be useful,
11    * but WITHOUT ANY WARRANTY; without even the implied warranty of
12    * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13    * GNU General Public License for more details.
14    */
15   
16    package org.qedeq.kernel.dto.module;
17   
18    import java.util.ArrayList;
19    import java.util.List;
20   
21    import org.qedeq.base.utility.EqualsUtility;
22    import org.qedeq.kernel.base.module.Proof;
23    import org.qedeq.kernel.base.module.ProofList;
24   
25   
26    /**
27    * List of proofs.
28    *
29    * @version $Revision: 1.9 $
30    * @author Michael Meyling
31    */
 
32    public class ProofListVo implements ProofList {
33   
34    /** Contains all list elements. */
35    private final List list;
36   
37    /**
38    * Constructs an empty list of proofs.
39    */
 
40  344 toggle public ProofListVo() {
41  344 this.list = new ArrayList();
42   
43    }
44   
45    /**
46    * Add proof to this list.
47    *
48    * @param proof Proof to add.
49    */
 
50  354 toggle public final void add(final ProofVo proof) {
51  354 list.add(proof);
52    }
53   
 
54  2298 toggle public final int size() {
55  2298 return list.size();
56    }
57   
 
58  2422 toggle public final Proof get(final int index) {
59  2422 return (Proof) list.get(index);
60    }
61   
 
62  101 toggle public boolean equals(final Object obj) {
63  101 if (!(obj instanceof ProofListVo)) {
64  10 return false;
65    }
66  91 final ProofListVo otherList = (ProofListVo) obj;
67  91 if (size() != otherList.size()) {
68  15 return false;
69    }
70  209 for (int i = 0; i < size(); i++) {
71  139 if (!EqualsUtility.equals(get(i), otherList.get(i))) {
72  6 return false;
73    }
74    }
75  70 return true;
76    }
77   
 
78  104 toggle public int hashCode() {
79  104 int hash = 0;
80  294 for (int i = 0; i < size(); i++) {
81  190 hash = hash ^ (i + 1);
82  190 if (get(i) != null) {
83  187 hash = hash ^ get(i).hashCode();
84    }
85    }
86  104 return hash;
87    }
88   
 
89  74 toggle public String toString() {
90  74 final StringBuffer buffer = new StringBuffer("Proofs:\n");
91  233 for (int i = 0; i < size(); i++) {
92  159 if (i != 0) {
93  88 buffer.append("\n");
94    }
95  159 buffer.append((i + 1) + ":\t");
96  159 buffer.append(get(i) != null ? get(i).toString() : null);
97    }
98  74 return buffer.toString();
99    }
100   
101    }
 
CloverReport generated by Clover Code Coverage v2.3.1
Sat Sep 18 2010 04:09:52 UTC.		   Clover: Open Source License registered to qedeq.org .