hotspot/src/share/tools/IdealGraphVisualizer/View/src/com/sun/hotspot/igv/view/DiagramScene.java
author never
Thu, 30 Oct 2008 17:08:48 -0700
changeset 1497 cd3234c89e59
parent 766 d3e5868ddb33
child 5547 f4b087cbb361
permissions -rw-r--r--
6764622: IdealGraphVisualizer fixes Reviewed-by: rasbold, jrose
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
766
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
     1
/*
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
     2
 * Copyright 2008 Sun Microsystems, Inc.  All Rights Reserved.
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
     4
 *
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
     7
 * published by the Free Software Foundation.
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
     8
 *
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    13
 * accompanied this code).
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    14
 *
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    18
 *
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    19
 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    20
 * CA 95054 USA or visit www.sun.com if you need additional information or
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    21
 * have any questions.
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    22
 *
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    23
 */
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    24
package com.sun.hotspot.igv.view;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    25
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    26
import com.sun.hotspot.igv.view.widgets.BlockWidget;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    27
import com.sun.hotspot.igv.view.widgets.LineWidget;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    28
import com.sun.hotspot.igv.util.DoubleClickAction;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    29
import com.sun.hotspot.igv.data.InputBlock;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    30
import com.sun.hotspot.igv.data.InputNode;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    31
import com.sun.hotspot.igv.graph.Connection;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    32
import com.sun.hotspot.igv.graph.Diagram;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    33
import com.sun.hotspot.igv.graph.Figure;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    34
import com.sun.hotspot.igv.graph.InputSlot;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    35
import com.sun.hotspot.igv.graph.OutputSlot;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    36
import com.sun.hotspot.igv.graph.Slot;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    37
import com.sun.hotspot.igv.hierarchicallayout.HierarchicalClusterLayoutManager;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    38
import com.sun.hotspot.igv.hierarchicallayout.OldHierarchicalLayoutManager;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    39
import com.sun.hotspot.igv.hierarchicallayout.HierarchicalLayoutManager;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    40
import com.sun.hotspot.igv.view.widgets.FigureWidget;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    41
import com.sun.hotspot.igv.view.widgets.InputSlotWidget;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    42
import com.sun.hotspot.igv.view.widgets.OutputSlotWidget;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    43
import com.sun.hotspot.igv.view.widgets.SlotWidget;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    44
import com.sun.hotspot.igv.layout.LayoutGraph;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    45
import com.sun.hotspot.igv.data.services.Scheduler;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    46
import com.sun.hotspot.igv.data.ChangedListener;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    47
import com.sun.hotspot.igv.graph.Block;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    48
import com.sun.hotspot.igv.util.ColorIcon;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    49
import com.sun.hotspot.igv.util.ExtendedSelectAction;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    50
import java.awt.Color;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    51
import java.awt.Dimension;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    52
import java.awt.Point;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    53
import java.awt.Rectangle;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    54
import java.awt.event.ActionEvent;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    55
import java.awt.event.FocusEvent;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    56
import java.awt.event.FocusListener;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    57
import java.awt.event.MouseEvent;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    58
import java.awt.event.MouseListener;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    59
import java.awt.event.MouseMotionListener;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    60
import java.awt.event.MouseWheelEvent;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    61
import java.awt.event.MouseWheelListener;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    62
import java.util.ArrayList;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    63
import java.util.Collection;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    64
import java.util.HashMap;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    65
import java.util.HashSet;
1497
cd3234c89e59 6764622: IdealGraphVisualizer fixes
never
parents: 766
diff changeset
    66
import java.util.HashMap;
766
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    67
import java.util.List;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    68
import java.util.Map;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    69
import java.util.Set;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    70
import javax.swing.AbstractAction;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    71
import javax.swing.Action;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    72
import javax.swing.BorderFactory;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    73
import javax.swing.JComponent;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    74
import javax.swing.JPopupMenu;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    75
import javax.swing.JScrollPane;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    76
import javax.swing.SwingUtilities;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    77
import javax.swing.event.ChangeEvent;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    78
import javax.swing.event.ChangeListener;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    79
import javax.swing.event.UndoableEditEvent;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    80
import javax.swing.undo.AbstractUndoableEdit;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    81
import javax.swing.undo.CannotRedoException;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    82
import javax.swing.undo.CannotUndoException;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    83
import org.netbeans.api.visual.action.ActionFactory;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    84
import org.netbeans.api.visual.action.PopupMenuProvider;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    85
import org.netbeans.api.visual.action.RectangularSelectDecorator;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    86
import org.netbeans.api.visual.action.RectangularSelectProvider;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    87
import org.netbeans.api.visual.action.SelectProvider;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    88
import org.netbeans.api.visual.action.WidgetAction;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    89
import org.netbeans.api.visual.animator.SceneAnimator;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    90
import org.netbeans.api.visual.layout.LayoutFactory;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    91
import org.netbeans.api.visual.widget.ConnectionWidget;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    92
import org.netbeans.api.visual.widget.LayerWidget;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    93
import org.netbeans.api.visual.widget.Scene;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    94
import org.netbeans.api.visual.widget.Widget;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    95
import org.netbeans.api.visual.widget.LabelWidget;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    96
import org.openide.awt.UndoRedo;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    97
import org.openide.util.Lookup;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    98
import org.openide.util.lookup.AbstractLookup;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
    99
import org.openide.util.lookup.InstanceContent;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   100
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   101
/**
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   102
 *
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   103
 * @author Thomas Wuerthinger
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   104
 */
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   105
public class DiagramScene extends Scene implements ChangedListener<DiagramViewModel> {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   106
1497
cd3234c89e59 6764622: IdealGraphVisualizer fixes
never
parents: 766
diff changeset
   107
    private HashMap<Figure, FigureWidget> figureWidgets;
cd3234c89e59 6764622: IdealGraphVisualizer fixes
never
parents: 766
diff changeset
   108
    private HashMap<Slot, SlotWidget> slotWidgets;
cd3234c89e59 6764622: IdealGraphVisualizer fixes
never
parents: 766
diff changeset
   109
    private HashMap<Connection, ConnectionWidget> connectionWidgets;
cd3234c89e59 6764622: IdealGraphVisualizer fixes
never
parents: 766
diff changeset
   110
    private HashMap<InputBlock, BlockWidget> blockWidgets;
766
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   111
    private Widget hoverWidget;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   112
    private WidgetAction hoverAction;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   113
    private List<FigureWidget> selectedWidgets;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   114
    private Lookup lookup;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   115
    private InstanceContent content;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   116
    private Action[] actions;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   117
    private LayerWidget connectionLayer;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   118
    private JScrollPane scrollPane;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   119
    private UndoRedo.Manager undoRedoManager;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   120
    private LayerWidget mainLayer;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   121
    private LayerWidget slotLayer;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   122
    private LayerWidget blockLayer;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   123
    private double realZoomFactor;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   124
    private BoundedZoomAction zoomAction;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   125
    private WidgetAction panAction;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   126
    private Widget topLeft;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   127
    private Widget bottomRight;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   128
    private LayerWidget startLayer;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   129
    private LabelWidget startLabel;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   130
    private DiagramViewModel model;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   131
    private DiagramViewModel modelCopy;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   132
    public static final int AFTER = 1;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   133
    public static final int BEFORE = 1;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   134
    public static final float ALPHA = 0.4f;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   135
    public static final int GRID_SIZE = 30;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   136
    public static final int BORDER_SIZE = 20;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   137
    public static final int UNDOREDO_LIMIT = 100;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   138
    public static final int SCROLL_UNIT_INCREMENT = 80;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   139
    public static final int SCROLL_BLOCK_INCREMENT = 400;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   140
    public static final float ZOOM_MAX_FACTOR = 3.0f;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   141
    public static final float ZOOM_MIN_FACTOR = 0.0f;//0.15f;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   142
    public static final float ZOOM_INCREMENT = 1.5f;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   143
    public static final int SLOT_OFFSET = 6;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   144
    public static final int ANIMATION_LIMIT = 40;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   145
    private PopupMenuProvider popupMenuProvider = new PopupMenuProvider() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   146
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   147
        public JPopupMenu getPopupMenu(Widget widget, Point localLocation) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   148
            return DiagramScene.this.createPopupMenu();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   149
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   150
    };
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   151
    private RectangularSelectDecorator rectangularSelectDecorator = new RectangularSelectDecorator() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   152
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   153
        public Widget createSelectionWidget() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   154
            Widget widget = new Widget(DiagramScene.this);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   155
            widget.setBorder(BorderFactory.createLineBorder(Color.black, 2));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   156
            widget.setForeground(Color.red);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   157
            return widget;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   158
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   159
    };
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   160
    private RectangularSelectProvider rectangularSelectProvider = new RectangularSelectProvider() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   161
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   162
        public void performSelection(Rectangle rectangle) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   163
            if (rectangle.width < 0) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   164
                rectangle.x += rectangle.width;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   165
                rectangle.width *= -1;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   166
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   167
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   168
            if (rectangle.height < 0) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   169
                rectangle.y += rectangle.height;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   170
                rectangle.height *= -1;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   171
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   172
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   173
            boolean updated = false;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   174
            for (Figure f : getModel().getDiagramToView().getFigures()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   175
                FigureWidget w = figureWidgets.get(f);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   176
                Rectangle r = new Rectangle(w.getBounds());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   177
                r.setLocation(w.getLocation());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   178
                if (r.intersects(rectangle)) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   179
                    if (!selectedWidgets.contains(w)) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   180
                        addToSelection(w);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   181
                        updated = true;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   182
                    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   183
                } else {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   184
                    if (selectedWidgets.contains(w)) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   185
                        selectedWidgets.remove(w);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   186
                        content.remove(w.getNode());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   187
                        w.setState(w.getState().deriveSelected(false));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   188
                        updated = true;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   189
                    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   190
                }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   191
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   192
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   193
            if (updated) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   194
                selectionUpdated();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   195
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   196
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   197
    };
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   198
    private SelectProvider selectProvider = new SelectProvider() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   199
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   200
        public boolean isAimingAllowed(Widget widget, Point point, boolean b) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   201
            return false;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   202
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   203
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   204
        public boolean isSelectionAllowed(Widget widget, Point point, boolean b) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   205
            return widget instanceof FigureWidget || widget == DiagramScene.this;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   206
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   207
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   208
        public void select(Widget w, Point point, boolean change) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   209
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   210
            boolean updated = false;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   211
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   212
            if (w == DiagramScene.this) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   213
                if (DiagramScene.this.selectedWidgets.size() != 0) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   214
                    clearSelection();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   215
                    selectionUpdated();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   216
                }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   217
                return;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   218
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   219
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   220
            FigureWidget widget = (FigureWidget) w;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   221
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   222
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   223
            if (change) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   224
                if (widget.getState().isSelected()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   225
                    assert selectedWidgets.contains(widget);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   226
                    widget.setState(widget.getState().deriveSelected(false));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   227
                    selectedWidgets.remove(widget);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   228
                    content.remove(widget.getNode());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   229
                    updated = true;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   230
                } else {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   231
                    assert !selectedWidgets.contains(widget);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   232
                    addToSelection(widget);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   233
                    updated = true;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   234
                    assert widget.getState().isSelected();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   235
                }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   236
            } else {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   237
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   238
                if (widget.getState().isSelected()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   239
                    assert selectedWidgets.contains(widget);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   240
                } else {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   241
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   242
                    assert !selectedWidgets.contains(widget);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   243
                    clearSelection();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   244
                    addToSelection(widget);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   245
                    updated = true;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   246
                    assert widget.getState().isSelected();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   247
                }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   248
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   249
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   250
            if (updated) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   251
                selectionUpdated();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   252
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   253
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   254
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   255
    };
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   256
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   257
    private FigureWidget getFigureWidget(Figure f) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   258
        return figureWidgets.get(f);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   259
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   260
    private FocusListener focusListener = new FocusListener() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   261
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   262
        public void focusGained(FocusEvent e) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   263
            DiagramScene.this.getView().requestFocus();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   264
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   265
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   266
        public void focusLost(FocusEvent e) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   267
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   268
    };
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   269
    private MouseWheelListener mouseWheelListener = new MouseWheelListener() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   270
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   271
        public void mouseWheelMoved(MouseWheelEvent e) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   272
            DiagramScene.this.zoomAction.mouseWheelMoved(DiagramScene.this, new WidgetAction.WidgetMouseWheelEvent(0, e));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   273
            DiagramScene.this.validate();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   274
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   275
    };
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   276
    private MouseListener mouseListener = new MouseListener() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   277
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   278
        public void mouseClicked(MouseEvent e) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   279
            DiagramScene.this.panAction.mouseClicked(DiagramScene.this, new WidgetAction.WidgetMouseEvent(0, e));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   280
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   281
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   282
        public void mousePressed(MouseEvent e) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   283
            DiagramScene.this.panAction.mousePressed(DiagramScene.this, new WidgetAction.WidgetMouseEvent(0, e));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   284
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   285
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   286
        public void mouseReleased(MouseEvent e) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   287
            DiagramScene.this.panAction.mouseReleased(DiagramScene.this, new WidgetAction.WidgetMouseEvent(0, e));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   288
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   289
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   290
        public void mouseEntered(MouseEvent e) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   291
            DiagramScene.this.panAction.mouseEntered(DiagramScene.this, new WidgetAction.WidgetMouseEvent(0, e));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   292
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   293
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   294
        public void mouseExited(MouseEvent e) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   295
            DiagramScene.this.panAction.mouseExited(DiagramScene.this, new WidgetAction.WidgetMouseEvent(0, e));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   296
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   297
    };
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   298
    private MouseMotionListener mouseMotionListener = new MouseMotionListener() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   299
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   300
        public void mouseDragged(MouseEvent e) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   301
            DiagramScene.this.panAction.mouseDragged(DiagramScene.this, new WidgetAction.WidgetMouseEvent(0, e));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   302
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   303
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   304
        public void mouseMoved(MouseEvent e) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   305
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   306
    };
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   307
    private ScrollChangeListener scrollChangeListener = new ScrollChangeListener();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   308
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   309
    private class ScrollChangeListener implements ChangeListener {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   310
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   311
        private Map<Widget, Point> relativePositions = new HashMap<Widget, Point>();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   312
        private Point oldPosition;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   313
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   314
        public void register(Widget w, Point p) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   315
            relativePositions.put(w, p);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   316
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   317
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   318
        public void unregister(Widget w) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   319
            relativePositions.remove(w);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   320
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   321
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   322
        public void stateChanged(ChangeEvent e) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   323
            Point p = DiagramScene.this.getScrollPane().getViewport().getViewPosition();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   324
            if (oldPosition == null || !p.equals(oldPosition)) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   325
                for (Widget w : relativePositions.keySet()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   326
                    Point curPoint = relativePositions.get(w);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   327
                    Point newPoint = new Point(p.x + curPoint.x, p.y + curPoint.y);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   328
                    w.setPreferredLocation(newPoint);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   329
                    DiagramScene.this.validate();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   330
                }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   331
                oldPosition = p;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   332
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   333
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   334
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   335
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   336
    public Point getScrollPosition() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   337
        return getScrollPane().getViewport().getViewPosition();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   338
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   339
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   340
    public void setScrollPosition(Point p) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   341
        getScrollPane().getViewport().setViewPosition(p);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   342
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   343
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   344
    public DiagramScene(Action[] actions, DiagramViewModel model) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   345
        this.actions = actions;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   346
        selectedWidgets = new ArrayList<FigureWidget>();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   347
        content = new InstanceContent();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   348
        lookup = new AbstractLookup(content);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   349
        this.setCheckClipping(true);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   350
        this.getInputBindings().setZoomActionModifiers(0);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   351
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   352
        JComponent comp = this.createView();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   353
        comp.setDoubleBuffered(true);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   354
        comp.setBackground(Color.WHITE);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   355
        comp.setOpaque(true);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   356
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   357
        this.setBackground(Color.WHITE);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   358
        this.setOpaque(true);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   359
        scrollPane = new JScrollPane(comp);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   360
        scrollPane.setBackground(Color.WHITE);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   361
        scrollPane.getVerticalScrollBar().setUnitIncrement(SCROLL_UNIT_INCREMENT);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   362
        scrollPane.getVerticalScrollBar().setBlockIncrement(SCROLL_BLOCK_INCREMENT);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   363
        scrollPane.getHorizontalScrollBar().setUnitIncrement(SCROLL_UNIT_INCREMENT);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   364
        scrollPane.getHorizontalScrollBar().setBlockIncrement(SCROLL_BLOCK_INCREMENT);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   365
        scrollPane.getViewport().addChangeListener(scrollChangeListener);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   366
        hoverAction = this.createWidgetHoverAction();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   367
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   368
        blockLayer = new LayerWidget(this);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   369
        this.addChild(blockLayer);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   370
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   371
        startLayer = new LayerWidget(this);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   372
        this.addChild(startLayer);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   373
        // TODO: String startLabelString = "Loading graph with " + originalDiagram.getFigures().size() + " figures and " + originalDiagram.getConnections().size() + " connections...";
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   374
        String startLabelString = "";
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   375
        LabelWidget w = new LabelWidget(this, startLabelString);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   376
        scrollChangeListener.register(w, new Point(10, 10));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   377
        w.setAlignment(LabelWidget.Alignment.CENTER);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   378
        startLabel = w;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   379
        startLayer.addChild(w);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   380
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   381
        mainLayer = new LayerWidget(this);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   382
        this.addChild(mainLayer);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   383
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   384
        topLeft = new Widget(this);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   385
        topLeft.setPreferredLocation(new Point(-BORDER_SIZE, -BORDER_SIZE));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   386
        this.addChild(topLeft);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   387
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   388
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   389
        bottomRight = new Widget(this);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   390
        bottomRight.setPreferredLocation(new Point(-BORDER_SIZE, -BORDER_SIZE));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   391
        this.addChild(bottomRight);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   392
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   393
        slotLayer = new LayerWidget(this);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   394
        this.addChild(slotLayer);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   395
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   396
        connectionLayer = new LayerWidget(this);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   397
        this.addChild(connectionLayer);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   398
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   399
        LayerWidget selectionLayer = new LayerWidget(this);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   400
        this.addChild(selectionLayer);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   401
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   402
        this.setLayout(LayoutFactory.createAbsoluteLayout());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   403
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   404
        this.getActions().addAction(hoverAction);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   405
        zoomAction = new BoundedZoomAction(1.1, false);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   406
        zoomAction.setMaxFactor(ZOOM_MAX_FACTOR);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   407
        zoomAction.setMinFactor(ZOOM_MIN_FACTOR);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   408
        this.getActions().addAction(ActionFactory.createMouseCenteredZoomAction(1.1));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   409
        panAction = new ExtendedPanAction();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   410
        this.getActions().addAction(panAction);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   411
        this.getActions().addAction(ActionFactory.createPopupMenuAction(popupMenuProvider));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   412
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   413
        LayerWidget selectLayer = new LayerWidget(this);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   414
        this.addChild(selectLayer);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   415
        this.getActions().addAction(ActionFactory.createRectangularSelectAction(rectangularSelectDecorator, selectLayer, rectangularSelectProvider));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   416
1497
cd3234c89e59 6764622: IdealGraphVisualizer fixes
never
parents: 766
diff changeset
   417
        blockWidgets = new HashMap<InputBlock, BlockWidget>();
766
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   418
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   419
        boolean b = this.getUndoRedoEnabled();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   420
        this.setUndoRedoEnabled(false);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   421
        this.setNewModel(model);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   422
        this.setUndoRedoEnabled(b);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   423
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   424
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   425
    private void selectionUpdated() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   426
        getModel().setSelectedNodes(this.getSelectedNodes());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   427
        addUndo();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   428
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   429
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   430
    public DiagramViewModel getModel() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   431
        return model;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   432
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   433
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   434
    public void setRealZoomFactor(double d) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   435
        this.realZoomFactor = d;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   436
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   437
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   438
    public double getRealZoomFactor() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   439
        if (realZoomFactor == 0.0) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   440
            return getZoomFactor();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   441
        } else {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   442
            return realZoomFactor;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   443
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   444
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   445
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   446
    public JScrollPane getScrollPane() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   447
        return scrollPane;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   448
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   449
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   450
    public boolean isAllVisible() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   451
        return getModel().getHiddenNodes().size() == 0;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   452
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   453
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   454
    public Action createGotoAction(final Figure f) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   455
        final DiagramScene diagramScene = this;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   456
        Action a = new AbstractAction() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   457
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   458
            public void actionPerformed(ActionEvent e) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   459
                diagramScene.gotoFigure(f);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   460
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   461
        };
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   462
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   463
        a.setEnabled(true);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   464
        a.putValue(Action.SMALL_ICON, new ColorIcon(f.getColor()));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   465
        String name = f.getLines()[0];
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   466
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   467
        name += " (";
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   468
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   469
        if (f.getCluster() != null) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   470
            name += "B" + f.getCluster().toString();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   471
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   472
        if (!this.getFigureWidget(f).isVisible()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   473
            if (f.getCluster() != null) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   474
                name += ", ";
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   475
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   476
            name += "hidden";
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   477
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   478
        name += ")";
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   479
        a.putValue(Action.NAME, name);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   480
        return a;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   481
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   482
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   483
    public void setNewModel(DiagramViewModel model) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   484
        if (this.model != null) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   485
            this.model.getDiagramChangedEvent().removeListener(this);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   486
            this.model.getViewPropertiesChangedEvent().removeListener(this);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   487
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   488
        this.model = model;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   489
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   490
        if (this.model == null) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   491
            this.modelCopy = null;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   492
        } else {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   493
            this.modelCopy = this.model.copy();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   494
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   495
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   496
        model.getDiagramChangedEvent().addListener(this);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   497
        model.getViewPropertiesChangedEvent().addListener(this);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   498
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   499
        update();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   500
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   501
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   502
    private void update() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   503
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   504
        /*if (startLabel != null) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   505
        // Animate fade-out
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   506
        final LabelWidget labelWidget = this.startLabel;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   507
        labelWidget.setVisible(true);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   508
        RequestProcessor.getDefault().post(new Runnable() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   509
        public void run() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   510
        final int Sleep = 200;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   511
        final int Progress = 10;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   512
        for (int i = 0; i < 255 / Progress + 1; i++) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   513
        try {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   514
        SwingUtilities.invokeAndWait(new Runnable() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   515
        public void run() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   516
        Color c = labelWidget.getForeground();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   517
        int v = c.getRed();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   518
        v += Progress;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   519
        if (v > 255) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   520
        v = 255;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   521
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   522
        labelWidget.setForeground(new Color(v, v, v, 255 - v));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   523
        labelWidget.getScene().validate();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   524
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   525
        });
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   526
        } catch (InterruptedException ex) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   527
        } catch (InvocationTargetException ex) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   528
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   529
        try {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   530
        Thread.sleep(Sleep);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   531
        } catch (InterruptedException ex) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   532
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   533
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   534
        labelWidget.setVisible(false);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   535
        DiagramScene.this.scrollChangeListener.unregister(labelWidget);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   536
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   537
        }, 1000);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   538
        startLabel = null;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   539
        }*/
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   540
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   541
        slotLayer.removeChildren();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   542
        mainLayer.removeChildren();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   543
        blockLayer.removeChildren();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   544
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   545
        blockWidgets.clear();
1497
cd3234c89e59 6764622: IdealGraphVisualizer fixes
never
parents: 766
diff changeset
   546
        figureWidgets = new HashMap<Figure, FigureWidget>();
cd3234c89e59 6764622: IdealGraphVisualizer fixes
never
parents: 766
diff changeset
   547
        slotWidgets = new HashMap<Slot, SlotWidget>();
cd3234c89e59 6764622: IdealGraphVisualizer fixes
never
parents: 766
diff changeset
   548
        connectionWidgets = new HashMap<Connection, ConnectionWidget>();
766
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   549
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   550
        WidgetAction selectAction = new ExtendedSelectAction(selectProvider);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   551
        Diagram d = getModel().getDiagramToView();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   552
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   553
        if (getModel().getShowBlocks()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   554
            Scheduler s = Lookup.getDefault().lookup(Scheduler.class);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   555
            Collection<InputBlock> newBlocks = new ArrayList<InputBlock>(s.schedule(d.getGraph()));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   556
            d.schedule(newBlocks);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   557
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   558
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   559
        for (Figure f : d.getFigures()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   560
            FigureWidget w = new FigureWidget(f, this, mainLayer);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   561
            w.getActions().addAction(selectAction);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   562
            w.getActions().addAction(hoverAction);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   563
            w.getActions().addAction(ActionFactory.createPopupMenuAction(w));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   564
            w.getActions().addAction(new DoubleClickAction(w));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   565
            w.setVisible(false);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   566
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   567
            figureWidgets.put(f, w);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   568
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   569
            for (InputSlot s : f.getInputSlots()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   570
                SlotWidget sw = new InputSlotWidget(s, this, slotLayer, w);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   571
                slotWidgets.put(s, sw);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   572
                sw.getActions().addAction(selectAction);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   573
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   574
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   575
            for (OutputSlot s : f.getOutputSlots()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   576
                SlotWidget sw = new OutputSlotWidget(s, this, slotLayer, w);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   577
                slotWidgets.put(s, sw);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   578
                sw.getActions().addAction(selectAction);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   579
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   580
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   581
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   582
        if (getModel().getShowBlocks()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   583
            for (InputBlock bn : d.getGraph().getBlocks()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   584
                BlockWidget w = new BlockWidget(this, d, bn);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   585
                w.setVisible(false);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   586
                blockWidgets.put(bn, w);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   587
                blockLayer.addChild(w);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   588
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   589
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   590
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   591
        this.smallUpdate(true);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   592
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   593
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   594
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   595
    private void smallUpdate(boolean relayout) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   596
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   597
        this.updateHiddenNodes(model.getHiddenNodes(), relayout);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   598
        boolean b = this.getUndoRedoEnabled();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   599
        this.setUndoRedoEnabled(false);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   600
        this.setSelection(getModel().getSelectedNodes());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   601
        this.setUndoRedoEnabled(b);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   602
        this.validate();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   603
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   604
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   605
    private boolean isVisible(Connection c) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   606
        FigureWidget w1 = figureWidgets.get(c.getInputSlot().getFigure());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   607
        FigureWidget w2 = figureWidgets.get(c.getOutputSlot().getFigure());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   608
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   609
        if (w1.isVisible() && w2.isVisible()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   610
            return true;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   611
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   612
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   613
        return false;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   614
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   615
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   616
    private void relayout(Set<Widget> oldVisibleWidgets) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   617
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   618
        Diagram diagram = getModel().getDiagramToView();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   619
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   620
        HashSet<Figure> figures = new HashSet<Figure>();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   621
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   622
        for (Figure f : diagram.getFigures()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   623
            FigureWidget w = figureWidgets.get(f);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   624
            if (w.isVisible()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   625
                figures.add(f);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   626
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   627
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   628
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   629
        HashSet<Connection> edges = new HashSet<Connection>();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   630
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   631
        for (Connection c : diagram.getConnections()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   632
            if (isVisible(c)) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   633
                edges.add(c);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   634
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   635
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   636
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   637
        if (getModel().getShowBlocks()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   638
            HierarchicalClusterLayoutManager m = new HierarchicalClusterLayoutManager(OldHierarchicalLayoutManager.Combine.SAME_OUTPUTS);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   639
            HierarchicalLayoutManager manager = new HierarchicalLayoutManager(HierarchicalLayoutManager.Combine.SAME_OUTPUTS);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   640
            manager.setMaxLayerLength(9);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   641
            manager.setMinLayerDifference(3);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   642
            m.setManager(manager);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   643
            m.setSubManager(new HierarchicalLayoutManager(HierarchicalLayoutManager.Combine.SAME_OUTPUTS));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   644
            m.doLayout(new LayoutGraph(edges, figures));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   645
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   646
        } else {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   647
            HierarchicalLayoutManager manager = new HierarchicalLayoutManager(HierarchicalLayoutManager.Combine.SAME_OUTPUTS);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   648
            manager.setMaxLayerLength(10);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   649
            manager.doLayout(new LayoutGraph(edges, figures));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   650
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   651
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   652
        int maxX = -BORDER_SIZE;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   653
        int maxY = -BORDER_SIZE;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   654
        for (Figure f : diagram.getFigures()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   655
            FigureWidget w = figureWidgets.get(f);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   656
            if (w.isVisible()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   657
                Point p = f.getPosition();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   658
                Dimension d = f.getSize();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   659
                maxX = Math.max(maxX, p.x + d.width);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   660
                maxY = Math.max(maxY, p.y + d.height);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   661
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   662
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   663
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   664
        for (Connection c : diagram.getConnections()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   665
            List<Point> points = c.getControlPoints();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   666
            FigureWidget w1 = figureWidgets.get((Figure) c.getTo().getVertex());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   667
            FigureWidget w2 = figureWidgets.get((Figure) c.getFrom().getVertex());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   668
            if (w1.isVisible() && w2.isVisible()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   669
                for (Point p : points) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   670
                    if (p != null) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   671
                        maxX = Math.max(maxX, p.x);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   672
                        maxY = Math.max(maxY, p.y);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   673
                    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   674
                }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   675
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   676
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   677
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   678
        if (getModel().getShowBlocks()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   679
            for (Block b : diagram.getBlocks()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   680
                BlockWidget w = blockWidgets.get(b.getInputBlock());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   681
                if (w != null && w.isVisible()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   682
                    Rectangle r = b.getBounds();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   683
                    maxX = Math.max(maxX, r.x + r.width);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   684
                    maxY = Math.max(maxY, r.y + r.height);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   685
                }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   686
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   687
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   688
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   689
        bottomRight.setPreferredLocation(new Point(maxX + BORDER_SIZE, maxY + BORDER_SIZE));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   690
        int offx = 0;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   691
        int offy = 0;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   692
        int curWidth = maxX + 2 * BORDER_SIZE;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   693
        int curHeight = maxY + 2 * BORDER_SIZE;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   694
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   695
        Rectangle bounds = this.getScrollPane().getBounds();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   696
        if (curWidth < bounds.width) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   697
            offx = (bounds.width - curWidth) / 2;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   698
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   699
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   700
        if (curHeight < bounds.height) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   701
            offy = (bounds.height - curHeight) / 2;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   702
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   703
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   704
        final int offx2 = offx;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   705
        final int offy2 = offy;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   706
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   707
        SceneAnimator animator = this.getSceneAnimator();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   708
        connectionLayer.removeChildren();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   709
        int visibleFigureCount = 0;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   710
        for (Figure f : diagram.getFigures()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   711
            if (figureWidgets.get(f).isVisible()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   712
                visibleFigureCount++;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   713
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   714
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   715
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   716
        for (Figure f : diagram.getFigures()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   717
            for (OutputSlot s : f.getOutputSlots()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   718
                SceneAnimator anim = animator;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   719
                if (visibleFigureCount > ANIMATION_LIMIT) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   720
                    anim = null;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   721
                }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   722
                processOutputSlot(s, s.getConnections(), 0, null, null, offx2, offy2, anim);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   723
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   724
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   725
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   726
        for (Figure f : diagram.getFigures()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   727
            FigureWidget w = figureWidgets.get(f);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   728
            if (w.isVisible()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   729
                Point p = f.getPosition();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   730
                Point p2 = new Point(p.x + offx2, p.y + offy2);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   731
                Rectangle r = new Rectangle(p.x + offx2, p.y + offy2, f.getSize().width, f.getSize().height);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   732
                if (oldVisibleWidgets.contains(w)) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   733
                    if (visibleFigureCount > ANIMATION_LIMIT) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   734
                        w.setPreferredLocation(p2);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   735
                    } else {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   736
                        animator.animatePreferredLocation(w, p2);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   737
                    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   738
                } else {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   739
                    w.setPreferredLocation(p2);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   740
                }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   741
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   742
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   743
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   744
        if (getModel().getShowBlocks()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   745
            for (Block b : diagram.getBlocks()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   746
                BlockWidget w = blockWidgets.get(b.getInputBlock());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   747
                if (w != null && w.isVisible()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   748
                    Point location = new Point(b.getBounds().x + offx2, b.getBounds().y + offy2);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   749
                    Rectangle r = new Rectangle(location.x, location.y, b.getBounds().width, b.getBounds().height);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   750
                    if (oldVisibleWidgets.contains(w)) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   751
                        if (visibleFigureCount > ANIMATION_LIMIT) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   752
                            w.setPreferredBounds(r);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   753
                        } else {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   754
                            animator.animatePreferredBounds(w, r);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   755
                        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   756
                    } else {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   757
                        w.setPreferredBounds(r);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   758
                    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   759
                }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   760
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   761
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   762
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   763
    private final Point specialNullPoint = new Point(Integer.MAX_VALUE, Integer.MAX_VALUE);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   764
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   765
    private void processOutputSlot(OutputSlot s, List<Connection> connections, int controlPointIndex, Point lastPoint, LineWidget predecessor, int offx, int offy, SceneAnimator animator) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   766
        Map<Point, List<Connection>> pointMap = new HashMap<Point, List<Connection>>();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   767
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   768
        for (Connection c : connections) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   769
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   770
            if (!isVisible(c)) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   771
                continue;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   772
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   773
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   774
            List<Point> controlPoints = c.getControlPoints();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   775
            if (controlPointIndex >= controlPoints.size()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   776
                continue;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   777
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   778
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   779
            Point cur = controlPoints.get(controlPointIndex);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   780
            if (cur == null) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   781
                cur = specialNullPoint;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   782
            } else if (controlPointIndex == 0 && !s.getShowName()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   783
                cur = new Point(cur.x, cur.y - SLOT_OFFSET);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   784
            } else if (controlPointIndex == controlPoints.size() - 1 && !c.getInputSlot().getShowName()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   785
                cur = new Point(cur.x, cur.y + SLOT_OFFSET);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   786
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   787
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   788
            if (pointMap.containsKey(cur)) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   789
                pointMap.get(cur).add(c);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   790
            } else {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   791
                List<Connection> newList = new ArrayList<Connection>(2);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   792
                newList.add(c);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   793
                pointMap.put(cur, newList);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   794
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   795
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   796
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   797
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   798
        for (Point p : pointMap.keySet()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   799
            List<Connection> connectionList = pointMap.get(p);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   800
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   801
            boolean isBold = false;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   802
            boolean isDashed = true;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   803
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   804
            for (Connection c : connectionList) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   805
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   806
                if (c.getStyle() == Connection.ConnectionStyle.BOLD) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   807
                    isBold = true;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   808
                }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   809
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   810
                if (c.getStyle() != Connection.ConnectionStyle.DASHED) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   811
                    isDashed = false;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   812
                }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   813
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   814
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   815
            LineWidget newPredecessor = predecessor;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   816
            if (p == specialNullPoint) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   817
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   818
            } else if (lastPoint == specialNullPoint) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   819
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   820
            } else if (lastPoint != null) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   821
                Point p1 = new Point(lastPoint.x + offx, lastPoint.y + offy);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   822
                Point p2 = new Point(p.x + offx, p.y + offy);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   823
                LineWidget w = new LineWidget(this, s, connectionList, p1, p2, predecessor, animator, isBold, isDashed);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   824
                newPredecessor = w;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   825
                connectionLayer.addChild(w);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   826
                w.getActions().addAction(hoverAction);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   827
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   828
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   829
            processOutputSlot(s, connectionList, controlPointIndex + 1, p, newPredecessor, offx, offy, animator);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   830
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   831
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   832
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   833
    private void clearSelection() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   834
        if (selectedWidgets.size() == 0) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   835
            return;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   836
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   837
        for (FigureWidget w : selectedWidgets) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   838
            assert w.getState().isSelected();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   839
            w.setState(w.getState().deriveSelected(false));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   840
            content.remove(w.getNode());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   841
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   842
        selectedWidgets.clear();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   843
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   844
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   845
    public Lookup getLookup() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   846
        return lookup;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   847
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   848
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   849
    public void gotoFigures(final List<Figure> figures) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   850
        Rectangle overall = null;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   851
        showFigures(figures);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   852
        for (Figure f : figures) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   853
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   854
            FigureWidget fw = getFigureWidget(f);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   855
            if (fw != null) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   856
                Rectangle r = fw.getBounds();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   857
                Point p = fw.getLocation();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   858
                Rectangle r2 = new Rectangle(p.x, p.y, r.width, r.height);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   859
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   860
                if (overall == null) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   861
                    overall = r2;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   862
                } else {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   863
                    overall = overall.union(r2);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   864
                }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   865
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   866
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   867
        if (overall != null) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   868
            centerRectangle(overall);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   869
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   870
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   871
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   872
    private Point calcCenter(Rectangle r) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   873
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   874
        Point center = new Point((int) r.getCenterX(), (int) r.getCenterY());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   875
        center.x -= getScrollPane().getViewport().getViewRect().width / 2;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   876
        center.y -= getScrollPane().getViewport().getViewRect().height / 2;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   877
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   878
        // Ensure to be within area
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   879
        center.x = Math.max(0, center.x);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   880
        center.x = Math.min(getScrollPane().getViewport().getViewSize().width - getScrollPane().getViewport().getViewRect().width, center.x);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   881
        center.y = Math.max(0, center.y);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   882
        center.y = Math.min(getScrollPane().getViewport().getViewSize().height - getScrollPane().getViewport().getViewRect().height, center.y);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   883
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   884
        return center;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   885
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   886
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   887
    private void centerRectangle(Rectangle r) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   888
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   889
        if (getScrollPane().getViewport().getViewRect().width == 0 || getScrollPane().getViewport().getViewRect().height == 0) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   890
            return;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   891
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   892
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   893
        Rectangle r2 = new Rectangle(r.x, r.y, r.width, r.height);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   894
        r2 = convertSceneToView(r2);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   895
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   896
        double factorX = (double) r2.width / (double) getScrollPane().getViewport().getViewRect().width;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   897
        double factorY = (double) r2.height / (double) getScrollPane().getViewport().getViewRect().height;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   898
        double factor = Math.max(factorX, factorY);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   899
        if (factor >= 1.0) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   900
            Point p = getScrollPane().getViewport().getViewPosition();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   901
            setZoomFactor(getZoomFactor() / factor);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   902
            r2.x /= factor;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   903
            r2.y /= factor;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   904
            r2.width /= factor;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   905
            r2.height /= factor;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   906
            getScrollPane().getViewport().setViewPosition(calcCenter(r2));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   907
        } else {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   908
            getScrollPane().getViewport().setViewPosition(calcCenter(r2));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   909
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   910
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   911
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   912
    private void addToSelection(Figure f) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   913
        FigureWidget w = getFigureWidget(f);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   914
        addToSelection(w);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   915
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   916
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   917
    private void addToSelection(FigureWidget w) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   918
        assert !selectedWidgets.contains(w);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   919
        selectedWidgets.add(w);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   920
        content.add(w.getNode());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   921
        w.setState(w.getState().deriveSelected(true));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   922
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   923
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   924
    private void setSelection(Set<Integer> nodes) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   925
        clearSelection();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   926
        for (Figure f : getModel().getDiagramToView().getFigures()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   927
            if (doesIntersect(f.getSource().getSourceNodesAsSet(), nodes)) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   928
                addToSelection(f);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   929
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   930
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   931
        selectionUpdated();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   932
        this.validate();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   933
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   934
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   935
    public void setSelection(Collection<Figure> list) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   936
        clearSelection();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   937
        for (Figure f : list) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   938
            addToSelection(f);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   939
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   940
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   941
        selectionUpdated();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   942
        this.validate();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   943
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   944
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   945
    public Set<Figure> getSelectedFigures() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   946
        Set<Figure> result = new HashSet<Figure>();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   947
        for (Widget w : selectedWidgets) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   948
            if (w instanceof FigureWidget) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   949
                FigureWidget fw = (FigureWidget) w;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   950
                if (fw.getState().isSelected()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   951
                    result.add(fw.getFigure());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   952
                }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   953
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   954
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   955
        return result;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   956
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   957
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   958
    public Set<Integer> getSelectedNodes() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   959
        Set<Integer> result = new HashSet<Integer>();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   960
        for (Widget w : selectedWidgets) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   961
            if (w instanceof FigureWidget) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   962
                FigureWidget fw = (FigureWidget) w;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   963
                if (fw.getState().isSelected()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   964
                    result.addAll(fw.getFigure().getSource().getSourceNodesAsSet());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   965
                }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   966
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   967
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   968
        return result;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   969
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   970
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   971
    private UndoRedo.Manager getUndoRedoManager() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   972
        if (undoRedoManager == null) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   973
            undoRedoManager = new UndoRedo.Manager();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   974
            undoRedoManager.setLimit(UNDOREDO_LIMIT);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   975
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   976
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   977
        return undoRedoManager;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   978
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   979
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   980
    public UndoRedo getUndoRedo() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   981
        return getUndoRedoManager();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   982
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   983
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   984
    private boolean isVisible(Figure f) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   985
        for (Integer n : f.getSource().getSourceNodesAsSet()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   986
            if (getModel().getHiddenNodes().contains(n)) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   987
                return false;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   988
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   989
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   990
        return true;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   991
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   992
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   993
    private boolean doesIntersect(Set s1, Set s2) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   994
        if (s1.size() > s2.size()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   995
            Set tmp = s1;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   996
            s1 = s2;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   997
            s2 = tmp;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   998
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
   999
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1000
        for (Object o : s1) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1001
            if (s2.contains(o)) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1002
                return true;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1003
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1004
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1005
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1006
        return false;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1007
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1008
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1009
    public void showNot(final Set<Integer> nodes) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1010
        updateHiddenNodes(nodes, true);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1011
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1012
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1013
    public void showOnly(final Set<Integer> nodes) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1014
        HashSet<Integer> allNodes = new HashSet<Integer>(getModel().getGraphToView().getGroup().getAllNodes());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1015
        allNodes.removeAll(nodes);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1016
        updateHiddenNodes(allNodes, true);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1017
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1018
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1019
    private void updateHiddenNodes(Set<Integer> newHiddenNodes, boolean doRelayout) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1020
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1021
        Set<InputBlock> visibleBlocks = new HashSet<InputBlock>();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1022
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1023
        Diagram diagram = getModel().getDiagramToView();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1024
        assert diagram != null;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1025
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1026
        Set<Widget> oldVisibleWidgets = new HashSet<Widget>();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1027
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1028
        for (Figure f : diagram.getFigures()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1029
            FigureWidget w = figureWidgets.get(f);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1030
            if (w.isVisible()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1031
                oldVisibleWidgets.add(w);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1032
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1033
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1034
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1035
        if (getModel().getShowBlocks()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1036
            for (InputBlock b : diagram.getGraph().getBlocks()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1037
                BlockWidget w = blockWidgets.get(b);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1038
                if (w.isVisible()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1039
                    oldVisibleWidgets.add(w);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1040
                }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1041
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1042
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1043
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1044
        for (Figure f : diagram.getFigures()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1045
            boolean hiddenAfter = doesIntersect(f.getSource().getSourceNodesAsSet(), newHiddenNodes);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1046
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1047
            FigureWidget w = this.figureWidgets.get(f);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1048
            w.setBoundary(false);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1049
            if (!hiddenAfter) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1050
                // Figure is shown
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1051
                w.setVisible(true);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1052
                for (InputNode n : f.getSource().getSourceNodes()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1053
                    visibleBlocks.add(diagram.getGraph().getBlock(n));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1054
                }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1055
            } else {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1056
                // Figure is hidden
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1057
                w.setVisible(false);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1058
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1059
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1060
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1061
        if (getModel().getShowNodeHull()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1062
            List<FigureWidget> boundaries = new ArrayList<FigureWidget>();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1063
            for (Figure f : diagram.getFigures()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1064
                FigureWidget w = this.figureWidgets.get(f);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1065
                if (!w.isVisible()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1066
                    Set<Figure> set = new HashSet<Figure>(f.getPredecessorSet());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1067
                    set.addAll(f.getSuccessorSet());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1068
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1069
                    boolean b = false;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1070
                    for (Figure neighbor : set) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1071
                        FigureWidget neighborWidget = figureWidgets.get(neighbor);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1072
                        if (neighborWidget.isVisible()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1073
                            b = true;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1074
                            break;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1075
                        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1076
                    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1077
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1078
                    if (b) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1079
                        w.setBoundary(true);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1080
                        for (InputNode n : f.getSource().getSourceNodes()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1081
                            visibleBlocks.add(diagram.getGraph().getBlock(n));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1082
                        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1083
                        boundaries.add(w);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1084
                    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1085
                }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1086
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1087
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1088
            for (FigureWidget w : boundaries) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1089
                if (w.isBoundary()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1090
                    w.setVisible(true);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1091
                }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1092
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1093
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1094
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1095
        if (getModel().getShowBlocks()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1096
            for (InputBlock b : diagram.getGraph().getBlocks()) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1097
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1098
                boolean visibleAfter = visibleBlocks.contains(b);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1099
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1100
                BlockWidget w = blockWidgets.get(b);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1101
                if (visibleAfter) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1102
                    // Block must be shown
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1103
                    w.setVisible(true);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1104
                } else {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1105
                    // Block must be hidden
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1106
                    w.setVisible(false);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1107
                }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1108
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1109
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1110
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1111
        getModel().setHiddenNodes(newHiddenNodes);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1112
        if (doRelayout) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1113
            relayout(oldVisibleWidgets);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1114
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1115
        this.validate();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1116
        addUndo();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1117
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1118
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1119
    private void showFigures(Collection<Figure> f) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1120
        HashSet<Integer> newHiddenNodes = new HashSet<Integer>(getModel().getHiddenNodes());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1121
        for (Figure fig : f) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1122
            newHiddenNodes.removeAll(fig.getSource().getSourceNodesAsSet());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1123
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1124
        updateHiddenNodes(newHiddenNodes, true);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1125
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1126
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1127
    private void showFigure(Figure f) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1128
        HashSet<Integer> newHiddenNodes = new HashSet<Integer>(getModel().getHiddenNodes());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1129
        newHiddenNodes.removeAll(f.getSource().getSourceNodesAsSet());
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1130
        updateHiddenNodes(newHiddenNodes, true);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1131
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1132
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1133
    public void showAll(final Collection<Figure> f) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1134
        showFigures(f);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1135
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1136
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1137
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1138
    public void show(final Figure f) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1139
        showFigure(f);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1140
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1141
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1142
    public void gotoFigure(final Figure f) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1143
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1144
        if (!isVisible(f)) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1145
            showFigure(f);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1146
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1147
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1148
        FigureWidget fw = getFigureWidget(f);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1149
        if (fw != null) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1150
            Rectangle r = fw.getBounds();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1151
            Point p = fw.getLocation();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1152
            centerRectangle(new Rectangle(p.x, p.y, r.width, r.height));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1153
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1154
            // Select figure
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1155
            clearSelection();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1156
            addToSelection(fw);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1157
            selectionUpdated();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1158
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1159
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1160
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1161
    public JPopupMenu createPopupMenu() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1162
        JPopupMenu menu = new JPopupMenu();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1163
        for (Action a : actions) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1164
            if (a == null) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1165
                menu.addSeparator();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1166
            } else {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1167
                menu.add(a);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1168
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1169
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1170
        return menu;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1171
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1172
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1173
    private static class DiagramUndoRedo extends AbstractUndoableEdit implements ChangedListener<DiagramViewModel> {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1174
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1175
        private DiagramViewModel oldModel;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1176
        private DiagramViewModel newModel;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1177
        private Point oldScrollPosition;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1178
        private DiagramScene scene;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1179
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1180
        public DiagramUndoRedo(DiagramScene scene, Point oldScrollPosition, DiagramViewModel oldModel, DiagramViewModel newModel) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1181
            assert oldModel != null;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1182
            assert newModel != null;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1183
            this.oldModel = oldModel;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1184
            this.newModel = newModel;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1185
            this.scene = scene;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1186
            this.oldScrollPosition = oldScrollPosition;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1187
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1188
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1189
        @Override
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1190
        public void redo() throws CannotRedoException {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1191
            super.redo();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1192
            boolean b = scene.getUndoRedoEnabled();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1193
            scene.setUndoRedoEnabled(false);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1194
            scene.getModel().getViewChangedEvent().addListener(this);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1195
            scene.getModel().setData(newModel);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1196
            scene.getModel().getViewChangedEvent().removeListener(this);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1197
            scene.setUndoRedoEnabled(b);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1198
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1199
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1200
        @Override
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1201
        public void undo() throws CannotUndoException {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1202
            super.undo();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1203
            boolean b = scene.getUndoRedoEnabled();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1204
            scene.setUndoRedoEnabled(false);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1205
            scene.getModel().getViewChangedEvent().addListener(this);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1206
            scene.getModel().setData(oldModel);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1207
            scene.getModel().getViewChangedEvent().removeListener(this);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1208
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1209
            SwingUtilities.invokeLater(new Runnable() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1210
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1211
                public void run() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1212
                    scene.setScrollPosition(oldScrollPosition);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1213
                }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1214
            });
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1215
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1216
            scene.setUndoRedoEnabled(b);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1217
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1218
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1219
        public void changed(DiagramViewModel source) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1220
            scene.getModel().getViewChangedEvent().removeListener(this);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1221
            if (oldModel.getSelectedNodes().equals(newModel.getHiddenNodes())) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1222
                scene.smallUpdate(false);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1223
            } else {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1224
                scene.smallUpdate(true);
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1225
            }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1226
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1227
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1228
    private boolean undoRedoEnabled = true;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1229
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1230
    public void setUndoRedoEnabled(boolean b) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1231
        this.undoRedoEnabled = b;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1232
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1233
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1234
    public boolean getUndoRedoEnabled() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1235
        return undoRedoEnabled;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1236
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1237
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1238
    public void changed(DiagramViewModel source) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1239
        assert source == model : "Receive only changed event from current model!";
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1240
        assert source != null;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1241
        update();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1242
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1243
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1244
    private void addUndo() {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1245
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1246
        DiagramViewModel newModelCopy = model.copy();
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1247
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1248
        if (undoRedoEnabled) {
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1249
            this.getUndoRedoManager().undoableEditHappened(new UndoableEditEvent(this, new DiagramUndoRedo(this, this.getScrollPosition(), modelCopy, newModelCopy)));
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1250
        }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1251
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1252
        this.modelCopy = newModelCopy;
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1253
    }
d3e5868ddb33 6604014: add support for ideal graph visualizer
never
parents:
diff changeset
  1254
}