annotate dwtx/jface/operation/ModalContext.d @ 90:7ffeace6c47f

Update 3.4M7 to 3.4
author Frank Benoit <benoit@tionex.de>
date Sun, 06 Jul 2008 23:30:07 +0200
parents 5df4896124c7
children 862b05e0334a
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 /*******************************************************************************
90
7ffeace6c47f Update 3.4M7 to 3.4
Frank Benoit <benoit@tionex.de>
parents: 72
diff changeset
2 * Copyright (c) 2000, 2008 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>
90
7ffeace6c47f Update 3.4M7 to 3.4
Frank Benoit <benoit@tionex.de>
parents: 72
diff changeset
43 * @noinstantiate This class is not intended to be instantiated by clients.
7ffeace6c47f Update 3.4M7 to 3.4
Frank Benoit <benoit@tionex.de>
parents: 72
diff changeset
44 * @noextend This class is not intended to be subclassed by clients.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
45 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
46 public class ModalContext {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
47
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
48 /**
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
49 * 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
50 * default.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
51 */
65
84ce9636d109 activate the debug outputs
Frank Benoit <benoit@tionex.de>
parents: 56
diff changeset
52 private static bool debug_ = true;
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
53
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
54 /**
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
55 * 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
56 * global state.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
57 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
58 private static int modalLevel = 0;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
59
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
60 /**
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
61 * 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
62 * 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
63 * the calling thread.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
64 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
65 private static bool runInSeparateThread = true;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
66
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
67 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
68 * Thread which runs the modal context.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
69 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
70 private static class ModalContextThread : Thread {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
71 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
72 * The operation to be run.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
73 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
74 private IRunnableWithProgress runnable;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
75
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
76 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
77 * The exception thrown by the operation starter.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
78 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
79 private Exception throwable;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
80
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
81 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
82 * The progress monitor used for progress and cancelation.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
83 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
84 private IProgressMonitor progressMonitor;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
85
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
86 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
87 * The display used for event dispatching.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
88 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
89 private Display display;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
90
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
91 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
92 * Indicates whether to continue event queue dispatching.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
93 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
94 private /+volatile+/ bool continueEventDispatching = true;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
95
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
96 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
97 * The thread that forked this modal context thread.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
98 *
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
99 * @since 3.1
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
100 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
101 private Thread callingThread;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
102
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
103 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
104 * Creates a new modal context.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
105 *
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
106 * @param operation
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
107 * the runnable to run
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
108 * @param monitor
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
109 * 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
110 * receive requests for cancelation
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
111 * @param display
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
112 * the display to be used to read and dispatch events
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
113 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
114 private this(IRunnableWithProgress operation,
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
115 IProgressMonitor monitor, Display display) {
56
ef6c06252a87 fix anon classes
Frank Benoit <benoit@tionex.de>
parents: 43
diff changeset
116 super(&run2); //$NON-NLS-1$
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
117 Assert.isTrue(monitor !is null && display !is null);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
118 runnable = operation;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
119 progressMonitor = new AccumulatingProgressMonitor(monitor, display);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
120 this.display = display;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
121 this.callingThread = Thread.getThis();
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
122 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
123
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
124 /*
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
125 * (non-Javadoc) Method declared on Thread.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
126 */
56
ef6c06252a87 fix anon classes
Frank Benoit <benoit@tionex.de>
parents: 43
diff changeset
127 public /+override+/ void run2() {
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
128 try {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
129 if (runnable !is null) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
130 runnable.run(progressMonitor);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
131 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
132 /+
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
133 } catch (InvocationTargetException 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 (InterruptedException 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 (RuntimeException e) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
138 throwable = e;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
139 } catch (ThreadDeath e) {
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
140 // 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
141 // fully terminate
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
142 throw e;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
143 +/
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
144 } catch (/+Error+/Exception e) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
145 throwable = e;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
146 } finally {
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
147 // notify the operation of change of thread of control
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
148 if ( auto tl = cast(IThreadListener)runnable ) {
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
149 auto exception =
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
150 invokeThreadListener(tl, callingThread);
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
151
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
152 //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
153 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
154 throwable = exception;
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
155 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
156
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
157 // Make sure that all events in the asynchronous event queue
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
158 // are dispatched.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
159 display.syncExec(new class() Runnable {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
160 public void run() {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
161 // do nothing
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
162 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
163 });
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
164
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
165 // Stop event dispatching
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
166 continueEventDispatching = false;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
167
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
168 // Force the event loop to return from sleep () so that
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
169 // it stops event dispatching.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
170 display.asyncExec(null);
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
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
174 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
175 * Processes events or waits until this modal context thread terminates.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
176 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
177 public void block() {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
178 if (display is Display.getCurrent()) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
179 while (continueEventDispatching) {
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
180 // Run the event loop. Handle any uncaught exceptions caused
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
181 // by UI events.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
182 try {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
183 if (!display.readAndDispatch()) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
184 display.sleep();
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
185 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
186 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
187 /+
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
188 // 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
189 // We must
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
190 // propagate it in order for it to properly terminate.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
191 catch (ThreadDeath e) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
192 throw (e);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
193 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
194 +/
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
195 // For all other exceptions, log the problem.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
196 catch (Exception e) {
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
197 Policy
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
198 .getLog()
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
199 .log(
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
200 new Status(
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
201 IStatus.ERROR,
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
202 Policy.JFACE,
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
203 "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
204 e));
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
205 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
206 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
207 } else {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
208 try {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
209 join();
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
210 } catch (Exception e) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
211 throwable = e;
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 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
216
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
217 /**
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
218 * 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
219 * around, the second progress monitor.
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
220 *
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
221 * @param monitor1
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
222 * the first progress monitor
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
223 * @param monitor2
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
224 * the second progress monitor
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
225 * @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
226 * around, the second
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
227 * @see ProgressMonitorWrapper
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
228 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
229 public static bool canProgressMonitorBeUsed(IProgressMonitor monitor1,
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
230 IProgressMonitor monitor2) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
231 if (monitor1 is monitor2) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
232 return true;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
233 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
234
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
235 while ( cast(ProgressMonitorWrapper)monitor1 ) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
236 monitor1 = (cast(ProgressMonitorWrapper)monitor1)
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
237 .getWrappedProgressMonitor();
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
238 if (monitor1 is monitor2) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
239 return true;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
240 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
241 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
242 return false;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
243 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
244
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
245 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
246 * Checks with the given progress monitor and throws
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
247 * <code>InterruptedException</code> if it has been canceled.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
248 * <p>
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
249 * 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
250 * that a request to cancel will be honored.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
251 * </p>
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
252 * <p>
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
253 * Convenience for:
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
254 *
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
255 * <pre>
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
256 * if (monitor.isCanceled())
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
257 * throw new InterruptedException();
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
258 * </pre>
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
259 *
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
260 * </p>
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
261 *
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
262 * @param monitor
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
263 * the progress monitor
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
264 * @exception InterruptedException
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
265 * if cancelling the operation has been requested
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
266 * @see IProgressMonitor#isCanceled()
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
267 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
268 public static void checkCanceled(IProgressMonitor monitor) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
269 if (monitor.isCanceled()) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
270 throw new InterruptedException();
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
271 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
272 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
273
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
274 /**
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
275 * 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
276 * context is active.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
277 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
278 private static ModalContextThread getCurrentModalContextThread() {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
279 Thread t = Thread.getThis();
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
280 if ( auto r = cast(ModalContextThread)t ) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
281 return r;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
282 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
283 return null;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
284 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
285
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
286 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
287 * Returns the modal nesting level.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
288 * <p>
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
289 * 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
290 * <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
291 * of another call to <code>ModalContext.run</code>.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
292 * </p>
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
293 *
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
294 * @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
295 * 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
296 * <code>ModalContext.run</code>
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
297 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
298 public static int getModalLevel() {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
299 return modalLevel;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
300 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
301
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
302 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
303 * Returns whether the given thread is running a modal context.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
304 *
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
305 * @param thread
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
306 * The thread to be checked
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
307 * @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
308 * context, <code>false</code> if not
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
309 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
310 public static bool isModalContextThread(Thread thread) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
311 return (cast(ModalContextThread)thread) !is null;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
312 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
313
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
314 /**
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
315 * 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
316 * monitor.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
317 * <p>
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
318 * 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
319 * given runnable.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
320 * </p>
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
321 * <p>
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
322 * If the supplied operation implements <code>IThreadListener</code>, it
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
323 * 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
324 * 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
325 * 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
326 * 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
327 * 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
328 * 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
329 * 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
330 * </p>
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
331 *
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
332 * @param operation
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
333 * the runnable to run
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
334 * @param fork
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
335 * <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
336 * 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
337 * @param monitor
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
338 * 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
339 * requests for cancelation
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
340 * @param display
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
341 * 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
342 * @exception InvocationTargetException
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
343 * 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
344 * should wrap it inside an
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
345 * <code>InvocationTargetException</code>; runtime
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
346 * 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
347 * <code>InvocationTargetException</code> by this method
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
348 * @exception InterruptedException
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
349 * 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
350 * <code>IProgressMonitor.isCanceled()</code>, it should
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
351 * exit by throwing <code>InterruptedException</code>;
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
352 * this method propagates the exception
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
353 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
354 public static void run(IRunnableWithProgress operation, bool fork,
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
355 IProgressMonitor monitor, Display display) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
356 Assert.isTrue(operation !is null && monitor !is null);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
357
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
358 modalLevel++;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
359 try {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
360 if (monitor !is null) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
361 monitor.setCanceled(false);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
362 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
363 // Is the runnable supposed to be execute in the same thread.
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
364 if (!fork || !runInSeparateThread) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
365 runInCurrentThread(operation, monitor);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
366 } else {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
367 ModalContextThread t = getCurrentModalContextThread();
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
368 if (t !is null) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
369 Assert.isTrue(canProgressMonitorBeUsed(monitor,
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
370 t.progressMonitor));
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
371 runInCurrentThread(operation, monitor);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
372 } else {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
373 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
374 Exception listenerException = null;
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
375 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
376 listenerException = invokeThreadListener(tl, t);
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
377 }
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
378
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
379 if(listenerException is null){
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
380 t.start();
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
381 t.block();
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
382 }
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
383 else {
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
384 if(t.throwable is null)
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
385 t.throwable = listenerException;
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
386 }
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
387 Exception throwable = t.throwable;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
388 if (throwable !is null) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
389 if (debug_
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
390 && !(cast(InterruptedException)throwable )
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
391 && !(cast(OperationCanceledException)throwable )) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
392 Stderr.formatln("Exception in modal context operation:"); //$NON-NLS-1$
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
393 ExceptionPrintStackTrace(throwable);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
394 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
395 // 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
396 // throwable,
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
397 // 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
398 // other thread).
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
399 ExceptionPrintStackTrace( new InvocationTargetException(null));
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
400 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
401 if (cast(InvocationTargetException)throwable ) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
402 throw cast(InvocationTargetException) throwable;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
403 } else if (cast(InterruptedException)throwable ) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
404 throw cast(InterruptedException) throwable;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
405 } else if (cast(OperationCanceledException)throwable ) {
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
406 // See 1GAN3L5: ITPUI:WIN2000 - ModalContext
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
407 // converts OperationCancelException into
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
408 // InvocationTargetException
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
409 throw new InterruptedException(throwable
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
410 .msg);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
411 } else {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
412 throw new InvocationTargetException(throwable);
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 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
416 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
417 } finally {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
418 modalLevel--;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
419 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
420 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
421
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
422 /**
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
423 * 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
424 * return them.
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
425 *
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
426 * @param listener
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
427 * @param switchingThread
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
428 * the {@link Thread} being switched to
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
429 */
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
430 static Exception invokeThreadListener(IThreadListener listener,
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
431 Thread switchingThread) {
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
432 try {
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
433 listener.threadChange(switchingThread);
72
5df4896124c7 JFace and its examples do compile
Frank Benoit <benoit@tionex.de>
parents: 71
diff changeset
434 // } catch (ThreadDeath e) {
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
435 // 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
436 // fully terminate
72
5df4896124c7 JFace and its examples do compile
Frank Benoit <benoit@tionex.de>
parents: 71
diff changeset
437 // throw e;
5df4896124c7 JFace and its examples do compile
Frank Benoit <benoit@tionex.de>
parents: 71
diff changeset
438 // } catch (Error e) {
5df4896124c7 JFace and its examples do compile
Frank Benoit <benoit@tionex.de>
parents: 71
diff changeset
439 // return e;
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
440 }catch (RuntimeException e) {
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
441 return e;
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 return null;
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
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
446 /**
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
447 * 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
448 * InterruptedException or InvocationTargetException
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
449 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
450 private static void runInCurrentThread(IRunnableWithProgress runnable,
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
451 IProgressMonitor progressMonitor) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
452 try {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
453 if (runnable !is null) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
454 runnable.run(progressMonitor);
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
455 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
456 } catch (InvocationTargetException 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 (InterruptedException e) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
459 throw e;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
460 } catch (OperationCanceledException e) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
461 throw new InterruptedException();
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
462 /+
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
463 } catch (ThreadDeath e) {
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
464 // 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
465 // terminate
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
466 throw e;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
467 +/
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
468 } catch (RuntimeException 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 } catch (/+Error+/Exception e) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
471 throw new InvocationTargetException(e);
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
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
475 /**
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
476 * Sets whether ModalContext is running in debug mode.
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
477 *
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
478 * @param debugMode
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
479 * <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
480 * for normal mode (the default)
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
481 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
482 public static void setDebugMode(bool debugMode) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
483 debug_ = debugMode;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
484 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
485
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
486 /**
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
487 * 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
488 * <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
489 * 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
490 * this method to disallow event processing temporarily.
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
491 *
70
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
492 * @param allowReadAndDispatch
46a6e0e6ccd4 Merge with d-fied sources of 3.4M7
Frank Benoit <benoit@tionex.de>
parents: 65
diff changeset
493 * <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
494 * 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
495 * 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
496 * ModalContext.
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
497 * @since 3.2
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
498 */
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
499 public static void setAllowReadAndDispatch(bool allowReadAndDispatch) {
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
500 // 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
501 runInSeparateThread = allowReadAndDispatch;
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
502 }
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
503 }