org.qedeq.kernel.bo.logic
Class CheckException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          org.qedeq.kernel.bo.logic.CheckException

All Implemented Interfaces:

Serializable

public class CheckException

extends Exception

This is an exception for semantic checks.

Version:

$Revision: 1.5 $

See Also:

Serialized Form

Constructor Summary

CheckException(String message, Element element)
Constructs an exception.

Method Summary

Element

getElement() Get the element.

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

CheckException

public CheckException(String message,
                      Element element)

Constructs an exception.

Parameters:

message - what is the problem

element - problematic line

Method Detail

getElement

public final Element getElement()

Get the element.

Returns:

element, that should have been a symbol