Hilbert II - Version 0.03.01

org.qedeq.kernel.bo.logic
Class ElementCheckException

java.lang.Object
  extended byjava.lang.Throwable
      extended byjava.lang.Exception
          extended byorg.qedeq.kernel.base.common.QedeqException
              extended byorg.qedeq.kernel.bo.module.ModuleDataException
                  extended byorg.qedeq.kernel.bo.logic.CheckException
                      extended byorg.qedeq.kernel.bo.logic.ElementCheckException
All Implemented Interfaces:
Serializable

public class ElementCheckException
extends CheckException

This is an exception for logical errors within a QEDEQ module.

Version:
$Revision: 1.5 $
See Also:
Serialized Form

Field Summary
 
Fields inherited from class java.lang.Exception
 
Constructor Summary
ElementCheckException(int errorCode, String message, Element element, ModuleContext context)
          Constructs an exception.
ElementCheckException(int errorCode, String message, Element element, ModuleContext context, ModuleContext referenceContext)
          Constructs an exception.
 
Methods inherited from class org.qedeq.kernel.bo.logic.CheckException
getElement, toString
 
Methods inherited from class org.qedeq.kernel.bo.module.ModuleDataException
getContext, getReferenceContext
 
Methods inherited from class org.qedeq.kernel.base.common.QedeqException
getErrorCode
 
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, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ElementCheckException

public ElementCheckException(int errorCode,
                             String message,
                             Element element,
                             ModuleContext context,
                             ModuleContext referenceContext)
Constructs an exception.

Parameters:
errorCode - ErrorCode of this message.
message - What is the problem.
element - Problematic formula.
context - Error location. Not necessarily pointing to element.
referenceContext - Reference location.

ElementCheckException

public ElementCheckException(int errorCode,
                             String message,
                             Element element,
                             ModuleContext context)
Constructs an exception.

Parameters:
errorCode - ErrorCode of this message.
message - What is the problem.
element - Problematic formula.
context - Error location. Not necessarily pointing to element.

Hilbert II - Version 0.03.01

©left GNU General Public Licence
All Rights Reserved.