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:

Serializable

public class PropositionalException
extends net.sf.tweety.logics.commons.error.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

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

Constructor Summary

Constructors

Constructor and Description
PropositionalException(net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason reason)
PropositionalException(net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason reason, 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

Constructor Detail

PropositionalException

public PropositionalException(net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason reason)

PropositionalException

public PropositionalException(net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason reason,
                              String info)