truffle: visualizer/View/src/com/sun/hotspot/igv/view/widgets/FigureWidget.java annotate

author	Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date	Tue, 07 Feb 2012 22:41:09 +0100
parents
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) 2008, 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.widgets;
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.sun.hotspot.igv.data.Properties;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	27 import com.sun.hotspot.igv.graph.Figure;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	28 import com.sun.hotspot.igv.util.DoubleClickAction;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	29 import com.sun.hotspot.igv.util.DoubleClickHandler;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	30 import com.sun.hotspot.igv.util.PropertiesSheet;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	31 import com.sun.hotspot.igv.view.scene.DiagramScene;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	32 import java.awt.*;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	33 import java.util.ArrayList;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	34 import java.util.HashSet;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	35 import java.util.Set;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	36 import javax.swing.Action;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	37 import javax.swing.BorderFactory;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	38 import javax.swing.JMenu;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	39 import javax.swing.JPopupMenu;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	40 import javax.swing.event.MenuEvent;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	41 import javax.swing.event.MenuListener;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	42 import org.netbeans.api.visual.action.PopupMenuProvider;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	43 import org.netbeans.api.visual.action.WidgetAction;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	44 import org.netbeans.api.visual.layout.LayoutFactory;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	45 import org.netbeans.api.visual.model.ObjectState;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	46 import org.netbeans.api.visual.widget.LabelWidget;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	47 import org.netbeans.api.visual.widget.Widget;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	48 import org.openide.nodes.AbstractNode;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	49 import org.openide.nodes.Children;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	50 import org.openide.nodes.Node;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	51 import org.openide.nodes.Sheet;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	52
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	53 /**
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	54 *
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	55 * @author Thomas Wuerthinger
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 FigureWidget extends Widget implements Properties.Provider, PopupMenuProvider, DoubleClickHandler {
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 public static final boolean VERTICAL_LAYOUT = true;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	60 //public static final int MAX_STRING_LENGTH = 20;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	61 private static final double LABEL_ZOOM_FACTOR = 0.3;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	62 private static final double ZOOM_FACTOR = 0.1;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	63 private Font font;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	64 private Font boldFont;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	65 private Figure figure;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	66 private Widget leftWidget;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	67 private Widget rightWidget;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	68 private Widget middleWidget;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	69 private ArrayList<LabelWidget> labelWidgets;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	70 private DiagramScene diagramScene;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	71 private boolean boundary;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	72 private Node node;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	73 private Widget dummyTop;
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 public void setBoundary(boolean b) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	76 boundary = b;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	77 }
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 public boolean isBoundary() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	80 return boundary;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	81 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	82
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	83 public Node getNode() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	84 return node;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	85 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	86
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	87 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	88 public boolean isHitAt(Point localLocation) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	89 return middleWidget.isHitAt(localLocation);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	90 }
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
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	93 public FigureWidget(final Figure f, WidgetAction hoverAction, WidgetAction selectAction, DiagramScene scene, Widget parent) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	94
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	95 super(scene);
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 assert this.getScene() != null;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	98 assert this.getScene().getView() != null;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	99
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	100 this.figure = f;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	101 font = f.getDiagram().getFont();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	102 boldFont = f.getDiagram().getFont().deriveFont(Font.BOLD);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	103 this.setCheckClipping(true);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	104 this.diagramScene = scene;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	105 parent.addChild(this);
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 Widget outer = new Widget(scene);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	108 outer.setBackground(f.getColor());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	109 outer.setLayout(LayoutFactory.createOverlayLayout());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	110
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	111 middleWidget = new Widget(scene);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	112 middleWidget.setLayout(LayoutFactory.createVerticalFlowLayout(LayoutFactory.SerialAlignment.CENTER, 0));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	113 middleWidget.setBackground(f.getColor());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	114 middleWidget.setOpaque(true);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	115 //middleWidget.setBorder(BorderFactory.createLineBorder(Color.BLACK));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	116 middleWidget.getActions().addAction(new DoubleClickAction(this));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	117 middleWidget.setCheckClipping(true);
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 labelWidgets = new ArrayList<>();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	120
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	121 String[] strings = figure.getLines();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	122
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	123 dummyTop = new Widget(scene);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	124 dummyTop.setMinimumSize(new Dimension(Figure.INSET / 2, 1));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	125 middleWidget.addChild(dummyTop);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	126
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	127
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	128 for (String cur : strings) {
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 String displayString = cur;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	131
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	132 LabelWidget lw = new LabelWidget(scene);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	133 labelWidgets.add(lw);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	134 middleWidget.addChild(lw);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	135 lw.setLabel(displayString);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	136 lw.setFont(font);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	137 lw.setForeground(Color.BLACK);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	138 lw.setAlignment(LabelWidget.Alignment.CENTER);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	139 lw.setVerticalAlignment(LabelWidget.VerticalAlignment.CENTER);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	140 lw.setBorder(BorderFactory.createEmptyBorder());
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 Widget dummyBottom = new Widget(scene);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	144 dummyBottom.setMinimumSize(new Dimension(Figure.INSET / 2, 1));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	145 middleWidget.addChild(dummyBottom);
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 middleWidget.setPreferredBounds(new Rectangle(0, Figure.SLOT_WIDTH - Figure.OVERLAPPING, f.getWidth(), f.getHeight()));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	148 //outer.addChild(middleWidget);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	149 this.addChild(middleWidget);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	150
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	151 // Initialize node for property sheet
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	152 node = new AbstractNode(Children.LEAF) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	153
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	154 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	155 protected Sheet createSheet() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	156 Sheet s = super.createSheet();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	157 PropertiesSheet.initializeSheet(f.getProperties(), s);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	158 return s;
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 node.setDisplayName(getName());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	162 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	163
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	164 public Widget getLeftWidget() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	165 return leftWidget;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	166 }
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 public Widget getRightWidget() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	169 return rightWidget;
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 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	173 protected void notifyStateChanged(ObjectState previousState, ObjectState state) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	174 super.notifyStateChanged(previousState, state);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	175
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	176 Color borderColor = Color.BLACK;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	177 Color innerBorderColor = getFigure().getColor();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	178 int thickness = 1;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	179 boolean repaint = false;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	180 Font f = font;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	181 if (state.isSelected() \|\| state.isHighlighted()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	182 thickness = 2;
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 if(state.isSelected()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	185 f = boldFont;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	186 innerBorderColor = borderColor;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	187 } else {
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
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	190 if (state.isHighlighted()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	191 innerBorderColor = borderColor = Color.BLUE;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	192 repaint = true;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	193 } else {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	194 repaint = true;
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 if (state.isHovered() != previousState.isHovered()) {
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 /*
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	200 if (state.isHovered()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	201 diagramScene.addAllHighlighted(this.getFigure().getSource().getSourceNodesAsSet());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	202 } else {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	203 diagramScene.removeAllHighlighted(this.getFigure().getSource().getSourceNodesAsSet());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	204 }*/
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	205 repaint = true;
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
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	208 if (state.isSelected() != previousState.isSelected()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	209 repaint = true;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	210 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	211
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	212 if (repaint) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	213 middleWidget.setBorder(BorderFactory.createCompoundBorder(BorderFactory.createLineBorder(borderColor, 1), BorderFactory.createLineBorder(innerBorderColor, 1)));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	214 for (LabelWidget labelWidget : labelWidgets) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	215 labelWidget.setFont(f);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	216 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	217 repaint();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	218 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	219 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	220
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	221 public String getName() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	222 return getProperties().get("name");
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
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	225 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	226 public Properties getProperties() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	227 return figure.getProperties();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	228 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	229
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	230 public Figure getFigure() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	231 return figure;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	232 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	233
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	234 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	235 protected void paintChildren() {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	236 Composite oldComposite = null;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	237 if (boundary) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	238 oldComposite = getScene().getGraphics().getComposite();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	239 float alpha = DiagramScene.ALPHA;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	240 this.getScene().getGraphics().setComposite(AlphaComposite.getInstance(AlphaComposite.SRC_OVER, alpha));
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 if (diagramScene.getZoomFactor() < LABEL_ZOOM_FACTOR) {
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 for (LabelWidget labelWidget : labelWidgets) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	246 labelWidget.setVisible(false);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	247 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	248 super.paintChildren();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	249 for (LabelWidget labelWidget : labelWidgets) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	250 labelWidget.setVisible(true);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	251 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	252
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	253 } else {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	254 super.paintChildren();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	255 }
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 if (boundary) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	258 getScene().getGraphics().setComposite(oldComposite);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	259 }
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 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	263 public JPopupMenu getPopupMenu(Widget widget, Point point) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	264 JPopupMenu menu = diagramScene.createPopupMenu();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	265 menu.addSeparator();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	266
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	267 JMenu predecessors = new JMenu("Nodes Above");
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	268 predecessors.addMenuListener(new NeighborMenuListener(predecessors, getFigure(), false));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	269 menu.add(predecessors);
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 JMenu successors = new JMenu("Nodes Below");
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	272 successors.addMenuListener(new NeighborMenuListener(successors, getFigure(), true));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	273 menu.add(successors);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	274
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	275 return menu;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	276 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	277
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	278 /**
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	279 * Builds the submenu for a figure's neighbors on demand.
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 private class NeighborMenuListener implements MenuListener {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	282
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	283 private final JMenu menu;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	284 private final Figure figure;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	285 private final boolean successors;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	286
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	287 public NeighborMenuListener(JMenu menu, Figure figure, boolean successors) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	288 this.menu = menu;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	289 this.figure = figure;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	290 this.successors = successors;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	291 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	292
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	293 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	294 public void menuSelected(MenuEvent e) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	295 if (menu.getItemCount() > 0) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	296 // already built before
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	297 return;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	298 }
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 Set<Figure> set = figure.getPredecessorSet();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	301 if (successors) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	302 set = figure.getSuccessorSet();
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 boolean first = true;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	306 for (Figure f : set) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	307 if (f == figure) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	308 continue;
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 if (first) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	312 first = false;
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	313 } else {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	314 menu.addSeparator();
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	315 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	316
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	317 Action go = diagramScene.createGotoAction(f);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	318 menu.add(go);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	319
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	320 JMenu preds = new JMenu("Nodes Above");
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	321 preds.addMenuListener(new NeighborMenuListener(preds, f, false));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	322 menu.add(preds);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	323
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	324 JMenu succs = new JMenu("Nodes Below");
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	325 succs.addMenuListener(new NeighborMenuListener(succs, f, true));
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	326 menu.add(succs);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	327 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	328
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	329 if (menu.getItemCount() == 0) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	330 menu.add("(none)");
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	331 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	332 }
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 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	335 public void menuDeselected(MenuEvent e) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	336 // ignore
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	337 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	338
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	339 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	340 public void menuCanceled(MenuEvent e) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	341 // ignore
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	342 }
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
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	345 @Override
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	346 public void handleDoubleClick(Widget w, WidgetAction.WidgetMouseEvent e) {
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 if (diagramScene.isAllVisible()) {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	349 final Set<Integer> hiddenNodes = new HashSet<>(diagramScene.getModel().getGraphToView().getGroup().getAllNodes());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	350 hiddenNodes.removeAll(this.getFigure().getSource().getSourceNodesAsSet());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	351 this.diagramScene.getModel().showNot(hiddenNodes);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	352 } else if (isBoundary()) {
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 final Set<Integer> hiddenNodes = new HashSet<>(diagramScene.getModel().getHiddenNodes());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	355 hiddenNodes.removeAll(this.getFigure().getSource().getSourceNodesAsSet());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	356 this.diagramScene.getModel().showNot(hiddenNodes);
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	357 } else {
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	358 final Set<Integer> hiddenNodes = new HashSet<>(diagramScene.getModel().getHiddenNodes());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	359 hiddenNodes.addAll(this.getFigure().getSource().getSourceNodesAsSet());
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	360 this.diagramScene.getModel().showNot(hiddenNodes);
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 }
015fb895586b Moved visualizer to new directory. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	363 }

4512

015fb895586b Moved visualizer to new directory.