|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ProofException | Line # 13 | 3 | 2 | 100% |
1.0
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
(6) | |||
Result | |||
1.0
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin | 1 PASS | |
1.0
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast | 1 PASS | |
1.0
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind2 org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind2 | 1 PASS | |
1.0
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind | 1 PASS | |
1.0
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2 org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2 | 1 PASS | |
0.6
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3 org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3 | 1 PASS | |
1 | package org.qedeq.kernel.bo.logic.proof.common; | |
2 | ||
3 | import org.qedeq.kernel.se.base.module.FormalProofLineList; | |
4 | import org.qedeq.kernel.se.common.ModuleContext; | |
5 | import org.qedeq.kernel.se.common.ModuleDataException; | |
6 | ||
7 | /** | |
8 | * Indicates we found something or have to abandon the search. | |
9 | * | |
10 | * @author Michael Meyling. | |
11 | * | |
12 | */ | |
13 | public abstract class ProofException extends ModuleDataException { | |
14 | ||
15 | /** Proof lines found. If any. Might be <code>null</code>. */ | |
16 | private final FormalProofLineList lines; | |
17 | ||
18 | /** | |
19 | * Constructor. | |
20 | * | |
21 | * @param errorCode Error code of this message. | |
22 | * @param message Error message. | |
23 | * @param lines Current proof lines. | |
24 | * @param context Error location. | |
25 | */ | |
26 | 9 | public ProofException(final int errorCode, final String message, final FormalProofLineList lines, |
27 | final ModuleContext context) { | |
28 | 9 | super(errorCode, message, context); |
29 | 9 | this.lines = lines; |
30 | } | |
31 | ||
32 | /** | |
33 | * Get proof lines we found. If any. | |
34 | * | |
35 | * @return Found proof lines. Might be <code>null</code>. | |
36 | */ | |
37 | 8 | public FormalProofLineList getProofLines() { |
38 | 8 | return lines; |
39 | } | |
40 | ||
41 | } |
|