01 package org.qedeq.kernel.bo.logic.proof.common;
02
03 import org.qedeq.kernel.se.base.module.FormalProofLineList;
04 import org.qedeq.kernel.se.common.ModuleContext;
05 import org.qedeq.kernel.se.common.ModuleDataException;
06
07 /**
08 * Indicates we found something or have to abandon the search.
09 *
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 }
|