annotate dwtx/jface/operation/ModalContext.d @ 167:862b05e0334a

Add a wrapper for Thread
author Frank Benoit <benoit@tionex.de>
date Tue, 09 Sep 2008 15:59:16 +0200
parents 7ffeace6c47f
children
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;
167
862b05e0334a Add a wrapper for Thread
Frank Benoit <benoit@tionex.de>
parents: 90
diff changeset
30 import dwtx.dwtxhelper.JThread;
6
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 */
167
862b05e0334a Add a wrapper for Thread
Frank Benoit <benoit@tionex.de>
parents: 90
diff changeset
70 private static class ModalContextThread : JThread {
6
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 */
167
862b05e0334a Add a wrapper for Thread
Frank Benoit <benoit@tionex.de>
parents: 90
diff changeset
101 private JThread callingThread;
6
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) {
167
862b05e0334a Add a wrapper for Thread
Frank Benoit <benoit@tionex.de>
parents: 90
diff changeset
116 super(); //$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;
167
862b05e0334a Add a wrapper for Thread
Frank Benoit <benoit@tionex.de>
parents: 90
diff changeset
121 this.callingThread = JThread.currentThread();
6
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 */
167
862b05e0334a Add a wrapper for Thread
Frank Benoit <benoit@tionex.de>
parents: 90
diff changeset
127 public override void run() {
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.
167
862b05e0334a Add a wrapper for Thread
Frank Benoit <benoit@tionex.de>
parents: 90
diff changeset
159 display.syncExec(dgRunnable( {
862b05e0334a Add a wrapper for Thread
Frank Benoit <benoit@tionex.de>
parents: 90
diff changeset
160 // do nothing
862b05e0334a Add a wrapper for Thread
Frank Benoit <benoit@tionex.de>
parents: 90
diff changeset
161 } ));
6
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.
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
218 *
70
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:
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
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>
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
257 *
6
1a6747be662d Jface operations
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
258 * </p>
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
259 *
70
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() {
167
862b05e0334a Add a wrapper for Thread
Frank Benoit <benoit@tionex.de>
parents: 90
diff changeset
277 JThread t = JThread.currentThread();
6
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>
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
291 *
70
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 */
167
862b05e0334a Add a wrapper for Thread
Frank Benoit <benoit@tionex.de>
parents: 90
diff changeset
308 public static bool isModalContextThread(JThread thread) {
6
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>
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
329 *
70
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 }
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
376
70
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.
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
423 *
70
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 */
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
428 static Exception invokeThreadListener(IThreadListener listener,
167
862b05e0334a Add a wrapper for Thread
Frank Benoit <benoit@tionex.de>
parents: 90
diff changeset
429 JThread switchingThread) {
70
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);
72
5df4896124c7 JFace and its examples do compile
Frank Benoit <benoit@tionex.de>
parents: 71
diff changeset
432 // } catch (ThreadDeath e) {
70
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
72
5df4896124c7 JFace and its examples do compile
Frank Benoit <benoit@tionex.de>
parents: 71
diff changeset
435 // throw e;
5df4896124c7 JFace and its examples do compile
Frank Benoit <benoit@tionex.de>
parents: 71
diff changeset
436 // } catch (Error e) {
5df4896124c7 JFace and its examples do compile
Frank Benoit <benoit@tionex.de>
parents: 71
diff changeset
437 // return e;
70
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.
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
475 *
70
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.
71
4878bef4a38e Some fixing
Frank Benoit <benoit@tionex.de>
parents: 70
diff changeset
489 *
70
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 }