net.sf.tweety.logics.pl.error

Class PropositionalException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

net.sf.tweety.logics.commons.error.LanguageException

net.sf.tweety.logics.pl.error.PropositionalException

All Implemented Interfaces:

java.io.Serializable

public class PropositionalException
extends LanguageException

An Exception for the propositional language, it is thrown if a developer tries to create illegal propositional statements like a predicate with an arity greater than zero.

Author:

Tim Janus

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class net.sf.tweety.logics.commons.error.LanguageException

LanguageException.LanguageExceptionReason

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID kill warning

Constructor Summary

Constructors

Constructor and Description
PropositionalException(LanguageException.LanguageExceptionReason reason)
PropositionalException(LanguageException.LanguageExceptionReason reason, java.lang.String info)

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

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

Field Detail

serialVersionUID

private static final long serialVersionUID

kill warning

See Also:

Constant Field Values

Constructor Detail

PropositionalException

public PropositionalException(LanguageException.LanguageExceptionReason reason)

PropositionalException

public PropositionalException(LanguageException.LanguageExceptionReason reason,
                              java.lang.String info)