org.qedeq.kernel.bo.logic.proof.common
Class ProofException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          org.qedeq.kernel.se.common.QedeqException
              org.qedeq.kernel.se.common.ModuleDataException
                  org.qedeq.kernel.bo.logic.proof.common.ProofException

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

ProofFoundException, ProofNotFoundException

public abstract class ProofException
extends ModuleDataException

Indicates we found something or have to abandon the search.

Author:

Michael Meyling.

See Also:

Serialized Form

Constructor Summary

ProofException(int errorCode, java.lang.String message, FormalProofLineList lines, ModuleContext context)
Constructor.

Method Summary

FormalProofLineList

getProofLines() Get proof lines we found.

Methods inherited from class org.qedeq.kernel.se.common.ModuleDataException

equals, getContext, getReferenceContext, hashCode

Methods inherited from class org.qedeq.kernel.se.common.QedeqException

getErrorCode, toString

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ProofException

public ProofException(int errorCode,
                      java.lang.String message,
                      FormalProofLineList lines,
                      ModuleContext context)

Constructor.

Parameters:

errorCode - Error code of this message.

message - Error message.

lines - Current proof lines.

context - Error location.

Method Detail

getProofLines

public FormalProofLineList getProofLines()

Get proof lines we found. If any.

Returns:

Found proof lines. Might be null.