de.learnlib.filter.reuse

Class ReuseException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

java.lang.IllegalArgumentException

de.learnlib.filter.reuse.ReuseException

All Implemented Interfaces:

Serializable

public class ReuseException
extends IllegalArgumentException

This exception will be thrown whenever some nondeterministic behavior in the reuse tree is detected when inserting new queries.

Author:

Oliver Bauer

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ReuseException(String string)

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

ReuseException

public ReuseException(String string)