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

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
                      org.qedeq.kernel.bo.logic.proof.common.ProofNotFoundException

All Implemented Interfaces:

java.io.Serializable

public class ProofNotFoundException
extends ProofException

Indicates we couldn't find a proof. Abandon the search.

Author:

Michael Meyling.

See Also:

Serialized Form

Constructor Summary

ProofNotFoundException(int errorCode, java.lang.String message, ModuleContext context)
Constructor.

Method Summary

Methods inherited from class org.qedeq.kernel.bo.logic.proof.common.ProofException

getProofLines

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

ProofNotFoundException

public ProofNotFoundException(int errorCode,
                              java.lang.String message,
                              ModuleContext context)

Constructor.

Parameters:

errorCode - Error code of this message.

message - Error message.

context - Error location.