annotate dwtx/jface/operation/ModalContext.d @ 70:46a6e0e6ccd4

Merge with d-fied sources of 3.4M7
author Frank Benoit <benoit@tionex.de>
date Thu, 22 May 2008 01:36:46 +0200
parents 84ce9636d109
children 4878bef4a38e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
1 /*******************************************************************************
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
2 * Copyright (c) 2000, 2007 IBM Corporation and others.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
3 * All rights reserved. This program and the accompanying materials
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
4 * are made available under the terms of the Eclipse Public License v1.0
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
5 * which accompanies this distribution, and is available at
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
6 * http://www.eclipse.org/legal/epl-v10.html
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
7 *
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
8 * Contributors:
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
9 * IBM Corporation - initial API and implementation
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
10 * Port to the D programming language:
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
11 * Frank Benoit <benoit@tionex.de>
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
12 *******************************************************************************/
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
13 module dwtx.jface.operation.ModalContext;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
14
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
15 import dwt.widgets.Display;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
16 import dwtx.core.runtime.Assert;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
17 import dwtx.core.runtime.IProgressMonitor;
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
18 import dwtx.core.runtime.IStatus;
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
19 import dwtx.core.runtime.OperationCanceledException;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
20 import dwtx.core.runtime.ProgressMonitorWrapper;
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
21 import dwtx.core.runtime.Status;
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
22 import dwtx.jface.util.Policy;
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
23
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
24 import dwtx.jface.operation.IThreadListener;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
25 import dwtx.jface.operation.IRunnableWithProgress;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
26 import dwtx.jface.operation.AccumulatingProgressMonitor;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
27
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
28 import dwt.dwthelper.utils;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
29 import dwt.dwthelper.Runnable;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
30 import tango.core.Thread;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
31 import tango.io.Stdout;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
32
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
33 /**
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
34 * Utility class for supporting modal operations. The runnable passed to the
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
35 * <code>run</code> method is executed in a separate thread, depending on the
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
36 * value of the passed fork argument. If the runnable is executed in a separate
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
37 * thread then the current thread either waits until the new thread ends or, if
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
38 * the current thread is the UI thread, it polls the DWT event queue and
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
39 * dispatches each event.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
40 * <p>
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
41 * This class is not intended to be subclassed.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
42 * </p>
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
43 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
44 public class ModalContext {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
45
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
46 /**
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
47 * Indicated whether ModalContext is in debug mode; <code>false</code> by
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
48 * default.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
49 */
65
84ce9636d109 activate the debug outputs
Frank Benoit <benoit@tionex.de>
parents: 56
diff changeset
50 private static bool debug_ = true;
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
51
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
52 /**
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
53 * The number of nested modal runs, or 0 if not inside a modal run. This is
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
54 * global state.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
55 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
56 private static int modalLevel = 0;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
57
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
58 /**
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
59 * Indicates whether operations should be run in a separate thread. Defaults
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
60 * to true. For internal debugging use, set to false to run operations in
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
61 * the calling thread.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
62 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
63 private static bool runInSeparateThread = true;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
64
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
65 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
66 * Thread which runs the modal context.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
67 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
68 private static class ModalContextThread : Thread {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
69 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
70 * The operation to be run.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
71 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
72 private IRunnableWithProgress runnable;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
73
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
74 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
75 * The exception thrown by the operation starter.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
76 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
77 private Exception throwable;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
78
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
79 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
80 * The progress monitor used for progress and cancelation.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
81 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
82 private IProgressMonitor progressMonitor;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
83
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
84 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
85 * The display used for event dispatching.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
86 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
87 private Display display;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
88
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
89 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
90 * Indicates whether to continue event queue dispatching.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
91 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
92 private /+volatile+/ bool continueEventDispatching = true;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
93
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
94 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
95 * The thread that forked this modal context thread.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
96 *
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
97 * @since 3.1
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
98 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
99 private Thread callingThread;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
100
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
101 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
102 * Creates a new modal context.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
103 *
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
104 * @param operation
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
105 * the runnable to run
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
106 * @param monitor
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
107 * the progress monitor to use to display progress and
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
108 * receive requests for cancelation
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
109 * @param display
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
110 * the display to be used to read and dispatch events
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
111 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
112 private this(IRunnableWithProgress operation,
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
113 IProgressMonitor monitor, Display display) {
56
ef6c06252a87 fix anon classes
Frank Benoit <benoit@tionex.de>
parents: 43
diff changeset
114 super(&run2); //$NON-NLS-1$
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
115 Assert.isTrue(monitor !is null && display !is null);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
116 runnable = operation;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
117 progressMonitor = new AccumulatingProgressMonitor(monitor, display);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
118 this.display = display;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
119 this.callingThread = Thread.getThis();
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
120 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
121
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
122 /*
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
123 * (non-Javadoc) Method declared on Thread.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
124 */
56
ef6c06252a87 fix anon classes
Frank Benoit <benoit@tionex.de>
parents: 43
diff changeset
125 public /+override+/ void run2() {
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
126 try {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
127 if (runnable !is null) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
128 runnable.run(progressMonitor);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
129 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
130 /+
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
131 } catch (InvocationTargetException e) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
132 throwable = e;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
133 } catch (InterruptedException e) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
134 throwable = e;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
135 } catch (RuntimeException e) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
136 throwable = e;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
137 } catch (ThreadDeath e) {
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
138 // Make sure to propagate ThreadDeath, or threads will never
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
139 // fully terminate
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
140 throw e;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
141 +/
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
142 } catch (/+Error+/Exception e) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
143 throwable = e;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
144 } finally {
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
145 // notify the operation of change of thread of control
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
146 if ( auto tl = cast(IThreadListener)runnable ) {
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
147 auto exception =
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
148 invokeThreadListener(tl, callingThread);
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
149
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
150 //Forward it if we don't already have one
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
151 if(exception !is null && throwable is null)
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
152 throwable = exception;
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
153 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
154
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
155 // Make sure that all events in the asynchronous event queue
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
156 // are dispatched.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
157 display.syncExec(new class() Runnable {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
158 public void run() {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
159 // do nothing
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
160 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
161 });
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
162
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
163 // Stop event dispatching
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
164 continueEventDispatching = false;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
165
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
166 // Force the event loop to return from sleep () so that
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
167 // it stops event dispatching.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
168 display.asyncExec(null);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
169 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
170 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
171
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
172 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
173 * Processes events or waits until this modal context thread terminates.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
174 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
175 public void block() {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
176 if (display is Display.getCurrent()) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
177 while (continueEventDispatching) {
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
178 // Run the event loop. Handle any uncaught exceptions caused
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
179 // by UI events.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
180 try {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
181 if (!display.readAndDispatch()) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
182 display.sleep();
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
183 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
184 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
185 /+
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
186 // ThreadDeath is a normal error when the thread is dying.
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
187 // We must
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
188 // propagate it in order for it to properly terminate.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
189 catch (ThreadDeath e) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
190 throw (e);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
191 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
192 +/
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
193 // For all other exceptions, log the problem.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
194 catch (Exception e) {
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
195 Policy
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
196 .getLog()
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
197 .log(
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
198 new Status(
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
199 IStatus.ERROR,
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
200 Policy.JFACE,
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
201 "Unhandled event loop exception during blocked modal context.",//$NON-NLS-1$
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
202 e));
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
203 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
204 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
205 } else {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
206 try {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
207 join();
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
208 } catch (Exception e) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
209 throwable = e;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
210 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
211 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
212 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
213 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
214
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
215 /**
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
216 * Returns whether the first progress monitor is the same as, or a wrapper
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
217 * around, the second progress monitor.
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
218 *
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
219 * @param monitor1
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
220 * the first progress monitor
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
221 * @param monitor2
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
222 * the second progress monitor
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
223 * @return <code>true</code> if the first is the same as, or a wrapper
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
224 * around, the second
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
225 * @see ProgressMonitorWrapper
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
226 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
227 public static bool canProgressMonitorBeUsed(IProgressMonitor monitor1,
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
228 IProgressMonitor monitor2) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
229 if (monitor1 is monitor2) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
230 return true;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
231 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
232
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
233 while ( cast(ProgressMonitorWrapper)monitor1 ) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
234 monitor1 = (cast(ProgressMonitorWrapper)monitor1)
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
235 .getWrappedProgressMonitor();
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
236 if (monitor1 is monitor2) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
237 return true;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
238 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
239 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
240 return false;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
241 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
242
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
243 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
244 * Checks with the given progress monitor and throws
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
245 * <code>InterruptedException</code> if it has been canceled.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
246 * <p>
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
247 * Code in a long-running operation should call this method regularly so
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
248 * that a request to cancel will be honored.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
249 * </p>
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
250 * <p>
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
251 * Convenience for:
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
252 *
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
253 * <pre>
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
254 * if (monitor.isCanceled())
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
255 * throw new InterruptedException();
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
256 * </pre>
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
257 *
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
258 * </p>
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
259 *
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
260 * @param monitor
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
261 * the progress monitor
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
262 * @exception InterruptedException
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
263 * if cancelling the operation has been requested
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
264 * @see IProgressMonitor#isCanceled()
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
265 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
266 public static void checkCanceled(IProgressMonitor monitor) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
267 if (monitor.isCanceled()) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
268 throw new InterruptedException();
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
269 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
270 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
271
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
272 /**
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
273 * Returns the currently active modal context thread, or null if no modal
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
274 * context is active.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
275 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
276 private static ModalContextThread getCurrentModalContextThread() {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
277 Thread t = Thread.getThis();
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
278 if ( auto r = cast(ModalContextThread)t ) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
279 return r;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
280 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
281 return null;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
282 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
283
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
284 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
285 * Returns the modal nesting level.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
286 * <p>
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
287 * The modal nesting level increases by one each time the
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
288 * <code>ModalContext.run</code> method is called within the dynamic scope
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
289 * of another call to <code>ModalContext.run</code>.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
290 * </p>
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
291 *
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
292 * @return the modal nesting level, or <code>0</code> if this method is
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
293 * called outside the dynamic scope of any invocation of
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
294 * <code>ModalContext.run</code>
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
295 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
296 public static int getModalLevel() {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
297 return modalLevel;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
298 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
299
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
300 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
301 * Returns whether the given thread is running a modal context.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
302 *
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
303 * @param thread
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
304 * The thread to be checked
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
305 * @return <code>true</code> if the given thread is running a modal
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
306 * context, <code>false</code> if not
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
307 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
308 public static bool isModalContextThread(Thread thread) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
309 return (cast(ModalContextThread)thread) !is null;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
310 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
311
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
312 /**
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
313 * Runs the given runnable in a modal context, passing it a progress
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
314 * monitor.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
315 * <p>
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
316 * The modal nesting level is increased by one from the perspective of the
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
317 * given runnable.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
318 * </p>
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
319 * <p>
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
320 * If the supplied operation implements <code>IThreadListener</code>, it
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
321 * will be notified of any thread changes required to execute the operation.
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
322 * Specifically, the operation will be notified of the thread that will call
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
323 * its <code>run</code> method before it is called, and will be notified
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
324 * of the change of control back to the thread calling this method when the
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
325 * operation completes. These thread change notifications give the operation
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
326 * an opportunity to transfer any thread-local state to the execution thread
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
327 * before control is transferred to the new thread.
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
328 * </p>
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
329 *
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
330 * @param operation
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
331 * the runnable to run
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
332 * @param fork
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
333 * <code>true</code> if the runnable should run in a separate
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
334 * thread, and <code>false</code> if in the same thread
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
335 * @param monitor
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
336 * the progress monitor to use to display progress and receive
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
337 * requests for cancelation
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
338 * @param display
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
339 * the display to be used to read and dispatch events
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
340 * @exception InvocationTargetException
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
341 * if the run method must propagate a checked exception, it
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
342 * should wrap it inside an
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
343 * <code>InvocationTargetException</code>; runtime
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
344 * exceptions and errors are automatically wrapped in an
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
345 * <code>InvocationTargetException</code> by this method
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
346 * @exception InterruptedException
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
347 * if the operation detects a request to cancel, using
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
348 * <code>IProgressMonitor.isCanceled()</code>, it should
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
349 * exit by throwing <code>InterruptedException</code>;
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
350 * this method propagates the exception
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
351 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
352 public static void run(IRunnableWithProgress operation, bool fork,
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
353 IProgressMonitor monitor, Display display) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
354 Assert.isTrue(operation !is null && monitor !is null);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
355
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
356 modalLevel++;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
357 try {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
358 if (monitor !is null) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
359 monitor.setCanceled(false);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
360 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
361 // Is the runnable supposed to be execute in the same thread.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
362 if (!fork || !runInSeparateThread) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
363 runInCurrentThread(operation, monitor);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
364 } else {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
365 ModalContextThread t = getCurrentModalContextThread();
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
366 if (t !is null) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
367 Assert.isTrue(canProgressMonitorBeUsed(monitor,
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
368 t.progressMonitor));
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
369 runInCurrentThread(operation, monitor);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
370 } else {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
371 t = new ModalContextThread(operation, monitor, display);
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
372 Exception listenerException = null;
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
373 if ( auto tl = cast(IThreadListener)operation ) {
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
374 listenerException = invokeThreadListener(tl, t);
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
375 }
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
376
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
377 if(listenerException is null){
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
378 t.start();
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
379 t.block();
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
380 }
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
381 else {
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
382 if(t.throwable is null)
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
383 t.throwable = listenerException;
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
384 }
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
385 Exception throwable = t.throwable;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
386 if (throwable !is null) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
387 if (debug_
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
388 && !(cast(InterruptedException)throwable )
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
389 && !(cast(OperationCanceledException)throwable )) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
390 Stderr.formatln("Exception in modal context operation:"); //$NON-NLS-1$
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
391 ExceptionPrintStackTrace(throwable);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
392 Stderr.formatln("Called from:"); //$NON-NLS-1$
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
393 // Don't create the InvocationTargetException on the
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
394 // throwable,
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
395 // otherwise it will print its stack trace (from the
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
396 // other thread).
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
397 ExceptionPrintStackTrace( new InvocationTargetException(null));
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
398 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
399 if (cast(InvocationTargetException)throwable ) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
400 throw cast(InvocationTargetException) throwable;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
401 } else if (cast(InterruptedException)throwable ) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
402 throw cast(InterruptedException) throwable;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
403 } else if (cast(OperationCanceledException)throwable ) {
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
404 // See 1GAN3L5: ITPUI:WIN2000 - ModalContext
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
405 // converts OperationCancelException into
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
406 // InvocationTargetException
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
407 throw new InterruptedException(throwable
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
408 .msg);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
409 } else {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
410 throw new InvocationTargetException(throwable);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
411 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
412 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
413 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
414 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
415 } finally {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
416 modalLevel--;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
417 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
418 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
419
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
420 /**
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
421 * Invoke the ThreadListener if there are any errors or RuntimeExceptions
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
422 * return them.
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
423 *
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
424 * @param listener
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
425 * @param switchingThread
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
426 * the {@link Thread} being switched to
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
427 */
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
428 static Throwable invokeThreadListener(IThreadListener listener,
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
429 Thread switchingThread) {
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
430 try {
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
431 listener.threadChange(switchingThread);
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
432 } catch (ThreadDeath e) {
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
433 // Make sure to propagate ThreadDeath, or threads will never
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
434 // fully terminate
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
435 throw e;
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
436 } catch (Error e) {
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
437 return e;
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
438 }catch (RuntimeException e) {
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
439 return e;
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
440 }
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
441 return null;
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
442 }
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
443
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
444 /**
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
445 * Run a runnable. Convert all thrown exceptions to either
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
446 * InterruptedException or InvocationTargetException
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
447 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
448 private static void runInCurrentThread(IRunnableWithProgress runnable,
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
449 IProgressMonitor progressMonitor) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
450 try {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
451 if (runnable !is null) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
452 runnable.run(progressMonitor);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
453 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
454 } catch (InvocationTargetException e) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
455 throw e;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
456 } catch (InterruptedException e) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
457 throw e;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
458 } catch (OperationCanceledException e) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
459 throw new InterruptedException();
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
460 /+
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
461 } catch (ThreadDeath e) {
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
462 // Make sure to propagate ThreadDeath, or threads will never fully
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
463 // terminate
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
464 throw e;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
465 +/
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
466 } catch (RuntimeException e) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
467 throw new InvocationTargetException(e);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
468 } catch (/+Error+/Exception e) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
469 throw new InvocationTargetException(e);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
470 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
471 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
472
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
473 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
474 * Sets whether ModalContext is running in debug mode.
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
475 *
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
476 * @param debugMode
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
477 * <code>true</code> for debug mode, and <code>false</code>
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
478 * for normal mode (the default)
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
479 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
480 public static void setDebugMode(bool debugMode) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
481 debug_ = debugMode;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
482 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
483
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
484 /**
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
485 * Sets whether ModalContext may process events (by calling
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
486 * <code>Display.readAndDispatch()</code>) while running operations. By
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
487 * default, ModalContext will process events while running operations. Use
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
488 * this method to disallow event processing temporarily.
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
489 *
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
490 * @param allowReadAndDispatch
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
491 * <code>true</code> (the default) if events may be processed
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
492 * while running an operation, <code>false</code> if
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
493 * Display.readAndDispatch() should not be called from
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
494 * ModalContext.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
495 * @since 3.2
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
496 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
497 public static void setAllowReadAndDispatch(bool allowReadAndDispatch) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
498 // use a separate thread if and only if it is OK to spin the event loop
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
499 runInSeparateThread = allowReadAndDispatch;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
500 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
501 }