jdk/src/share/classes/java/awt/WaitDispatchSupport.java
author art
Tue, 24 Aug 2010 12:54:46 +0400
changeset 6484 f5dbd940a640
child 16839 d0f2e97b7359
permissions -rw-r--r--
6949936: Provide API for running nested events loops, similar to what modal dialogs do Reviewed-by: ant, anthony
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6484
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
     1
/*
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
     2
 * Copyright (c) 2010, Oracle and/or its affiliates. All rights reserved.
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
     4
 *
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    10
 *
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    15
 * accompanied this code).
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    16
 *
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    20
 *
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    23
 * questions.
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    24
 */
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    25
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    26
package java.awt;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    27
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    28
import java.util.Timer;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    29
import java.util.TimerTask;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    30
import java.util.concurrent.atomic.AtomicBoolean;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    31
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    32
import java.security.PrivilegedAction;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    33
import java.security.AccessController;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    34
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    35
import sun.awt.PeerEvent;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    36
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    37
import sun.util.logging.PlatformLogger;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    38
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    39
/**
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    40
 * This utility class is used to suspend execution on a thread
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    41
 * while still allowing {@code EventDispatchThread} to dispatch events.
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    42
 * The API methods of the class are thread-safe.
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    43
 *
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    44
 * @author Anton Tarasov, Artem Ananiev
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    45
 *
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    46
 * @since 1.7
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    47
 */
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    48
class WaitDispatchSupport implements SecondaryLoop {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    49
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    50
    private final static PlatformLogger log =
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    51
        PlatformLogger.getLogger("java.awt.event.WaitDispatchSupport");
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    52
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    53
    private EventDispatchThread dispatchThread;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    54
    private EventFilter filter;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    55
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    56
    private volatile Conditional extCondition;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    57
    private volatile Conditional condition;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    58
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    59
    private long interval;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    60
    // Use a shared daemon timer to serve all the WaitDispatchSupports
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    61
    private static Timer timer;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    62
    // When this WDS expires, we cancel the timer task leaving the
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    63
    // shared timer up and running
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    64
    private TimerTask timerTask;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    65
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    66
    private AtomicBoolean keepBlockingEDT = new AtomicBoolean(false);
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    67
    private AtomicBoolean keepBlockingCT = new AtomicBoolean(false);
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    68
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    69
    private static synchronized void initializeTimer() {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    70
        if (timer == null) {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    71
            timer = new Timer("AWT-WaitDispatchSupport-Timer", true);
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    72
        }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    73
    }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    74
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    75
    /**
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    76
     * Creates a {@code WaitDispatchSupport} instance to
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    77
     * serve the given event dispatch thread.
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    78
     *
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    79
     * @param dispatchThread An event dispatch thread that
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    80
     *        should not stop dispatching events while waiting
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    81
     *
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    82
     * @since 1.7
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    83
     */
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    84
    public WaitDispatchSupport(EventDispatchThread dispatchThread) {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    85
        this(dispatchThread, null);
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    86
    }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    87
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    88
    /**
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    89
     * Creates a {@code WaitDispatchSupport} instance to
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    90
     * serve the given event dispatch thread.
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    91
     *
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    92
     * @param dispatchThread An event dispatch thread that
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    93
     *        should not stop dispatching events while waiting
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    94
     * @param extCondition A conditional object used to determine
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    95
     *        if the loop should be terminated
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    96
     *
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    97
     * @since 1.7
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    98
     */
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
    99
    public WaitDispatchSupport(EventDispatchThread dispatchThread,
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   100
                               Conditional extCond)
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   101
    {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   102
        if (dispatchThread == null) {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   103
            throw new IllegalArgumentException("The dispatchThread can not be null");
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   104
        }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   105
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   106
        this.dispatchThread = dispatchThread;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   107
        this.extCondition = extCond;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   108
        this.condition = new Conditional() {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   109
            @Override
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   110
            public boolean evaluate() {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   111
                if (log.isLoggable(PlatformLogger.FINEST)) {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   112
                    log.finest("evaluate(): blockingEDT=" + keepBlockingEDT.get() +
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   113
                               ", blockingCT=" + keepBlockingCT.get());
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   114
                }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   115
                boolean extEvaluate =
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   116
                    (extCondition != null) ? extCondition.evaluate() : true;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   117
                if (!keepBlockingEDT.get() || !extEvaluate) {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   118
                    if (timerTask != null) {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   119
                        timerTask.cancel();
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   120
                        timerTask = null;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   121
                    }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   122
                    return false;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   123
                }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   124
                return true;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   125
            }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   126
        };
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   127
    }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   128
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   129
    /**
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   130
     * Creates a {@code WaitDispatchSupport} instance to
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   131
     * serve the given event dispatch thread.
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   132
     * <p>
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   133
     * The {@link EventFilter} is set on the {@code dispatchThread}
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   134
     * while waiting. The filter is removed on completion of the
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   135
     * waiting process.
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   136
     * <p>
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   137
     *
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   138
     *
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   139
     * @param dispatchThread An event dispatch thread that
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   140
     *        should not stop dispatching events while waiting
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   141
     * @param filter {@code EventFilter} to be set
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   142
     * @param interval A time interval to wait for. Note that
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   143
     *        when the waiting process takes place on EDT
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   144
     *        there is no guarantee to stop it in the given time
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   145
     *
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   146
     * @since 1.7
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   147
     */
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   148
    public WaitDispatchSupport(EventDispatchThread dispatchThread,
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   149
                               Conditional extCondition,
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   150
                               EventFilter filter, long interval)
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   151
    {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   152
        this(dispatchThread, extCondition);
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   153
        this.filter = filter;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   154
        if (interval < 0) {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   155
            throw new IllegalArgumentException("The interval value must be >= 0");
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   156
        }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   157
        this.interval = interval;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   158
        if (interval != 0) {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   159
            initializeTimer();
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   160
        }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   161
    }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   162
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   163
    /**
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   164
     * @inheritDoc
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   165
     */
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   166
    @Override
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   167
    public boolean enter() {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   168
        log.fine("enter(): blockingEDT=" + keepBlockingEDT.get() +
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   169
                 ", blockingCT=" + keepBlockingCT.get());
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   170
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   171
        if (!keepBlockingEDT.compareAndSet(false, true)) {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   172
            log.fine("The secondary loop is already running, aborting");
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   173
            return false;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   174
        }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   175
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   176
        final Runnable run = new Runnable() {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   177
            public void run() {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   178
                log.fine("Starting a new event pump");
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   179
                if (filter == null) {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   180
                    dispatchThread.pumpEvents(condition);
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   181
                } else {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   182
                    dispatchThread.pumpEventsForFilter(condition, filter);
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   183
                }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   184
            }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   185
        };
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   186
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   187
        // We have two mechanisms for blocking: if we're on the
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   188
        // dispatch thread, start a new event pump; if we're
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   189
        // on any other thread, call wait() on the treelock
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   190
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   191
        Thread currentThread = Thread.currentThread();
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   192
        if (currentThread == dispatchThread) {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   193
            log.finest("On dispatch thread: " + dispatchThread);
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   194
            if (interval != 0) {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   195
                log.finest("scheduling the timer for " + interval + " ms");
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   196
                timer.schedule(timerTask = new TimerTask() {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   197
                    @Override
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   198
                    public void run() {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   199
                        if (keepBlockingEDT.compareAndSet(true, false)) {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   200
                            wakeupEDT();
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   201
                        }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   202
                    }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   203
                }, interval);
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   204
            }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   205
            // Dispose SequencedEvent we are dispatching on the the current
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   206
            // AppContext, to prevent us from hang - see 4531693 for details
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   207
            SequencedEvent currentSE = KeyboardFocusManager.
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   208
                getCurrentKeyboardFocusManager().getCurrentSequencedEvent();
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   209
            if (currentSE != null) {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   210
                log.fine("Dispose current SequencedEvent: " + currentSE);
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   211
                currentSE.dispose();
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   212
            }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   213
            // In case the exit() method is called before starting
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   214
            // new event pump it will post the waking event to EDT.
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   215
            // The event will be handled after the the new event pump
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   216
            // starts. Thus, the enter() method will not hang.
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   217
            //
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   218
            // Event pump should be privileged. See 6300270.
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   219
            AccessController.doPrivileged(new PrivilegedAction() {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   220
                public Object run() {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   221
                    run.run();
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   222
                    return null;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   223
                }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   224
            });
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   225
        } else {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   226
            log.finest("On non-dispatch thread: " + currentThread);
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   227
            synchronized (getTreeLock()) {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   228
                if (filter != null) {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   229
                    dispatchThread.addEventFilter(filter);
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   230
                }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   231
                try {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   232
                    EventQueue eq = dispatchThread.getEventQueue();
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   233
                    eq.postEvent(new PeerEvent(this, run, PeerEvent.PRIORITY_EVENT));
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   234
                    keepBlockingCT.set(true);
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   235
                    if (interval > 0) {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   236
                        long currTime = System.currentTimeMillis();
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   237
                        while (keepBlockingCT.get() &&
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   238
                               ((extCondition != null) ? extCondition.evaluate() : true) &&
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   239
                               (currTime + interval > System.currentTimeMillis()))
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   240
                        {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   241
                            getTreeLock().wait(interval);
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   242
                        }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   243
                    } else {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   244
                        while (keepBlockingCT.get() &&
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   245
                               ((extCondition != null) ? extCondition.evaluate() : true))
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   246
                        {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   247
                            getTreeLock().wait();
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   248
                        }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   249
                    }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   250
                    log.fine("waitDone " + keepBlockingEDT.get() + " " + keepBlockingCT.get());
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   251
                } catch (InterruptedException e) {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   252
                    log.fine("Exception caught while waiting: " + e);
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   253
                } finally {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   254
                    if (filter != null) {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   255
                        dispatchThread.removeEventFilter(filter);
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   256
                    }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   257
                }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   258
                // If the waiting process has been stopped because of the
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   259
                // time interval passed or an exception occurred, the state
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   260
                // should be changed
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   261
                keepBlockingEDT.set(false);
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   262
                keepBlockingCT.set(false);
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   263
            }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   264
        }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   265
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   266
        return true;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   267
    }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   268
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   269
    /**
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   270
     * @inheritDoc
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   271
     */
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   272
    public boolean exit() {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   273
        log.fine("exit(): blockingEDT=" + keepBlockingEDT.get() +
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   274
                 ", blockingCT=" + keepBlockingCT.get());
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   275
        if (keepBlockingEDT.compareAndSet(true, false)) {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   276
            wakeupEDT();
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   277
            return true;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   278
        }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   279
        return false;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   280
    }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   281
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   282
    private final static Object getTreeLock() {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   283
        return Component.LOCK;
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   284
    }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   285
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   286
    private final Runnable wakingRunnable = new Runnable() {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   287
        public void run() {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   288
            log.fine("Wake up EDT");
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   289
            synchronized (getTreeLock()) {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   290
                keepBlockingCT.set(false);
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   291
                getTreeLock().notifyAll();
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   292
            }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   293
            log.fine("Wake up EDT done");
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   294
        }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   295
    };
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   296
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   297
    private void wakeupEDT() {
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   298
        log.finest("wakeupEDT(): EDT == " + dispatchThread);
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   299
        EventQueue eq = dispatchThread.getEventQueue();
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   300
        eq.postEvent(new PeerEvent(this, wakingRunnable, PeerEvent.PRIORITY_EVENT));
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   301
    }
f5dbd940a640 6949936: Provide API for running nested events loops, similar to what modal dialogs do
art
parents:
diff changeset
   302
}