public class SULException extends RuntimeException
SULto wrap any exceptions that occur during the
Rationale for being unchecked: Implementors of a learning or equivalence checking algorithm that directly
operates on the SUL level usually have no sensible way of dealing with such an exception (comparable to when
MembershipOracle.processQueries(java.util.Collection) throws a runtime exception). However, it may be of interest to
some components, like for instance a mapper that maps exceptions to special output symbols.
Caveat: When implementing your
SUL.step(Object) method, never ever catch exceptions with a
catch(Throwable) statement! This would also catch internal VM-related errors such as
OutOfMemoryError. Only ever catch
Exception and any user-created subclasses of
Throwable that apply.
|Constructor and Description|
Creates a SULException wrapped around a
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
Copyright © 2018. All rights reserved.