de.uka.ilkd.key.util

Class ThreadUtilities

java.lang.Object

de.uka.ilkd.key.util.ThreadUtilities

public final class ThreadUtilities
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ThreadUtilities()

Method Summary

Modifier and Type	Method and Description
static void	invokeAndWait(java.lang.Runnable runner) Invoke a runnable object on the AWT event thread and wait for the execution to finish.
static void	invokeOnEventQueue(java.lang.Runnable runnable) Invoke a runnable object on the AWT event thread.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ThreadUtilities

public ThreadUtilities()

Method Detail

invokeAndWait

public static void invokeAndWait(java.lang.Runnable runner)

Invoke a runnable object on the AWT event thread and wait for the execution to finish. If an exception occurs during the run, the trace is printed to stderr.

Parameters:

runner - Runnable capturing code to execute on the awt thread.

invokeOnEventQueue

public static void invokeOnEventQueue(java.lang.Runnable runnable)

Invoke a runnable object on the AWT event thread. Does not wait necessarily for it to finish. If the current thread is already the event queue, the Runnable object is simply executed.

Parameters:

runnable - Runnable capturing code to execute on the awt thread.