Package it.univr.di.cstnu.algorithms

Class WellDefinitionException

java.lang.Object

java.lang.Throwable

java.lang.Exception

it.univr.di.cstnu.algorithms.WellDefinitionException

All Implemented Interfaces:

Serializable

public class WellDefinitionException
extends Exception

Some common types of unsatisfied property for well-defined CSTN.

Version:

$Rev: 840 $

Author:

posenato

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	WellDefinitionException.Type	Kinds of possible errors in checking well-definition property.

Constructor Summary

Constructors

Constructor	Description
WellDefinitionException()
WellDefinitionException(String message)
WellDefinitionException(String message, WellDefinitionException.Type t)
WellDefinitionException(String message, Throwable cause)
WellDefinitionException(String message, Throwable cause, boolean enableSuppression, boolean writableStackTrace)
WellDefinitionException(Throwable cause)

Method Summary

Modifier and Type	Method	Description
WellDefinitionException.Type	getType()

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

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

Constructor Details

WellDefinitionException

public WellDefinitionException()

WellDefinitionException

public WellDefinitionException(String message)

Parameters:

message - a String object.

WellDefinitionException

public WellDefinitionException(String message,
 WellDefinitionException.Type t)

Parameters:

message - a String object.

t - a WellDefinitionException.Type object.

WellDefinitionException

public WellDefinitionException(Throwable cause)

Parameters:

cause - a Throwable object.

WellDefinitionException

public WellDefinitionException(String message,
 Throwable cause)

Parameters:

message - a String object.

cause - a Throwable object.

WellDefinitionException

public WellDefinitionException(String message,
 Throwable cause,
 boolean enableSuppression,
 boolean writableStackTrace)

Parameters:

message - a String object.

cause - a Throwable object.

enableSuppression - a boolean.

writableStackTrace - a boolean.

Method Details

getType

public WellDefinitionException.Type getType()

Returns:

the type of exception.