org.qedeq.kernel.bo.logic
Class ElementCheckException
java.lang.Object
java.lang.Throwable
java.lang.Exception
org.qedeq.kernel.common.QedeqException
org.qedeq.kernel.bo.module.ModuleDataException
org.qedeq.kernel.bo.logic.LogicalCheckException
org.qedeq.kernel.bo.logic.ElementCheckException
- All Implemented Interfaces:
- 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.
- Version:
- $Revision: 1.4 $
- See Also:
- Serialized Form
Fields inherited from class java.lang.Exception |
|
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
.