org.qedeq.kernel.bo.logic.wf
Class ElementCheckException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by org.qedeq.kernel.se.common.QedeqException
              extended by org.qedeq.kernel.se.common.ModuleDataException
                  extended by org.qedeq.kernel.bo.logic.common.LogicalCheckException
                      extended by org.qedeq.kernel.bo.logic.wf.ElementCheckException
All Implemented Interfaces:
java.io.Serializable

public class ElementCheckException
extends LogicalCheckException

This is an exception for logical errors within a QEDEQ module. This exception is reserved for basic violation of the logical language. For example: An element is not an atom but should be one, an atom has null content or an element list was expected but is not there, an element list has an null operator or an null entry.

Author:
Michael Meyling
See Also:
Serialized Form

Constructor Summary
ElementCheckException(int errorCode, java.lang.String message, Element element, ModuleContext context)
          Constructs an exception.
ElementCheckException(int errorCode, java.lang.String message, Element element, ModuleContext context, ModuleContext referenceContext)
          Constructs an exception.
 
Method Summary
 
Methods inherited from class org.qedeq.kernel.bo.logic.common.LogicalCheckException
getElement, toString
 
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
 
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

ElementCheckException

public ElementCheckException(int errorCode,
                             java.lang.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,
                             java.lang.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.


Copyright © 2014. All Rights Reserved.