public interface IRunnableWithException
extends java.lang.Runnable
A Runnable
that has a result that is accessible via #getResult()
.
Concrete implementations should be subclasses of AbstractRunnableWithException
.
AbstractRunnableWithException
Modifier and Type | Method and Description |
---|---|
java.lang.Exception |
getException()
Returns an occurred exception.
|
Copyright © 2003-2019 The KeY-Project.