at.jku.risc.stout.urauc.algo

Class JustificationException

java.lang.Object

java.lang.Throwable

java.lang.Exception

at.jku.risc.stout.urauc.util.ControlledException

at.jku.risc.stout.urauc.algo.JustificationException

All Implemented Interfaces:

Serializable

public class JustificationException
extends ControlledException

This ControlledException is thrown if the justification of the computed generalization fails. The justification is computed inside the class AntiUnify.

Author:

Alexander Baumgartner

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
JustificationException()
JustificationException(String message)
JustificationException(String message, Throwable cause)
JustificationException(Throwable cause)

Method Summary

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

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

JustificationException

public JustificationException()

JustificationException

public JustificationException(String message)

JustificationException

public JustificationException(String message,
                      Throwable cause)

JustificationException

public JustificationException(Throwable cause)