org.qedeq.kernel.bo.logic.model
Class HeuristicException

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.model.HeuristicException

All Implemented Interfaces:

java.io.Serializable

public class HeuristicException
extends ModuleDataException

Something went wrong during formula testing within model.

Author:

Michael Meyling

See Also:

Serialized Form

Constructor Summary

HeuristicException(int code, java.lang.String message, ModuleContext context)
Constructs an exception.

HeuristicException(int code, java.lang.String message, ModuleContext context, ModuleContext referenceContext)
Constructs an exception.

Method Summary

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

HeuristicException

public HeuristicException(int code,
                          java.lang.String message,
                          ModuleContext context)

Constructs an exception.

Parameters:

code - Error (or warning) code.

message - Error message.

context - Current context.

HeuristicException

public HeuristicException(int code,
                          java.lang.String message,
                          ModuleContext context,
                          ModuleContext referenceContext)

Constructs an exception.

Parameters:

code - Error (or warning) code.

message - Error message.

context - Current context.

referenceContext - Reference context.