org.key_project.util.java.thread

Interfaces

• IRunnableWithException
• IRunnableWithResult

Classes

• AbstractRunnableWithException
• AbstractRunnableWithResult