|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
LogicalCheckExceptionList | Line # 29 | 12 | 8 | 40,9% |
0.4090909
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
(19) | |||
Result | |||
0.3181818
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 | 1 PASS | |
0.3181818
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 | 1 PASS | |
0.3181818
|
org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative02 org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative02 | 1 PASS | |
0.3181818
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 | 1 PASS | |
0.3181818
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 | 1 PASS | |
0.3181818
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2 org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2 | 1 PASS | |
0.3181818
|
org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative04 org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative04 | 1 PASS | |
0.3181818
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1 org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1 | 1 PASS | |
0.3181818
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 | 1 PASS | |
0.3181818
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 | 1 PASS | |
0.3181818
|
org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative03 org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative03 | 1 PASS | |
0.13636364
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 | 1 PASS | |
0.13636364
|
org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq5 org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq5 | 1 PASS | |
0.13636364
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration | 1 PASS | |
0.13636364
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration | 1 PASS | |
0.13636364
|
org.qedeq.kernel.bo.latex.ExtendedGenerateLatexTest.testGeneration org.qedeq.kernel.bo.latex.ExtendedGenerateLatexTest.testGeneration | 1 PASS | |
0.13636364
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 | 1 PASS | |
0.13636364
|
org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq4 org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq4 | 1 PASS | |
0.13636364
|
org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq6 org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq6 | 1 PASS | |
1 | /* $Id: LogicalCheckExceptionList.java,v 1.1 2008/07/26 07:58:29 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.bo.logic.wf; | |
19 | ||
20 | import java.util.ArrayList; | |
21 | import java.util.List; | |
22 | ||
23 | /** | |
24 | * Type save {@link org.qedeq.kernel.bo.logic.wf.LogicalCheckException} list. | |
25 | * | |
26 | * @version $Revision: 1.1 $ | |
27 | * @author Michael Meyling | |
28 | */ | |
29 | public class LogicalCheckExceptionList { | |
30 | ||
31 | /** List with parse exceptions. */ | |
32 | private final List exceptions = new ArrayList(); | |
33 | ||
34 | /** | |
35 | * Constructor. | |
36 | */ | |
37 | 1018 | public LogicalCheckExceptionList() { |
38 | } | |
39 | ||
40 | /** | |
41 | * Add exception. | |
42 | * | |
43 | * @param e Exception to add. | |
44 | */ | |
45 | 131 | public void add(final LogicalCheckException e) { |
46 | 131 | exceptions.add(e); |
47 | } | |
48 | ||
49 | /** | |
50 | * Get number of collected exceptions. | |
51 | * | |
52 | * @return Number of collected exceptions. | |
53 | */ | |
54 | 1028 | public int size() { |
55 | 1028 | return exceptions.size(); |
56 | } | |
57 | ||
58 | /** | |
59 | * Get <code>i</code>-th exception. | |
60 | * | |
61 | * @param i Starts with 0 and must be smaller than {@link #size()}. | |
62 | * @return Wanted exception. | |
63 | */ | |
64 | 131 | public LogicalCheckException get(final int i) { |
65 | 131 | return (LogicalCheckException) exceptions.get(i); |
66 | } | |
67 | ||
68 | /** | |
69 | * Contains this list any errors? | |
70 | * | |
71 | * @return Do I contain any errors? | |
72 | */ | |
73 | 105 | public boolean hasErrors() { |
74 | 105 | return size() > 0; |
75 | } | |
76 | ||
77 | 0 | public String toString() { |
78 | 0 | final StringBuffer buffer = new StringBuffer(); |
79 | 0 | for (int i = 0; i < size(); i++) { |
80 | 0 | if (i != 0) { |
81 | 0 | buffer.append("\n"); |
82 | } | |
83 | 0 | final LogicalCheckException e = get(i); |
84 | 0 | buffer.append(i).append(": "); |
85 | 0 | buffer.append(e.toString()); |
86 | } | |
87 | 0 | return buffer.toString(); |
88 | } | |
89 | ||
90 | } |
|