|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ProofListVo | Line # 34 | 26 | 15 | 100% |
1.0
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
(21) | |||
Result | |||
1.0
|
org.qedeq.kernel.test.AbstractValueObjectTest.testAll org.qedeq.kernel.test.AbstractValueObjectTest.testAll | 1 PASS | |
1.0
|
org.qedeq.kernel.test.AbstractValueObjectTest.testAll org.qedeq.kernel.test.AbstractValueObjectTest.testAll | 1 PASS | |
1.0
|
org.qedeq.kernel.test.AbstractValueObjectTest.testAll org.qedeq.kernel.test.AbstractValueObjectTest.testAll | 1 PASS | |
0.15686275
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 | 1 PASS | |
0.15686275
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 | 1 PASS | |
0.15686275
|
org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq1 org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq1 | 1 PASS | |
0.15686275
|
org.qedeq.kernel.bo.module.VisitorContextTest.testContext org.qedeq.kernel.bo.module.VisitorContextTest.testContext | 1 PASS | |
0.15686275
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02 | 1 PASS | |
0.15686275
|
org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration | 1 PASS | |
0.15686275
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 | 1 PASS | |
0.15686275
|
org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq5 org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq5 | 1 PASS | |
0.15686275
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02 | 1 PASS | |
0.15686275
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration | 1 PASS | |
0.15686275
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 | 1 PASS | |
0.15686275
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration | 1 PASS | |
0.15686275
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 | 1 PASS | |
0.15686275
|
org.qedeq.kernel.bo.latex.ExtendedGenerateLatexTest.testGeneration org.qedeq.kernel.bo.latex.ExtendedGenerateLatexTest.testGeneration | 1 PASS | |
0.15686275
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 | 1 PASS | |
0.15686275
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 | 1 PASS | |
0.15686275
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 | 1 PASS | |
0.15686275
|
org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq4 org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq4 | 1 PASS | |
1 | /* $Id: ProofListVo.java,v 1.9 2008/07/26 07:59:35 m31 Exp $ | |
2 | * | |
3 | * This file is part of the project "Hilbert II" - http://www.qedeq.org | |
4 | * | |
5 | * Copyright 2000-2008, Michael Meyling <mime@qedeq.org>. | |
6 | * | |
7 | * "Hilbert II" is free software; you can redistribute | |
8 | * it and/or modify it under the terms of the GNU General Public | |
9 | * License as published by the Free Software Foundation; either | |
10 | * version 2 of the License, or (at your option) any later version. | |
11 | * | |
12 | * This program is distributed in the hope that it will be useful, | |
13 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
14 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
15 | * GNU General Public License for more details. | |
16 | */ | |
17 | ||
18 | package org.qedeq.kernel.dto.module; | |
19 | ||
20 | import java.util.ArrayList; | |
21 | import java.util.List; | |
22 | ||
23 | import org.qedeq.base.utility.EqualsUtility; | |
24 | import org.qedeq.kernel.base.module.Proof; | |
25 | import org.qedeq.kernel.base.module.ProofList; | |
26 | ||
27 | ||
28 | /** | |
29 | * List of proofs. | |
30 | * | |
31 | * @version $Revision: 1.9 $ | |
32 | * @author Michael Meyling | |
33 | */ | |
34 | public class ProofListVo implements ProofList { | |
35 | ||
36 | /** Contains all list elements. */ | |
37 | private final List list; | |
38 | ||
39 | /** | |
40 | * Constructs an empty list of proofs. | |
41 | */ | |
42 | 217 | public ProofListVo() { |
43 | 217 | this.list = new ArrayList(); |
44 | ||
45 | } | |
46 | ||
47 | /** | |
48 | * Add proof to this list. | |
49 | * | |
50 | * @param proof Proof to add. | |
51 | */ | |
52 | 227 | public final void add(final ProofVo proof) { |
53 | 227 | list.add(proof); |
54 | } | |
55 | ||
56 | 1282 | public final int size() { |
57 | 1282 | return list.size(); |
58 | } | |
59 | ||
60 | 1246 | public final Proof get(final int index) { |
61 | 1246 | return (Proof) list.get(index); |
62 | } | |
63 | ||
64 | 86 | public boolean equals(final Object obj) { |
65 | 86 | if (!(obj instanceof ProofListVo)) { |
66 | 10 | return false; |
67 | } | |
68 | 76 | final ProofListVo otherList = (ProofListVo) obj; |
69 | 76 | if (size() != otherList.size()) { |
70 | 15 | return false; |
71 | } | |
72 | 149 | for (int i = 0; i < size(); i++) { |
73 | 94 | if (!EqualsUtility.equals(get(i), otherList.get(i))) { |
74 | 6 | return false; |
75 | } | |
76 | } | |
77 | 55 | return true; |
78 | } | |
79 | ||
80 | 58 | public int hashCode() { |
81 | 58 | int hash = 0; |
82 | 134 | for (int i = 0; i < size(); i++) { |
83 | 76 | hash = hash ^ (i + 1); |
84 | 76 | if (get(i) != null) { |
85 | 73 | hash = hash ^ get(i).hashCode(); |
86 | } | |
87 | } | |
88 | 58 | return hash; |
89 | } | |
90 | ||
91 | 46 | public String toString() { |
92 | 46 | final StringBuffer buffer = new StringBuffer("Proofs:\n"); |
93 | 109 | for (int i = 0; i < size(); i++) { |
94 | 63 | if (i != 0) { |
95 | 26 | buffer.append("\n"); |
96 | } | |
97 | 63 | buffer.append((i + 1) + ":\t"); |
98 | 63 | buffer.append(get(i) != null ? get(i).toString() : null); |
99 | } | |
100 | 46 | return buffer.toString(); |
101 | } | |
102 | ||
103 | } |
|