| 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 | public ProofException(final int errorCode, final String message, final FormalProofLineList lines, |
| 27 | final ModuleContext context) { |
| 28 | super(errorCode, message, context); |
| 29 | 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 | public FormalProofLineList getProofLines() { |
| 38 | return lines; |
| 39 | } |
| 40 | |
| 41 | } |