org.qedeq.kernel.se.common
Class SourceFileException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          org.qedeq.kernel.se.common.QedeqException
              org.qedeq.kernel.se.common.SourceFileException

All Implemented Interfaces:

java.io.Serializable

public class SourceFileException
extends QedeqException

Data validation error. Shows an error or warning within a source file.

Author:

Michael Meyling

See Also:

Serialized Form

Constructor Summary

SourceFileException(Service service, int errorCode, java.lang.String errorText, java.lang.Throwable exception, SourceArea errorArea, SourceArea referenceArea)
Constructor.

SourceFileException(Service service, QedeqException exception, SourceArea errorArea, SourceArea referenceArea)
Constructor.

Method Summary

boolean	equals(java.lang.Object obj)
java.lang.String	getDescription() Get detailed error description.
java.lang.String	getMessage()
SourceArea	getReferenceArea() Get additional position information about another associated location.
Service	getService() Get service that found the error.
SourceArea	getSourceArea() Get position information about error location.
int	hashCode()
java.lang.String	toString()

Methods inherited from class org.qedeq.kernel.se.common.QedeqException

getErrorCode

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

SourceFileException

public SourceFileException(Service service,
                           int errorCode,
                           java.lang.String errorText,
                           java.lang.Throwable exception,
                           SourceArea errorArea,
                           SourceArea referenceArea)

Constructor.

Parameters:

service - This service generated the error.

errorCode - Error code.

errorText - Error text.

exception - Exception to wrap.

errorArea - Error location.

referenceArea - Error reference location.

SourceFileException

public SourceFileException(Service service,
                           QedeqException exception,
                           SourceArea errorArea,
                           SourceArea referenceArea)

Constructor.

Parameters:

service - This service generated the error.

exception - Exception to wrap.

errorArea - Error location.

referenceArea - Error reference location.

Method Detail

getService

public Service getService()

Get service that found the error.

Returns:

Service.

getSourceArea

public SourceArea getSourceArea()

Get position information about error location.

Returns:

Error location position.

getReferenceArea

public SourceArea getReferenceArea()

Get additional position information about another associated location.

Returns:

Additional error location position.

getMessage

public java.lang.String getMessage()

Overrides:

getMessage in class java.lang.Throwable

getDescription

public java.lang.String getDescription()

Get detailed error description. The first line contains QedeqException.getErrorCode() and getMessage(). The second line contains the local address, the line and column.

Returns:

Error description.

hashCode

public final int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public final boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public final java.lang.String toString()

Overrides:

toString in class QedeqException