truffle: visualizer/View/src/com/sun/hotspot/igv/view/scene/DiagramScene.java annotate

annotate visualizer/View/src/com/sun/hotspot/igv/view/scene/DiagramScene.java @ 9010:08a16c26907f

MX_TESTFILE environment variable can be used to specify (and preserve) the test list file used by 'mx unittest'. This is useful when wanting to run the command under gdb.

author	Doug Simon <doug.simon@oracle.com>
date	Thu, 11 Apr 2013 21:40:52 +0200
parents	015fb895586b
children

rev	line source
4512 015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1 /*
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	2 * Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	4 *
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	7 * published by the Free Software Foundation.
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	8 *
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	13 * accompanied this code).
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	14 *
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	15 * You should have received a copy of the GNU General Public License version
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	18 *
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	20 * or visit www.oracle.com if you need additional information or have any
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	21 * questions.
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	22 *
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	23 */
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	24 package com.sun.hotspot.igv.view.scene;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	25
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	26 import com.oracle.graal.visualizer.editor.DiagramViewModel;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	27 import com.oracle.graal.visualizer.sharedactions.ExportSVGCookie;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	28 import com.oracle.graal.visualizer.sharedactions.ZoomCookie;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	29 import com.sun.hotspot.igv.data.ChangedListener;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	30 import com.sun.hotspot.igv.data.Pair;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	31 import com.sun.hotspot.igv.data.Properties;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	32 import com.sun.hotspot.igv.graph.*;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	33 import com.sun.hotspot.igv.hierarchicallayout.HierarchicalLayoutManager;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	34 import com.sun.hotspot.igv.layout.LayoutGraph;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	35 import com.sun.hotspot.igv.util.ColorIcon;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	36 import com.sun.hotspot.igv.util.DoubleClickAction;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	37 import com.sun.hotspot.igv.util.PropertiesSheet;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	38 import com.sun.hotspot.igv.view.widgets.*;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	39 import java.awt.*;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	40 import java.awt.event.*;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	41 import java.util.List;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	42 import java.util.*;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	43 import javax.swing.*;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	44 import org.netbeans.api.visual.action.*;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	45 import org.netbeans.api.visual.animator.SceneAnimator;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	46 import org.netbeans.api.visual.layout.LayoutFactory;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	47 import org.netbeans.api.visual.model.*;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	48 import org.netbeans.api.visual.widget.LayerWidget;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	49 import org.netbeans.api.visual.widget.Widget;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	50 import org.openide.nodes.AbstractNode;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	51 import org.openide.nodes.Children;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	52 import org.openide.nodes.Sheet;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	53 import org.openide.util.Lookup;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	54 import org.openide.util.lookup.AbstractLookup;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	55 import org.openide.util.lookup.InstanceContent;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	56
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	57 public class DiagramScene extends ObjectScene implements ExportSVGCookie, ZoomCookie {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	58
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	59 private CustomizablePanWidgetAction panAction;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	60 private WidgetAction hoverAction;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	61 private WidgetAction selectAction;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	62 private Lookup lookup;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	63 private InstanceContent content;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	64 private Action[] actions;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	65 private LayerWidget connectionLayer;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	66 private JScrollPane scrollPane;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	67 private LayerWidget mainLayer;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	68 private LayerWidget blockLayer;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	69 private Widget topLeft;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	70 private Widget bottomRight;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	71 private DiagramViewModel model;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	72 private WidgetAction zoomAction;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	73 private boolean rebuilding;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	74 /**
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	75 * The alpha level of partially visible figures.
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	76 */
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	77 public static final float ALPHA = 0.4f;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	78 /**
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	79 * The offset of the graph to the border of the window showing it.
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	80 */
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	81 public static final int BORDER_SIZE = 20;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	82 public static final int UNDOREDO_LIMIT = 100;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	83 public static final int SCROLL_UNIT_INCREMENT = 80;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	84 public static final int SCROLL_BLOCK_INCREMENT = 400;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	85 public static final float ZOOM_MAX_FACTOR = 3.0f;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	86 public static final float ZOOM_MIN_FACTOR = 0.0f;//0.15f;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	87 public static final float ZOOM_INCREMENT = 1.5f;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	88 public static final int SLOT_OFFSET = 6;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	89 public static final int ANIMATION_LIMIT = 40;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	90 private PopupMenuProvider popupMenuProvider = new PopupMenuProvider() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	91
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	92 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	93 public JPopupMenu getPopupMenu(Widget widget, Point localLocation) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	94 return DiagramScene.this.createPopupMenu();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	95 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	96 };
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	97 private RectangularSelectDecorator rectangularSelectDecorator = new RectangularSelectDecorator() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	98
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	99 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	100 public Widget createSelectionWidget() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	101 Widget widget = new Widget(DiagramScene.this);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	102 widget.setBorder(BorderFactory.createLineBorder(Color.black, 2));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	103 widget.setForeground(Color.red);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	104 return widget;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	105 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	106 };
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	107
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	108 @SuppressWarnings("unchecked")
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	109 public <T> T getWidget(Object o) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	110 Widget w = this.findWidget(o);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	111 return (T) w;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	112 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	113
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	114 @SuppressWarnings("unchecked")
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	115 public <T> T getWidget(Object o, Class<T> klass) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	116 Widget w = this.findWidget(o);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	117 return (T) w;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	118 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	119
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	120 public void zoomOut() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	121 double zoom = getZoomFactor();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	122 Point viewPosition = getScrollPane().getViewport().getViewPosition();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	123 double newZoom = zoom / DiagramScene.ZOOM_INCREMENT;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	124 if (newZoom > DiagramScene.ZOOM_MIN_FACTOR) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	125 setZoomFactor(newZoom);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	126 validate();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	127 getScrollPane().getViewport().setViewPosition(new Point((int) (viewPosition.x / DiagramScene.ZOOM_INCREMENT), (int) (viewPosition.y / DiagramScene.ZOOM_INCREMENT)));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	128 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	129 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	130
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	131 public void zoomIn() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	132
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	133 double zoom = getZoomFactor();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	134 Point viewPosition = getScrollPane().getViewport().getViewPosition();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	135 double newZoom = zoom * DiagramScene.ZOOM_INCREMENT;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	136 if (newZoom < DiagramScene.ZOOM_MAX_FACTOR) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	137 setZoomFactor(newZoom);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	138 validate();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	139 getScrollPane().getViewport().setViewPosition(new Point((int) (viewPosition.x * DiagramScene.ZOOM_INCREMENT), (int) (viewPosition.y * DiagramScene.ZOOM_INCREMENT)));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	140 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	141 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	142
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	143 private void centerFigures(Collection<Figure> list) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	144 gotoFigures(list);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	145 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	146
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	147 private RectangularSelectProvider rectangularSelectProvider = new RectangularSelectProvider() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	148
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	149 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	150 public void performSelection(Rectangle rectangle) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	151 if (rectangle.width < 0) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	152 rectangle.x += rectangle.width;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	153 rectangle.width *= -1;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	154 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	155
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	156 if (rectangle.height < 0) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	157 rectangle.y += rectangle.height;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	158 rectangle.height *= -1;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	159 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	160
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	161 Set<Object> selectedObjects = new HashSet<>();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	162 for (Figure f : getModel().getDiagramToView().getFigures()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	163 FigureWidget w = getWidget(f);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	164 if (w != null) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	165 Rectangle r = new Rectangle(w.getBounds());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	166 r.setLocation(w.getLocation());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	167
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	168 if (r.intersects(rectangle)) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	169 selectedObjects.add(f);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	170 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	171
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	172 for (Slot s : f.getSlots()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	173 SlotWidget sw = getWidget(s);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	174 Rectangle r2 = new Rectangle(sw.getBounds());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	175 r2.setLocation(sw.convertLocalToScene(new Point(0, 0)));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	176
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	177 if (r2.intersects(rectangle)) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	178 selectedObjects.add(s);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	179 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	180 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	181 } else {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	182 assert false : "w should not be null here!";
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	183 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	184 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	185
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	186 setSelectedObjects(selectedObjects);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	187 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	188 };
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	189 private MouseWheelListener mouseWheelListener = new MouseWheelListener() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	190
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	191 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	192 public void mouseWheelMoved(MouseWheelEvent e) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	193 if (e.isControlDown()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	194 DiagramScene.this.relayoutWithoutLayout(null);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	195 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	196 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	197 };
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	198
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	199 public Point getScrollPosition() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	200 return getScrollPane().getViewport().getViewPosition();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	201 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	202
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	203 public void setScrollPosition(Point p) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	204 getScrollPane().getViewport().setViewPosition(p);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	205 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	206
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	207 private JScrollPane createScrollPane() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	208 JComponent comp = this.createView();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	209 comp.setDoubleBuffered(true);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	210 comp.setBackground(Color.WHITE);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	211 comp.setOpaque(true);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	212 this.setBackground(Color.WHITE);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	213 this.setOpaque(true);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	214 JScrollPane result = new JScrollPane(comp);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	215 result.setBackground(Color.WHITE);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	216 result.getVerticalScrollBar().setUnitIncrement(SCROLL_UNIT_INCREMENT);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	217 result.getVerticalScrollBar().setBlockIncrement(SCROLL_BLOCK_INCREMENT);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	218 result.getHorizontalScrollBar().setUnitIncrement(SCROLL_UNIT_INCREMENT);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	219 result.getHorizontalScrollBar().setBlockIncrement(SCROLL_BLOCK_INCREMENT);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	220 return result;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	221 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	222 private ObjectSceneListener selectionChangedListener = new ObjectSceneListener() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	223
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	224 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	225 public void objectAdded(ObjectSceneEvent arg0, Object arg1) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	226 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	227
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	228 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	229 public void objectRemoved(ObjectSceneEvent arg0, Object arg1) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	230 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	231
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	232 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	233 public void objectStateChanged(ObjectSceneEvent e, Object o, ObjectState oldState, ObjectState newState) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	234 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	235
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	236 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	237 public void selectionChanged(ObjectSceneEvent e, Set<Object> oldSet, Set<Object> newSet) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	238 DiagramScene scene = (DiagramScene) e.getObjectScene();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	239 if (scene.isRebuilding()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	240 return;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	241 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	242
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	243 content.set(newSet, null);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	244
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	245 Set<Integer> nodeSelection = new HashSet<>();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	246 for (Object o : newSet) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	247 if (o instanceof Properties.Provider) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	248 final Properties.Provider provider = (Properties.Provider) o;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	249 AbstractNode node = new AbstractNode(Children.LEAF) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	250
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	251 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	252 protected Sheet createSheet() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	253 Sheet s = super.createSheet();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	254 PropertiesSheet.initializeSheet(provider.getProperties(), s);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	255 return s;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	256 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	257 };
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	258 node.setDisplayName(provider.getProperties().get("name"));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	259 content.add(node);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	260 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	261
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	262
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	263 if (o instanceof Figure) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	264 nodeSelection.addAll(((Figure) o).getSource().getSourceNodesAsSet());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	265 } else if (o instanceof Slot) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	266 nodeSelection.addAll(((Slot) o).getSource().getSourceNodesAsSet());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	267 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	268 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	269 getModel().setSelectedNodes(nodeSelection);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	270 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	271
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	272 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	273 public void highlightingChanged(ObjectSceneEvent e, Set<Object> oldSet, Set<Object> newSet) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	274 Set<Integer> nodeHighlighting = new HashSet<>();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	275 for (Object o : newSet) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	276 if (o instanceof Figure) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	277 nodeHighlighting.addAll(((Figure) o).getSource().getSourceNodesAsSet());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	278 } else if (o instanceof Slot) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	279 nodeHighlighting.addAll(((Slot) o).getSource().getSourceNodesAsSet());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	280 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	281 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	282 // boolean b = highlightedCoordinatorListener.isEnabled();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	283 // highlightedCoordinatorListener.setEnabled(false);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	284 // SelectionCoordinator.getInstance().setHighlightedObjects(nodeHighlighting);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	285 // highlightedCoordinatorListener.setEnabled(b);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	286 validate();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	287 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	288
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	289 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	290 public void hoverChanged(ObjectSceneEvent e, Object oldObject, Object newObject) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	291 Set<Object> newHighlightedObjects = new HashSet<>(DiagramScene.this.getHighlightedObjects());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	292 if (oldObject != null) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	293 newHighlightedObjects.remove(oldObject);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	294 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	295 if (newObject != null) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	296 newHighlightedObjects.add(newObject);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	297 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	298 DiagramScene.this.setHighlightedObjects(newHighlightedObjects);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	299 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	300
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	301 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	302 public void focusChanged(ObjectSceneEvent arg0, Object arg1, Object arg2) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	303 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	304 };
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	305
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	306 public void setActions(Action[] actions) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	307 this.actions = actions;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	308 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	309
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	310
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	311
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	312 public DiagramScene(DiagramViewModel model) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	313
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	314 this.model = model;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	315 content = new InstanceContent();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	316 lookup = new AbstractLookup(content);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	317 content.add(this);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	318
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	319 this.setCheckClipping(true);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	320
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	321 scrollPane = createScrollPane();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	322
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	323 hoverAction = createObjectHoverAction();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	324
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	325 // This panAction handles the event only when the left mouse button is
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	326 // pressed without any modifier keys, otherwise it will not consume it
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	327 // and the selection action (below) will handle the event
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	328 panAction = new CustomizablePanWidgetAction(~0, MouseEvent.BUTTON1_DOWN_MASK);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	329 this.getActions().addAction(panAction);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	330
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	331 selectAction = createSelectAction();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	332 this.getActions().addAction(selectAction);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	333
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	334 blockLayer = new LayerWidget(this);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	335 this.addChild(blockLayer);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	336
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	337 mainLayer = new LayerWidget(this);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	338 this.addChild(mainLayer);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	339
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	340 topLeft = new Widget(this);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	341 topLeft.setPreferredLocation(new Point(-BORDER_SIZE, -BORDER_SIZE));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	342 this.addChild(topLeft);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	343
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	344 bottomRight = new Widget(this);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	345 bottomRight.setPreferredLocation(new Point(-BORDER_SIZE, -BORDER_SIZE));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	346 this.addChild(bottomRight);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	347
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	348 connectionLayer = new LayerWidget(this);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	349 this.addChild(connectionLayer);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	350
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	351 LayerWidget selectionLayer = new LayerWidget(this);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	352 this.addChild(selectionLayer);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	353
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	354 this.setLayout(LayoutFactory.createAbsoluteLayout());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	355
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	356 this.getInputBindings().setZoomActionModifiers(KeyEvent.CTRL_MASK);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	357 zoomAction = ActionFactory.createMouseCenteredZoomAction(1.2);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	358 this.getActions().addAction(zoomAction);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	359 this.getView().addMouseWheelListener(mouseWheelListener);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	360 this.getActions().addAction(ActionFactory.createPopupMenuAction(popupMenuProvider));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	361
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	362 this.getActions().addAction(ActionFactory.createWheelPanAction());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	363
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	364 LayerWidget selectLayer = new LayerWidget(this);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	365 this.addChild(selectLayer);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	366 this.getActions().addAction(ActionFactory.createRectangularSelectAction(rectangularSelectDecorator, selectLayer, rectangularSelectProvider));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	367
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	368 this.addObjectSceneListener(selectionChangedListener, ObjectSceneEventType.OBJECT_SELECTION_CHANGED, ObjectSceneEventType.OBJECT_HIGHLIGHTING_CHANGED, ObjectSceneEventType.OBJECT_HOVER_CHANGED);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	369
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	370 update();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	371 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	372
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	373 public DiagramViewModel getModel() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	374 return model;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	375 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	376
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	377 public JScrollPane getScrollPane() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	378 return scrollPane;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	379 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	380
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	381 Component getComponent() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	382 return scrollPane;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	383 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	384
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	385 public boolean isAllVisible() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	386 return getModel().getHiddenNodes().isEmpty();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	387 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	388
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	389 public Action createGotoAction(final Figure f) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	390 final DiagramScene diagramScene = this;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	391 Action a = new AbstractAction() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	392
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	393 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	394 public void actionPerformed(ActionEvent e) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	395 diagramScene.gotoFigure(f);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	396 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	397 };
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	398
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	399 a.setEnabled(true);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	400 a.putValue(Action.SMALL_ICON, new ColorIcon(f.getColor()));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	401 String name = f.getLines()[0];
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	402
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	403 name += " (";
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	404
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	405 if (!this.getWidget(f, FigureWidget.class).isVisible()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	406 name += "hidden";
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	407 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	408 name += ")";
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	409 a.putValue(Action.NAME, name);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	410 return a;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	411 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	412
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	413 private void update() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	414 mainLayer.removeChildren();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	415 blockLayer.removeChildren();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	416
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	417 rebuilding = true;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	418
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	419 Collection<Object> objects = new ArrayList<>(this.getObjects());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	420 for (Object o : objects) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	421 this.removeObject(o);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	422 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	423
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	424 Diagram d = getModel().getDiagramToView();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	425
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	426 for (Figure f : d.getFigures()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	427 FigureWidget w = new FigureWidget(f, hoverAction, selectAction, this, mainLayer);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	428 w.getActions().addAction(ActionFactory.createPopupMenuAction(w));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	429 w.getActions().addAction(selectAction);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	430 w.getActions().addAction(hoverAction);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	431 w.setVisible(false);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	432
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	433 this.addObject(f, w);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	434
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	435 for (InputSlot s : f.getInputSlots()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	436 SlotWidget sw = new InputSlotWidget(s, this, w, w);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	437 addObject(s, sw);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	438 sw.getActions().addAction(new DoubleClickAction(sw));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	439 sw.getActions().addAction(hoverAction);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	440 sw.getActions().addAction(selectAction);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	441 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	442
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	443 for (OutputSlot s : f.getOutputSlots()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	444 SlotWidget sw = new OutputSlotWidget(s, this, w, w);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	445 addObject(s, sw);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	446 sw.getActions().addAction(new DoubleClickAction(sw));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	447 sw.getActions().addAction(hoverAction);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	448 sw.getActions().addAction(selectAction);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	449 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	450 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	451
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	452 rebuilding = false;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	453 this.smallUpdate(true);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	454 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	455
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	456 public boolean isRebuilding() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	457 return rebuilding;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	458 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	459
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	460 private void smallUpdate(boolean relayout) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	461
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	462 this.updateHiddenNodes(model.getHiddenNodes(), relayout);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	463 this.validate();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	464 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	465
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	466 private boolean isVisible(Connection c) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	467 FigureWidget w1 = getWidget(c.getInputSlot().getFigure());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	468 FigureWidget w2 = getWidget(c.getOutputSlot().getFigure());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	469
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	470 if (w1.isVisible() && w2.isVisible()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	471 return true;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	472 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	473
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	474 return false;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	475 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	476
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	477 private void relayout(Set<Widget> oldVisibleWidgets) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	478 System.out.println("relayout called with old visible widgets: " + oldVisibleWidgets);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	479
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	480 Diagram diagram = getModel().getDiagramToView();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	481
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	482 HashSet<Figure> figures = new HashSet<>();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	483
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	484 for (Figure f : diagram.getFigures()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	485 FigureWidget w = getWidget(f);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	486 if (w.isVisible()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	487 figures.add(f);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	488 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	489 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	490
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	491 HashSet<Connection> edges = new HashSet<>();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	492
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	493 for (Connection c : diagram.getConnections()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	494 if (isVisible(c)) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	495 edges.add(c);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	496 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	497 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	498
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	499 HierarchicalLayoutManager manager = new HierarchicalLayoutManager(HierarchicalLayoutManager.Combine.SAME_OUTPUTS);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	500 manager.setMaxLayerLength(10);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	501 manager.doLayout(new LayoutGraph(edges, figures));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	502 relayoutWithoutLayout(oldVisibleWidgets);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	503 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	504 private Set<Pair<Point, Point>> lineCache = new HashSet<>();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	505
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	506 private void relayoutWithoutLayout(Set<Widget> oldVisibleWidgets) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	507
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	508 System.out.println("relayout without layout with visible widgets: " + oldVisibleWidgets);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	509
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	510 Diagram diagram = getModel().getDiagramToView();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	511
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	512 int maxX = -BORDER_SIZE;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	513 int maxY = -BORDER_SIZE;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	514 for (Figure f : diagram.getFigures()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	515 FigureWidget w = getWidget(f);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	516 if (w.isVisible()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	517 Point p = f.getPosition();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	518 Dimension d = f.getSize();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	519 maxX = Math.max(maxX, p.x + d.width);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	520 maxY = Math.max(maxY, p.y + d.height);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	521 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	522 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	523
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	524 for (Connection c : diagram.getConnections()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	525 List<Point> points = c.getControlPoints();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	526 FigureWidget w1 = getWidget((Figure) c.getTo().getVertex());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	527 FigureWidget w2 = getWidget((Figure) c.getFrom().getVertex());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	528 if (w1.isVisible() && w2.isVisible()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	529 for (Point p : points) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	530 if (p != null) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	531 maxX = Math.max(maxX, p.x);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	532 maxY = Math.max(maxY, p.y);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	533 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	534 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	535 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	536 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	537
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	538 bottomRight.setPreferredLocation(new Point(maxX + BORDER_SIZE, maxY + BORDER_SIZE));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	539 int offx = 0;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	540 int offy = 0;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	541 int curWidth = maxX + 2 * BORDER_SIZE;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	542 int curHeight = maxY + 2 * BORDER_SIZE;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	543
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	544 Rectangle bounds = this.getScrollPane().getBounds();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	545 bounds.width /= getZoomFactor();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	546 bounds.height /= getZoomFactor();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	547 if (curWidth < bounds.width) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	548 offx = (bounds.width - curWidth) / 2;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	549 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	550
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	551 if (curHeight < bounds.height) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	552 offy = (bounds.height - curHeight) / 2;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	553 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	554
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	555 final int offx2 = offx;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	556 final int offy2 = offy;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	557
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	558 SceneAnimator animator = this.getSceneAnimator();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	559 connectionLayer.removeChildren();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	560 int visibleFigureCount = 0;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	561 for (Figure f : diagram.getFigures()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	562 if (getWidget(f, FigureWidget.class).isVisible()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	563 visibleFigureCount++;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	564 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	565 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	566
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	567
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	568 Set<Pair<Point, Point>> lastLineCache = lineCache;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	569 lineCache = new HashSet<>();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	570 for (Figure f : diagram.getFigures()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	571 for (OutputSlot s : f.getOutputSlots()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	572 SceneAnimator anim = animator;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	573 if (visibleFigureCount > ANIMATION_LIMIT \|\| oldVisibleWidgets == null) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	574 anim = null;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	575 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	576 processOutputSlot(lastLineCache, s, s.getConnections(), 0, null, null, offx2, offy2, anim);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	577 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	578 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	579
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	580 for (Figure f : diagram.getFigures()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	581 FigureWidget w = getWidget(f);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	582 if (w.isVisible()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	583 Point p = f.getPosition();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	584 Point p2 = new Point(p.x + offx2, p.y + offy2);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	585 if ((visibleFigureCount <= ANIMATION_LIMIT && oldVisibleWidgets != null && oldVisibleWidgets.contains(w))) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	586 animator.animatePreferredLocation(w, p2);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	587 } else {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	588 w.setPreferredLocation(p2);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	589 animator.animatePreferredLocation(w, p2);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	590 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	591 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	592 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	593
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	594 this.validate();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	595 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	596 private final Point specialNullPoint = new Point(Integer.MAX_VALUE, Integer.MAX_VALUE);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	597
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	598 private void processOutputSlot(Set<Pair<Point, Point>> lastLineCache, OutputSlot s, List<Connection> connections, int controlPointIndex, Point lastPoint, LineWidget predecessor, int offx, int offy, SceneAnimator animator) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	599 Map<Point, List<Connection>> pointMap = new HashMap<>(connections.size());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	600
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	601 for (Connection c : connections) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	602
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	603 if (!isVisible(c)) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	604 continue;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	605 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	606
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	607 List<Point> controlPoints = c.getControlPoints();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	608 if (controlPointIndex >= controlPoints.size()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	609 continue;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	610 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	611
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	612 Point cur = controlPoints.get(controlPointIndex);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	613 if (cur == null) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	614 cur = specialNullPoint;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	615 } else if (controlPointIndex == 0 && !s.shouldShowName()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	616 cur = new Point(cur.x, cur.y - SLOT_OFFSET);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	617 } else if (controlPointIndex == controlPoints.size() - 1 && !c.getInputSlot().shouldShowName()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	618 cur = new Point(cur.x, cur.y + SLOT_OFFSET);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	619 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	620
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	621 if (pointMap.containsKey(cur)) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	622 pointMap.get(cur).add(c);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	623 } else {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	624 List<Connection> newList = new ArrayList<>(2);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	625 newList.add(c);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	626 pointMap.put(cur, newList);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	627 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	628
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	629 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	630
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	631 for (Point p : pointMap.keySet()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	632 List<Connection> connectionList = pointMap.get(p);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	633
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	634 boolean isBold = false;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	635 boolean isDashed = true;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	636
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	637 for (Connection c : connectionList) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	638
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	639 if (c.getStyle() == Connection.ConnectionStyle.BOLD) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	640 isBold = true;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	641 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	642
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	643 if (c.getStyle() != Connection.ConnectionStyle.DASHED) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	644 isDashed = false;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	645 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	646 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	647
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	648 LineWidget newPredecessor = predecessor;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	649 if (p == specialNullPoint) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	650 } else if (lastPoint == specialNullPoint) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	651 } else if (lastPoint != null) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	652 Point p1 = new Point(lastPoint.x + offx, lastPoint.y + offy);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	653 Point p2 = new Point(p.x + offx, p.y + offy);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	654
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	655 Pair<Point, Point> curPair = new Pair<>(p1, p2);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	656 SceneAnimator curAnimator = animator;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	657 if (lastLineCache.contains(curPair)) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	658 curAnimator = null;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	659 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	660 LineWidget w = new LineWidget(this, s, connectionList, p1, p2, predecessor, curAnimator, isBold, isDashed);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	661 lineCache.add(curPair);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	662
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	663 newPredecessor = w;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	664 connectionLayer.addChild(w);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	665 w.getActions().addAction(hoverAction);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	666 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	667
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	668 processOutputSlot(lastLineCache, s, connectionList, controlPointIndex + 1, p, newPredecessor, offx, offy, animator);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	669 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	670 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	671
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	672 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	673 public Lookup getLookup() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	674 return lookup;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	675 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	676
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	677 private void gotoFigures(final Collection<Figure> figures) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	678 Rectangle overall = null;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	679 getModel().showFigures(figures);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	680 for (Figure f : figures) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	681
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	682 FigureWidget fw = getWidget(f);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	683 if (fw != null) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	684 Rectangle r = fw.getBounds();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	685 Point p = fw.getLocation();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	686 Rectangle r2 = new Rectangle(p.x, p.y, r.width, r.height);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	687
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	688 if (overall == null) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	689 overall = r2;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	690 } else {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	691 overall = overall.union(r2);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	692 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	693 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	694 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	695 if (overall != null) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	696 centerRectangle(overall);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	697 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	698 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	699
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	700 private Set<Object> idSetToObjectSet(Set<Object> ids) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	701
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	702 Set<Object> result = new HashSet<>();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	703 for (Figure f : getModel().getDiagramToView().getFigures()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	704 if (DiagramScene.doesIntersect(f.getSource().getSourceNodesAsSet(), ids)) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	705 result.add(f);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	706 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	707
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	708 for (Slot s : f.getSlots()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	709 if (DiagramScene.doesIntersect(s.getSource().getSourceNodesAsSet(), ids)) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	710 result.add(s);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	711 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	712 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	713 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	714 return result;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	715 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	716
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	717 public void gotoSelection(Set<Object> ids) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	718
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	719 Rectangle overall = null;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	720 Set<Integer> hiddenNodes = new HashSet<>(this.getModel().getHiddenNodes());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	721 hiddenNodes.removeAll(ids);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	722 this.getModel().showNot(hiddenNodes);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	723
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	724 Set<Object> objects = idSetToObjectSet(ids);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	725 for (Object o : objects) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	726
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	727 Widget w = getWidget(o);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	728 if (w != null) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	729 Rectangle r = w.getBounds();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	730 Point p = w.convertLocalToScene(new Point(0, 0));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	731
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	732 Rectangle r2 = new Rectangle(p.x, p.y, r.width, r.height);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	733
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	734 if (overall == null) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	735 overall = r2;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	736 } else {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	737 overall = overall.union(r2);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	738 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	739 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	740 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	741 if (overall != null) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	742 centerRectangle(overall);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	743 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	744
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	745 setSelectedObjects(objects);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	746 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	747
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	748 private Point calcCenter(Rectangle r) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	749
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	750 Point center = new Point((int) r.getCenterX(), (int) r.getCenterY());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	751 center.x -= getScrollPane().getViewport().getViewRect().width / 2;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	752 center.y -= getScrollPane().getViewport().getViewRect().height / 2;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	753
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	754 // Ensure to be within area
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	755 center.x = Math.max(0, center.x);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	756 center.x = Math.min(getScrollPane().getViewport().getViewSize().width - getScrollPane().getViewport().getViewRect().width, center.x);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	757 center.y = Math.max(0, center.y);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	758 center.y = Math.min(getScrollPane().getViewport().getViewSize().height - getScrollPane().getViewport().getViewRect().height, center.y);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	759
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	760 return center;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	761 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	762
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	763 private void centerRectangle(Rectangle r) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	764
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	765 if (getScrollPane().getViewport().getViewRect().width == 0 \|\| getScrollPane().getViewport().getViewRect().height == 0) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	766 return;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	767 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	768
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	769 Rectangle r2 = new Rectangle(r.x, r.y, r.width, r.height);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	770 r2 = convertSceneToView(r2);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	771
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	772 double factorX = (double) r2.width / (double) getScrollPane().getViewport().getViewRect().width;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	773 double factorY = (double) r2.height / (double) getScrollPane().getViewport().getViewRect().height;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	774 double factor = Math.max(factorX, factorY);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	775 if (factor >= 1.0) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	776 Point p = getScrollPane().getViewport().getViewPosition();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	777 setZoomFactor(getZoomFactor() / factor);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	778 r2.x /= factor;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	779 r2.y /= factor;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	780 r2.width /= factor;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	781 r2.height /= factor;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	782 getScrollPane().getViewport().setViewPosition(calcCenter(r2));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	783 } else {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	784 getScrollPane().getViewport().setViewPosition(calcCenter(r2));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	785 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	786 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	787
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	788 void setSelection(Collection<Figure> list) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	789 super.setSelectedObjects(new HashSet<>(list));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	790 centerFigures(list);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	791 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	792
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	793 private boolean isVisible(Figure f) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	794 for (Integer n : f.getSource().getSourceNodesAsSet()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	795 if (getModel().getHiddenNodes().contains(n)) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	796 return false;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	797 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	798 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	799 return true;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	800 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	801
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	802 public static boolean doesIntersect(Set<?> s1, Set<?> s2) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	803 if (s1.size() > s2.size()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	804 Set<?> tmp = s1;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	805 s1 = s2;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	806 s2 = tmp;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	807 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	808
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	809 for (Object o : s1) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	810 if (s2.contains(o)) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	811 return true;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	812 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	813 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	814
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	815 return false;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	816 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	817
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	818 private void updateHiddenNodes(Set<Integer> newHiddenNodes, boolean doRelayout) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	819
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	820 System.out.println("newHiddenNodes: " + newHiddenNodes);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	821
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	822 Diagram diagram = getModel().getDiagramToView();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	823 assert diagram != null;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	824
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	825 Set<Widget> oldVisibleWidgets = new HashSet<>();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	826
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	827 for (Figure f : diagram.getFigures()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	828 FigureWidget w = getWidget(f);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	829 if (w != null && w.isVisible()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	830 oldVisibleWidgets.add(w);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	831 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	832 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	833
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	834 for (Figure f : diagram.getFigures()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	835 boolean hiddenAfter = doesIntersect(f.getSource().getSourceNodesAsSet(), newHiddenNodes);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	836
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	837 FigureWidget w = getWidget(f);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	838 w.setBoundary(false);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	839 if (!hiddenAfter) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	840 // Figure is shown
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	841 w.setVisible(true);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	842 } else {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	843 // Figure is hidden
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	844 w.setVisible(false);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	845 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	846 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	847
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	848 if (getModel().getShowNodeHull()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	849 List<FigureWidget> boundaries = new ArrayList<>();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	850 for (Figure f : diagram.getFigures()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	851 FigureWidget w = getWidget(f);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	852 if (!w.isVisible()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	853 Set<Figure> set = new HashSet<>(f.getPredecessorSet());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	854 set.addAll(f.getSuccessorSet());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	855
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	856 boolean b = false;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	857 for (Figure neighbor : set) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	858 FigureWidget neighborWidget = getWidget(neighbor);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	859 if (neighborWidget.isVisible()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	860 b = true;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	861 break;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	862 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	863 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	864
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	865 if (b) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	866 w.setBoundary(true);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	867 boundaries.add(w);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	868 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	869 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	870 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	871
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	872 for (FigureWidget w : boundaries) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	873 if (w.isBoundary()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	874 w.setVisible(true);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	875 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	876 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	877 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	878
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	879 if (doRelayout) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	880 relayout(oldVisibleWidgets);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	881 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	882 this.validate();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	883 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	884
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	885 private void showFigure(Figure f) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	886 HashSet<Integer> newHiddenNodes = new HashSet<>(getModel().getHiddenNodes());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	887 newHiddenNodes.removeAll(f.getSource().getSourceNodesAsSet());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	888 updateHiddenNodes(newHiddenNodes, true);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	889 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	890
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	891 public void show(final Figure f) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	892 showFigure(f);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	893 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	894
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	895 public void setSelectedObjects(Object... args) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	896 Set<Object> set = new HashSet<>();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	897 for (Object o : args) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	898 set.add(o);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	899 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	900 super.setSelectedObjects(set);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	901 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	902
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	903 private void centerWidget(Widget w) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	904 Rectangle r = w.getBounds();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	905 Point p = w.getLocation();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	906 centerRectangle(new Rectangle(p.x, p.y, r.width, r.height));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	907 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	908
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	909 public void gotoFigure(final Figure f) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	910 if (!isVisible(f)) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	911 showFigure(f);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	912 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	913
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	914 FigureWidget fw = getWidget(f);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	915 if (fw != null) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	916 setSelection(new HashSet<>(Arrays.asList(f)));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	917 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	918 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	919
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	920 public JPopupMenu createPopupMenu() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	921 JPopupMenu menu = new JPopupMenu();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	922 for (Action a : actions) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	923 if (a == null) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	924 menu.addSeparator();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	925 } else {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	926 menu.add(a);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	927 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	928 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	929 return menu;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	930 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	931
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	932 private final ChangedListener<DiagramViewModel> fullChange = new ChangedListener<DiagramViewModel>() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	933
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	934 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	935 public void changed(DiagramViewModel source) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	936 assert source == model : "Receive only changed event from current model!";
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	937 assert source != null;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	938 update();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	939 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	940 };
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	941 private final ChangedListener<DiagramViewModel> hiddenNodesChange = new ChangedListener<DiagramViewModel>() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	942
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	943 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	944 public void changed(DiagramViewModel source) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	945 assert source == model : "Receive only changed event from current model!";
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	946 assert source != null;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	947 smallUpdate(true);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	948 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	949 };
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	950 private final ChangedListener<DiagramViewModel> selectionChange = new ChangedListener<DiagramViewModel>() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	951
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	952 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	953 public void changed(DiagramViewModel source) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	954 assert source == model : "Receive only changed event from current model!";
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	955 assert source != null;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	956 smallUpdate(false);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	957 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	958 };
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	959
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	960 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	961 public void showAll() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	962 // TODO(tw): Implement.
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	963 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	964 }

Mercurial > hg > truffle

annotate visualizer/View/src/com/sun/hotspot/igv/view/scene/DiagramScene.java @ 9010:08a16c26907f