Package | Description |
---|---|
org.key_project.util.java.thread |
Class and Description |
---|
AbstractRunnableWithException
Provides a basic implementation of
IRunnableWithException . |
IRunnableWithException
A
Runnable that has a result that is accessible via #getResult() . |
IRunnableWithResult
A
Runnable that has a result that is accessible via IRunnableWithResult.getResult() . |
Copyright © 2003-2019 The KeY-Project.