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

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.ProofFoundException

All Implemented Interfaces:

java.io.Serializable

public class ProofFoundException
extends ProofException

Indicates we found a proof.

Author:

Michael Meyling.

See Also:

Serialized Form

Constructor Summary

ProofFoundException(int errorCode, java.lang.String message, FormalProofLineList lines, 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

ProofFoundException

public ProofFoundException(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.