Class LanguageException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.tweetyproject.logics.commons.error.LanguageException

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

NestedLogicProgramException, PlException

public class LanguageException
extends RuntimeException

A LanguageException is thrown when an illegal operation is attempted in a language, such as setting the arity of a propositional predicate to a value greater than zero.

This exception is used to signal various types of errors related to the misuse of a language, particularly when specific features or operations are not supported.

Authors: Tim Janus

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	LanguageException.LanguageExceptionReason	Enumeration representing specific reasons why a LanguageException might be thrown.

Constructor Summary

Constructors

Constructor	Description
LanguageException()	Constructs a LanguageException with a default error message.
LanguageException(String language, LanguageException.LanguageExceptionReason reason)	Constructs a LanguageException with a specified language and reason.
LanguageException(String language, LanguageException.LanguageExceptionReason reason, String furtherInformation)	Constructs a LanguageException with a specified language, reason, and additional information.

Method Summary

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

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

Constructor Details

LanguageException

public LanguageException()

Constructs a LanguageException with a default error message. This constructor is typically used when the exact nature of the error is unspecified.

LanguageException

public LanguageException(String language,
 LanguageException.LanguageExceptionReason reason)

Constructs a LanguageException with a specified language and reason.

Parameters:

language - the name of the language in which the error occurred.

reason - the specific reason for the exception, described by a LanguageException.LanguageExceptionReason.

LanguageException

public LanguageException(String language,
 LanguageException.LanguageExceptionReason reason,
 String furtherInformation)

Constructs a LanguageException with a specified language, reason, and additional information.

Parameters:

language - the name of the language in which the error occurred.

reason - the specific reason for the exception, described by a LanguageException.LanguageExceptionReason.

furtherInformation - additional details about the error, which may help in diagnosing the issue.