/**********************************************************************
- * Copyright (c) 2005, 2008, 2011 IBM Corporation and others.
+ * Copyright (c) 2005, 2013 IBM Corporation, Ericsson
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
- * $Id: SDWidget.java,v 1.6 2008/12/12 22:21:46 jcayne Exp $
- *
- * Contributors:
- * IBM - Initial API and implementation
- * Bernd Hufmann - Updated for TMF
+ *
+ * Contributors:
+ * IBM - Initial API and implementation
+ * Bernd Hufmann - Updated for TMF
**********************************************************************/
+
package org.eclipse.linuxtools.tmf.ui.views.uml2sd;
import java.text.MessageFormat;
import org.eclipse.jface.util.PropertyChangeEvent;
import org.eclipse.jface.viewers.ISelectionProvider;
import org.eclipse.jface.viewers.StructuredSelection;
-import org.eclipse.linuxtools.tmf.core.event.ITmfTimestamp;
-import org.eclipse.linuxtools.tmf.core.event.TmfTimestamp;
-import org.eclipse.linuxtools.tmf.ui.ITmfImageConstants;
-import org.eclipse.linuxtools.tmf.ui.TmfUiPlugin;
+import org.eclipse.linuxtools.internal.tmf.ui.Activator;
+import org.eclipse.linuxtools.internal.tmf.ui.ITmfImageConstants;
+import org.eclipse.linuxtools.tmf.core.timestamp.ITmfTimestamp;
import org.eclipse.linuxtools.tmf.ui.views.uml2sd.core.BaseMessage;
import org.eclipse.linuxtools.tmf.ui.views.uml2sd.core.BasicExecutionOccurrence;
import org.eclipse.linuxtools.tmf.ui.views.uml2sd.core.Frame;
import org.eclipse.linuxtools.tmf.ui.views.uml2sd.core.ITimeRange;
import org.eclipse.linuxtools.tmf.ui.views.uml2sd.core.Lifeline;
import org.eclipse.linuxtools.tmf.ui.views.uml2sd.core.Metrics;
+import org.eclipse.linuxtools.tmf.ui.views.uml2sd.dialogs.SDPrintDialog;
+import org.eclipse.linuxtools.tmf.ui.views.uml2sd.dialogs.SDPrintDialogUI;
import org.eclipse.linuxtools.tmf.ui.views.uml2sd.drawings.IColor;
-import org.eclipse.linuxtools.tmf.ui.views.uml2sd.drawings.ISDPreferences;
import org.eclipse.linuxtools.tmf.ui.views.uml2sd.handlers.provider.ISDCollapseProvider;
import org.eclipse.linuxtools.tmf.ui.views.uml2sd.load.LoadersManager;
+import org.eclipse.linuxtools.tmf.ui.views.uml2sd.preferences.ISDPreferences;
import org.eclipse.linuxtools.tmf.ui.views.uml2sd.preferences.SDViewPref;
import org.eclipse.linuxtools.tmf.ui.views.uml2sd.util.SDMessages;
-import org.eclipse.linuxtools.tmf.ui.views.uml2sd.util.SDPrintDialog;
-import org.eclipse.linuxtools.tmf.ui.views.uml2sd.util.SDPrintDialogUI;
import org.eclipse.swt.SWT;
import org.eclipse.swt.accessibility.ACC;
import org.eclipse.swt.accessibility.Accessible;
import org.eclipse.ui.part.ViewPart;
/**
- *
+ * <p>
+ * This class implements sequence diagram widget used in the sequence diagram view.
+ * </p>
+ *
+ * @version 1.0
* @author sveyrier
- *
*/
-public class SDWidget extends ScrollView implements SelectionListener, IPropertyChangeListener, DisposeListener, ITimeCompressionListener {
-
- protected Frame frame;
- protected Image overView = null;
- protected MenuItem zoomIn = null;
- protected MenuItem zoomOut = null;
- protected SDWidgetSelectionProvider selProvider = null;
- public float zoomValue = 1;
- protected boolean zoomInMode = false;
- protected boolean zoomOutMode = false;
-
- protected List<GraphNode> selectedNodeList = null;
- protected boolean ctrlSelection = false;
-
- protected ViewPart site = null;
-
- public GraphNode currentGraphNode = null;
- public GraphNode listStart = null;
- public ArrayList<GraphNode> prevList = null;
-
- protected TimeCompressionBar timeBar = null;
-
- protected DiagramToolTip toolTip = null;
-
- protected Accessible accessible = null;
-
- protected GraphNode toolTipNode;
-
- protected Lifeline dragAndDrop = null;
-
- protected int focusedWidget = -1;
-
- protected float printerZoom = 0;
-
- protected int printerY = 0;
-
- protected int printerX = 0;
-
- protected boolean getDragAndDrop = false;
-
- protected int dragX = 0;
- protected int dragY = 0;
+public class SDWidget extends ScrollView implements SelectionListener,
+ IPropertyChangeListener, DisposeListener, ITimeCompressionListener {
- protected boolean reorderMode = false;
+ // ------------------------------------------------------------------------
+ // Attributes
+ // ------------------------------------------------------------------------
- Image collapaseCaretImg = null;
- Image arrowUpCaretImg = null;
- Image currentCaretImage = null;
-
- protected ISDCollapseProvider collapseProvider = null;
-
- protected Caret insertionCartet = null;
-
- protected ArrayList<Lifeline[]> reorderList = null;
-
- protected boolean printing = false;
- protected Printer printer = null;
-
- protected boolean shiftSelection = false;
-
- protected DiagramToolTip scrollToolTip = null;
+ /**
+ * The frame to display in the sequence diagram widget.
+ */
+ protected Frame fFrame;
+ /**
+ * The overview image to display.
+ */
+ protected Image fOverView = null;
+ /**
+ * The zoom in menu item.
+ */
+ protected MenuItem fZoomIn = null;
+ /**
+ * The zoom out menu item.
+ */
+ protected MenuItem fZoomOut = null;
+ /**
+ * The sequence diagram selection provider.
+ */
+ protected SDWidgetSelectionProvider fSelProvider = null;
+ /**
+ * The current zoom value.
+ */
+ public float fZoomValue = 1;
+ /**
+ * The current zoomInMode (true for zoom in).
+ */
+ protected boolean fZoomInMode = false;
+ /**
+ * The current zoomOutMode (true for zoom out).
+ */
+ protected boolean fZoomOutMode = false;
+ /**
+ * The current list of selected graph nodes.
+ */
+ protected List<GraphNode> fSelectedNodeList = null;
+ /**
+ * Flag whether ctrl button is selected or not.
+ */
+ protected boolean fCtrlSelection = false;
+ /**
+ * A reference to the view site.
+ */
+ protected ViewPart fSite = null;
+ /**
+ * The current graph node (the last selected one).
+ */
+ public GraphNode fCurrentGraphNode = null;
+ /**
+ * The first graph node in list (multiple selection).
+ */
+ public GraphNode fListStart = null;
+ /**
+ * The previous graph node (multiple selection).
+ */
+ public List<GraphNode> fPrevList = null;
+ /**
+ * The time compression bar.
+ */
+ protected TimeCompressionBar fTimeBar = null;
+ /**
+ * The current diagram tool tip.
+ */
+ protected DiagramToolTip fToolTip = null;
+ /**
+ * The accessible object reference of view control.
+ */
+ protected Accessible fAccessible = null;
+ /**
+ * The current node for the tooltip to display.
+ */
+ protected GraphNode fToolTipNode;
+ /**
+ * The life line to drag and drop.
+ */
+ protected Lifeline fDragAndDrop = null;
+ /**
+ * The number of focused widgets.
+ */
+ protected int fFocusedWidget = -1;
+ /**
+ * The printer zoom.
+ */
+ protected float fPrinterZoom = 0;
+ /**
+ * Y coordinate for printer.
+ */
+ protected int fPrinterY = 0;
+ /**
+ * X coordinate for printer.
+ */
+ protected int fPrinterX = 0;
+ /**
+ * Flag whether drag and drop is enabled or not.
+ */
+ protected boolean fIsDragAndDrop = false;
+ /**
+ * The x coordinate for drag.
+ */
+ protected int fDragX = 0;
+ /**
+ * The y coordinate for drag.
+ */
+ protected int fDragY = 0;
+ /**
+ * The reorder mode.
+ */
+ protected boolean fReorderMode = false;
+ /**
+ * The collapse caret image.
+ */
+ protected Image fCollapaseCaretImg = null;
+ /**
+ * The arrow up caret image.
+ */
+ protected Image fArrowUpCaretImg = null;
+ /**
+ * The current caret image.
+ */
+ protected Image fCurrentCaretImage = null;
+ /**
+ * A sequence diagramm collapse provider (for collapsing graph nodes)
+ */
+ protected ISDCollapseProvider fCollapseProvider = null;
+ /**
+ * The insertion caret.
+ */
+ protected Caret fInsertionCartet = null;
+ /**
+ * The reorder list when in reorder mode.
+ */
+ protected List<Lifeline[]> fReorderList = null;
+ /**
+ * Flag to specify whether in printing mode or not.
+ */
+ protected boolean fIsPrinting = false;
+ /**
+ * A printer reference.
+ */
+ protected Printer fPrinter = null;
+ /**
+ * Flag whether shift was selected or not.
+ */
+ protected boolean fShiftSelection = false;
+ /**
+ * The scroll tooltip.
+ */
+ protected DiagramToolTip fScrollToolTip = null;
+ /**
+ * Timer for auto_scroll feature
+ */
+ protected AutoScroll fLocalAutoScroll = null;
+ /**
+ * TimerTask for auto_scroll feature !=null when auto scroll is running
+ */
+ protected Timer fLocalAutoScrollTimer = null;
+ // ------------------------------------------------------------------------
+ // Constructor
+ // ------------------------------------------------------------------------
+ /**
+ * Constructor for SDWidget.
+ * @param c The parent composite
+ * @param s The style
+ */
public SDWidget(Composite c, int s) {
super(c, s | SWT.NO_BACKGROUND, true);
setOverviewEnabled(true);
- selectedNodeList = new ArrayList<GraphNode>();
- selProvider = new SDWidgetSelectionProvider();
+ fSelectedNodeList = new ArrayList<GraphNode>();
+ fSelProvider = new SDWidgetSelectionProvider();
SDViewPref.getInstance().addPropertyChangeListener(this);
- toolTip = new DiagramToolTip(getViewControl());
+ fToolTip = new DiagramToolTip(getViewControl());
super.addDisposeListener(this);
- scrollToolTip = new DiagramToolTip(c);
+ fScrollToolTip = new DiagramToolTip(c);
getVerticalBar().addListener(SWT.MouseUp, new Listener() {
@Override
public void handleEvent(Event event) {
- scrollToolTip.hideToolTip();
+ fScrollToolTip.hideToolTip();
}
});
- // tooltip on vertical bar causes trouble when scrolling, because
- // tooltip is constantly updated and shown
- // getVerticalBar().addSelectionListener(new SelectionListener(){
- //
- // public void widgetSelected(SelectionEvent e) {
- // scrollToolTip.hideToolTip();
- // double minOcc=0;
- // boolean needInit=true;
- // GraphNode m=null;
- // for (int i=0;i<frame.lifeLinesCount();i++)
- // {
- // Lifeline lifeline=frame.getLifeline(i);
- // BasicExecutionOccurrence exec=frame.getFirstExecution(lifeline);
- // if (exec instanceof ExecutionOccurrence) {
- // ExecutionOccurrence occ=(ExecutionOccurrence)exec;
- // if ((occ.hasTimeInfo())&&(occ.getFirstTime()<minOcc||needInit))
- // {
- // needInit=false;
- // minOcc=occ.getFirstTime();
- // m=occ;
- // }
- // }
- // }
- //
- //
- // int z=frame.getFirstVisibleSyncMessage();
- // if (m==null)
- // {
- // SyncMessage s=frame.getSyncMessage(z);
- // if (s.hasTimeInfo())
- // m=s;
- // }
- // if (m==null)
- // return;
- //
- // scrollToolTip.showToolTip(MessageFormat.format(SDMessages._134, //$NON-NLS-1$
- // new Object[] { formatTimeDate(frame.getSDMinTime()),
- // formatTimeDate(m),
- // formatTimeDate(frame.getSDMaxTime())} ));
- // }
- //
- // public void widgetDefaultSelected(SelectionEvent e) {
- // // scrollToolTip.showToolTip("Toto");
- // }
- //
- // });
- //
-
- accessible = getViewControl().getAccessible();
-
- accessible.addAccessibleListener(new AccessibleAdapter() {
+ fAccessible = getViewControl().getAccessible();
+
+ fAccessible.addAccessibleListener(new AccessibleAdapter() {
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.swt.accessibility.AccessibleAdapter#getName(org.eclipse.swt.accessibility.AccessibleEvent)
+ */
@Override
public void getName(AccessibleEvent e) {
- if (e.childID == ACC.CHILDID_SELF) {
- // e.result = "";
- }
// Case toolTip
- else if (e.childID == 0) {
- if (toolTipNode != null) {
- if (toolTipNode instanceof Lifeline) {
- Lifeline lifeline = (Lifeline) toolTipNode;
+ if (e.childID == 0) {
+ if (fToolTipNode != null) {
+ if (fToolTipNode instanceof Lifeline) {
+ Lifeline lifeline = (Lifeline) fToolTipNode;
e.result = lifeline.getToolTipText();
} else {
- e.result = toolTipNode.getName() + getPostfixForTooltip(true);
+ e.result = fToolTipNode.getName() + getPostfixForTooltip(true);
}
}
} else {
}
}
- // e.result =currentGraphNode.getName();
}
}
});
- accessible.addAccessibleControlListener(new AccessibleControlAdapter() {
+ fAccessible.addAccessibleControlListener(new AccessibleControlAdapter() {
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.swt.accessibility.AccessibleControlAdapter#getFocus(org.eclipse.swt.accessibility.AccessibleControlEvent)
+ */
@Override
public void getFocus(AccessibleControlEvent e) {
- if (focusedWidget == -1)
+ if (fFocusedWidget == -1) {
e.childID = ACC.CHILDID_SELF;
- else
- e.childID = focusedWidget;
+ } else {
+ e.childID = fFocusedWidget;
+ }
}
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.swt.accessibility.AccessibleControlAdapter#getRole(org.eclipse.swt.accessibility.AccessibleControlEvent)
+ */
@Override
public void getRole(AccessibleControlEvent e) {
switch (e.childID) {
case 1:
e.detail = ACC.ROLE_LABEL;
break;
+ default:
+ break;
}
}
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.swt.accessibility.AccessibleControlAdapter#getState(org.eclipse.swt.accessibility.AccessibleControlEvent)
+ */
@Override
public void getState(AccessibleControlEvent e) {
e.detail = ACC.STATE_FOCUSABLE;
e.detail |= ACC.STATE_FOCUSED;
} else {
e.detail |= ACC.STATE_SELECTABLE;
- if (e.childID == focusedWidget)
+ if (e.childID == fFocusedWidget) {
e.detail |= ACC.STATE_FOCUSED | ACC.STATE_SELECTED | ACC.STATE_CHECKED;
+ }
}
}
});
- insertionCartet = new Caret((Canvas) getViewControl(), SWT.NONE);
- insertionCartet.setVisible(false);
-
- collapaseCaretImg = TmfUiPlugin.getDefault().getImageFromPath(ITmfImageConstants.IMG_UI_ARROW_COLLAPSE_OBJ);
- arrowUpCaretImg = TmfUiPlugin.getDefault().getImageFromPath(ITmfImageConstants.IMG_UI_ARROW_UP_OBJ);
-
- reorderList = new ArrayList<Lifeline[]>();
- getViewControl().addTraverseListener(new TraverseListener() {
-
- @Override
- public void keyTraversed(TraverseEvent e) {
- if ((e.detail == SWT.TRAVERSE_TAB_NEXT) || (e.detail == SWT.TRAVERSE_TAB_PREVIOUS))
- e.doit = true;
- }
-
- });
+ fInsertionCartet = new Caret((Canvas) getViewControl(), SWT.NONE);
+ fInsertionCartet.setVisible(false);
- addTraverseListener(new TraverseListener() {
+ fCollapaseCaretImg = Activator.getDefault().getImageFromPath(ITmfImageConstants.IMG_UI_ARROW_COLLAPSE_OBJ);
+ fArrowUpCaretImg = Activator.getDefault().getImageFromPath(ITmfImageConstants.IMG_UI_ARROW_UP_OBJ);
- @Override
- public void keyTraversed(TraverseEvent e) {
- if ((e.detail == SWT.TRAVERSE_TAB_NEXT) || (e.detail == SWT.TRAVERSE_TAB_PREVIOUS))
- e.doit = true;
- }
+ fReorderList = new ArrayList<Lifeline[]>();
+ getViewControl().addTraverseListener(new LocalTraverseListener());
- });
+ addTraverseListener(new LocalTraverseListener());
getViewControl().addFocusListener(new FocusListener() {
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.swt.events.FocusListener#focusGained(org.eclipse.swt.events.FocusEvent)
+ */
@Override
public void focusGained(FocusEvent e) {
- // TODO Auto-generated method stub
SDViewPref.getInstance().setNoFocusSelection(false);
- ctrlSelection = false;
- shiftSelection = false;
+ fCtrlSelection = false;
+ fShiftSelection = false;
redraw();
}
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.swt.events.FocusListener#focusLost(org.eclipse.swt.events.FocusEvent)
+ */
@Override
public void focusLost(FocusEvent e) {
SDViewPref.getInstance().setNoFocusSelection(true);
});
}
+ // ------------------------------------------------------------------------
+ // Operations
+ // ------------------------------------------------------------------------
+ /**
+ * Sets the time compression bar.
+ *
+ * @param bar The time compression bar to set
+ */
public void setTimeBar(TimeCompressionBar bar) {
if (bar != null) {
- timeBar = bar;
- timeBar.addTimeCompressionListener(this);
- }
- }
-
- protected void setCollapseProvider(ISDCollapseProvider provider) {
- collapseProvider = provider;
- }
-
- @Override
- protected void keyPressedEvent(KeyEvent event) {
- if (!(isFocusControl() || getViewControl().isFocusControl())) {
- Control[] child = getParent().getChildren();
- for (int i = 0; i < child.length; i++) {
- if (child[i].isFocusControl()) {
- if (!(child[i] instanceof ScrollView)) {
- getViewControl().setFocus();
- break;
- }
- }
- }
- }
- setFocus(-1);
-
- if (event.keyCode == SWT.CTRL)
- ctrlSelection = true;
- if (event.keyCode == SWT.SHIFT) {
- shiftSelection = true;
- prevList = new ArrayList<GraphNode>();
- prevList.addAll(getSelection());
- }
-
- GraphNode prevNode = getFocusNode();
-
- if (event.keyCode == SWT.ARROW_RIGHT)
- traverseRight();
-
- if (event.keyCode == SWT.ARROW_LEFT)
- traverseLeft();
-
- if (event.keyCode == SWT.ARROW_DOWN)
- traverseDown();
-
- if (event.keyCode == SWT.ARROW_UP)
- traverseUp();
-
- if (event.keyCode == SWT.HOME)
- traverseHome();
-
- if (event.keyCode == SWT.END)
- traverseEnd();
-
- if ((!shiftSelection) && (!ctrlSelection))
- listStart = currentGraphNode;
-
- if (event.character == ' ') {
- performSelection(currentGraphNode);
- if (!shiftSelection)
- listStart = currentGraphNode;
- }
-
- if ((shiftSelection) && (prevNode != getFocusNode())) {
- clearSelection();
- addSelection(prevList);
- addSelection(frame.getNodeList(listStart, getFocusNode()));
- if (getFocusNode() instanceof Lifeline)
- ensureVisible(getFocusNode().getX(), getFocusNode().getY(), getFocusNode().getWidth(), getFocusNode().getHeight(), SWT.CENTER | SWT.VERTICAL, true);
- else
- ensureVisible(getFocusNode());
- } else if ((!ctrlSelection) && (!shiftSelection)) {
-
- clearSelection();
- if (getFocusNode() != null) {
- addSelection(getFocusNode());
-
- if (getFocusNode() instanceof Lifeline)
- ensureVisible(getFocusNode().getX(), getFocusNode().getY(), getFocusNode().getWidth(), getFocusNode().getHeight(), SWT.CENTER | SWT.VERTICAL, true);
- else
- ensureVisible(getFocusNode());
- }
- }
-
- if (currentGraphNode != null)
- currentGraphNode.setFocused(true);
- redraw();
-
- if ((event.character == ' ') && ((zoomInMode) || (zoomOutMode))) {
- int cx = Math.round((getContentsX() + getVisibleWidth() / 2) / zoomValue);
- int cy = Math.round((getContentsY() + getVisibleHeight() / 2) / zoomValue);
- if (zoomInMode) {
- if (zoomValue < 64)
- zoomValue = zoomValue * (float) 1.25;
- } else
- zoomValue = zoomValue / (float) 1.25;
- int x = Math.round(cx * zoomValue - getVisibleWidth() / (float) 2);
- int y = Math.round(cy * zoomValue - getVisibleHeight() / (float) 2);
- setContentsPos(x, y);
- if (timeBar != null)
- timeBar.setZoom(zoomValue);
- // redraw also resize the scrollView content
- redraw();
+ fTimeBar = bar;
+ fTimeBar.addTimeCompressionListener(this);
}
}
- @Override
- protected void keyReleasedEvent(KeyEvent event) {
- setFocus(-1);
- if (event.keyCode == SWT.CTRL)
- ctrlSelection = false;
- if (event.keyCode == SWT.SHIFT)
- shiftSelection = false;
- super.keyReleasedEvent(event);
- setFocus(1);
- }
-
/**
* Resize the contents to insure the frame fit into the view
- *
+ *
* @param frame the frame which will be drawn in the view
*/
public void resizeContents(Frame frame) {
- int width = Math.round((frame.getWidth() + 2 * Metrics.FRAME_H_MARGIN) * zoomValue);
- int height = Math.round((frame.getHeight() + 2 * Metrics.FRAME_V_MARGIN) * zoomValue);
+ int width = Math.round((frame.getWidth() + 2 * Metrics.FRAME_H_MARGIN) * fZoomValue);
+ int height = Math.round((frame.getHeight() + 2 * Metrics.FRAME_V_MARGIN) * fZoomValue);
resizeContents(width, height);
}
- protected boolean checkFocusOnChilds(Control childs) {
- if (childs instanceof Composite) {
- Control[] child = ((Composite) childs).getChildren();
- for (int i = 0; i < child.length; i++) {
- if (child[i].isFocusControl()) {
- return true;
- } else
- checkFocusOnChilds(child[i]);
- }
- }
- return false;
- }
-
- @Override
- public boolean isFocusControl() {
- Control[] child = getChildren();
- for (int i = 0; i < child.length; i++) {
- if (child[i].isFocusControl()) {
- return true;
- } else
- checkFocusOnChilds(child[i]);
- }
- return false;
- }
-
/**
* The frame to render (the sequence diagram)
- *
+ *
* @param theFrame the frame to display
+ * @param resetPosition boolean
*/
public void setFrame(Frame theFrame, boolean resetPosition) {
- reorderList.clear();
- selectedNodeList.clear();
- selProvider.setSelection(new StructuredSelection());
- frame = theFrame;
+ fReorderList.clear();
+ fSelectedNodeList.clear();
+ fSelProvider.setSelection(new StructuredSelection());
+ fFrame = theFrame;
if (resetPosition) {
setContentsPos(0, 0);
- resizeContents(frame);
+ resizeContents(fFrame);
redraw();
}
// prepare the old overview to be reused
- if (overView != null)
- overView.dispose();
- overView = null;
- resizeContents(frame);
+ if (fOverView != null) {
+ fOverView.dispose();
+ }
+ fOverView = null;
+ resizeContents(fFrame);
}
/**
* Returns the current Frame (the sequence diagram container)
- *
+ *
* @return the frame
*/
public Frame getFrame() {
- return frame;
+ return fFrame;
}
/**
* Returns the selection provider for the current sequence diagram
- *
+ *
* @return the selection provider
*/
public ISelectionProvider getSelectionProvider() {
- return selProvider;
+ return fSelProvider;
}
- @Override
- public boolean setContentsPos(int x, int y) {
- if (x < 0)
- x = 0;
- if (y < 0)
- y = 0;
- if (frame == null)
- return false;
- if (x + getVisibleWidth() > getContentsWidth())
- x = getContentsWidth() - getVisibleWidth();
- if (y + getVisibleHeight() > getContentsHeight())
- y = getContentsHeight() - getVisibleHeight();
- int x1 = Math.round(x / zoomValue);
- int y2 = Math.round(y / zoomValue);
- int width = Math.round(getVisibleWidth() / zoomValue);
- int height = Math.round(getVisibleHeight() / zoomValue);
- frame.updateIndex(x1, y2, width, height);
-
- if (insertionCartet != null && insertionCartet.isVisible())
- insertionCartet.setVisible(false);
-
- return super.setContentsPos(x, y);
+ /**
+ * Returns a list of selected graph nodes.
+ *
+ * @return a list of selected graph nodes.
+ */
+ public List<GraphNode> getSelection() {
+ return fSelectedNodeList;
}
- @Override
- protected void contentsMouseHover(MouseEvent event) {
- GraphNode graphNode = null;
- if (frame != null) {
- int x = Math.round(event.x / zoomValue);
- int y = Math.round(event.y / zoomValue);
- graphNode = frame.getNodeAt(x, y);
- if ((graphNode != null) && (SDViewPref.getInstance().tooltipEnabled())) {
- toolTipNode = graphNode;
- String postfix = getPostfixForTooltip(true);
- if (graphNode instanceof Lifeline) {
- Lifeline lifeline = (Lifeline) graphNode;
- toolTip.showToolTip(lifeline.getToolTipText() + postfix);
- setFocus(0);
- } else {
- toolTip.showToolTip(graphNode.getName() + postfix);
- setFocus(0);
- }
- } else
- toolTip.hideToolTip();
+ /**
+ * Adds a graph node to the selected nodes list.
+ *
+ * @param node A graph node
+ */
+ public void addSelection(GraphNode node) {
+ if (node == null) {
+ return;
}
+ fSelectedNodeList.add(node);
+ node.setSelected(true);
+ fCurrentGraphNode = node;
+ StructuredSelection selection = new StructuredSelection(fSelectedNodeList);
+ fSelProvider.setSelection(selection);
}
- protected String getPostfixForTooltip(boolean accessible) {
- String postfix = "";//$NON-NLS-1$
- // Determine if the tooltip must show the time difference between the current mouse position and
- // the last selected graphNode
- if ((currentGraphNode != null) &&
- (currentGraphNode instanceof ITimeRange) &&
- (toolTipNode instanceof ITimeRange) &&
- (currentGraphNode != toolTipNode) &&
- ((ITimeRange) toolTipNode).hasTimeInfo() &&
- ((ITimeRange) currentGraphNode).hasTimeInfo()) {
- postfix = " -> " + currentGraphNode.getName() + "\n" + SDMessages._138 + " "; //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$
-
- //double delta = ((ITimeRange)toolTipNode).getLastTime()-((ITimeRange)currentGraphNode).getLastTime();
- ITmfTimestamp firstTime = ((ITimeRange) currentGraphNode).getEndTime();
- ITmfTimestamp lastTime = ((ITimeRange) toolTipNode).getEndTime();
- TmfTimestamp delta = (TmfTimestamp) lastTime.getDelta(firstTime);
- postfix += delta.toString();
- } else {
- if ((toolTipNode instanceof ITimeRange) && ((ITimeRange) toolTipNode).hasTimeInfo()) {
- postfix = "\n";//$NON-NLS-1$
- ITmfTimestamp firstTime = ((ITimeRange) toolTipNode).getStartTime();
- ITmfTimestamp lastTime = ((ITimeRange) toolTipNode).getEndTime();
-
- if (firstTime != null) {
- if (lastTime != null && firstTime.compareTo(lastTime, true) != 0) {
- postfix += "start: " + firstTime + "\n"; //$NON-NLS-1$ //$NON-NLS-2$
- postfix += "end: " + lastTime + "\n"; //$NON-NLS-1$ //$NON-NLS-2$
- } else {
- postfix += firstTime.toString();
- }
- }
- else if (lastTime != null) {
- postfix += lastTime.toString();
- }
+ /**
+ * Adds a list of node to the selected nodes list.
+ *
+ * @param list of graph nodes
+ */
+ public void addSelection(List<GraphNode> list) {
+ // selectedNodeList.addAll(list);
+ for (int i = 0; i < list.size(); i++) {
+ if (!fSelectedNodeList.contains(list.get(i))) {
+ fSelectedNodeList.add(list.get(i));
+ list.get(i).setSelected(true);
}
}
- return postfix;
+ StructuredSelection selection = new StructuredSelection(fSelectedNodeList);
+ fSelProvider.setSelection(selection);
}
- protected void setFocus(int newFocusShape) {
- focusedWidget = newFocusShape;
- if (focusedWidget == -1) {
- getViewControl().getAccessible().setFocus(ACC.CHILDID_SELF);
- } else {
- getViewControl().getAccessible().setFocus(focusedWidget);
- }
- }
-
- /** Timer for auto_scroll feature */
- protected AutoScroll local_auto_scroll_ = null;
- /** TimerTask for auto_scroll feature !=null when auto scroll is running */
- protected Timer local_auto_scroll_timer_ = null;
-
- /** TimerTask for auto scroll feature. */
- protected static class AutoScroll extends TimerTask {
- public int dx_, dy_;
- public SDWidget sv_;
-
- public AutoScroll(SDWidget _sv, int _dx, int _dy) {
- sv_ = _sv;
- dx_ = _dx;
- dy_ = _dy;
- }
-
- @Override
- public void run() {
- Display.getDefault().asyncExec(new Runnable() {
- @Override
- public void run() {
- if (sv_.isDisposed())
- return;
- sv_.dragX += dx_;
- sv_.dragY += dy_;
- sv_.scrollBy(dx_, dy_);
- }
- });
- }
- }
-
- @Override
- protected void contentsMouseMoveEvent(MouseEvent e) {
- scrollToolTip.hideToolTip();
- toolTip.hideToolTip();
- // super.contentsMouseMoveEvent(e);
- if (!(isFocusControl() || getViewControl().isFocusControl())) {
- Control[] child = getParent().getChildren();
- for (int i = 0; i < child.length; i++) {
- if (child[i].isFocusControl()) {
- if (!(child[i] instanceof ScrollView)) {
- getViewControl().setFocus();
- break;
- }
- }
- }
- }
- setFocus(-1);
-
- if (((e.stateMask & SWT.BUTTON_MASK) != 0) && ((dragAndDrop != null) || getDragAndDrop) && (reorderMode || collapseProvider != null)) {
- getDragAndDrop = false;
- if (currentGraphNode instanceof Lifeline)
- dragAndDrop = (Lifeline) currentGraphNode;
- if (dragAndDrop != null) {
- int dx = 0;
- int dy = 0;
- if (e.x > getContentsX() + getVisibleWidth()) {
- dx = e.x - (getContentsX() + getVisibleWidth());
- } else if (e.x < getContentsX()) {
- dx = -getContentsX() + e.x;
- }
- if (e.y > getContentsY() + getVisibleHeight()) {
- dy = e.y - (getContentsY() + getVisibleHeight());
- } else if (e.y < getContentsY()) {
- dy = -getContentsY() + e.y;
- }
- dragX = e.x;
- dragY = e.y;
- if (dx != 0 || dy != 0) {
- if (local_auto_scroll_ == null) {
- if (local_auto_scroll_timer_ == null) {
- local_auto_scroll_timer_ = new Timer(true);
- }
- local_auto_scroll_ = new AutoScroll(this, dx, dy);
- local_auto_scroll_timer_.schedule(local_auto_scroll_, 0, 75);
- } else {
- local_auto_scroll_.dx_ = dx;
- local_auto_scroll_.dy_ = dy;
- }
- } else if (local_auto_scroll_ != null) {
- local_auto_scroll_.cancel();
- local_auto_scroll_ = null;
- }
- dragX = Math.round(e.x / zoomValue);
- dragY = Math.round(e.y / zoomValue);
- redraw();
- Lifeline node = frame.getCloserLifeline(dragX);
- if ((node != null) && (node != dragAndDrop)) {
- int y = 0;
- int y1 = 0;
- int height = Metrics.getLifelineHeaderFontHeigth() + 2 * Metrics.LIFELINE_HEARDER_TEXT_V_MARGIN;
- int hMargin = Metrics.LIFELINE_VT_MAGIN / 4;
- int x = node.getX();
- int width = node.getWidth();
- if (frame.getVisibleAreaY() < node.getY() + node.getHeight() - height - hMargin)
- y = contentsToViewY(Math.round((node.getY() + node.getHeight()) * zoomValue));
- else
- y = Math.round(height * zoomValue);
-
- if (frame.getVisibleAreaY() < contentsToViewY(node.getY() - hMargin))
- y1 = contentsToViewY(Math.round((node.getY() - hMargin) * zoomValue));
- else
- y1 = Math.round(height * zoomValue);
-
- int rx = Math.round(x * zoomValue);
-
- insertionCartet.setVisible(true);
- if ((insertionCartet.getImage() != null) && (!insertionCartet.getImage().isDisposed()))
- insertionCartet.getImage().dispose();
- if (rx <= e.x && Math.round(rx + (width * zoomValue)) >= e.x) {
- if (collapseProvider != null) {
- ImageData data = collapaseCaretImg.getImageData();
- data = data.scaledTo(Math.round(collapaseCaretImg.getBounds().width * zoomValue), Math.round(collapaseCaretImg.getBounds().height * zoomValue));
- currentCaretImage = new Image(Display.getCurrent(), data);
- insertionCartet.setImage(currentCaretImage);
- insertionCartet.setLocation(contentsToViewX(rx + Math.round((width / (float) 2) * zoomValue)) - currentCaretImage.getBounds().width / 2, y);
- }
- } else if (reorderMode) {
- if (rx > e.x) {
- if (node.getIndex() > 1 && frame.getLifeline(node.getIndex() - 2) == dragAndDrop)
- return;
- ImageData data = arrowUpCaretImg.getImageData();
- data = data.scaledTo(Math.round(arrowUpCaretImg.getBounds().width * zoomValue), Math.round(arrowUpCaretImg.getBounds().height * zoomValue));
- currentCaretImage = new Image(Display.getCurrent(), data);
- insertionCartet.setImage(currentCaretImage);
- insertionCartet.setLocation(contentsToViewX(Math.round((x - Metrics.LIFELINE_SPACING / 2) * zoomValue)) - currentCaretImage.getBounds().width / 2, y1);
- } else {
- if (node.getIndex() < frame.lifeLinesCount() && frame.getLifeline(node.getIndex()) == dragAndDrop)
- return;
- ImageData data = arrowUpCaretImg.getImageData();
- data = data.scaledTo(Math.round(arrowUpCaretImg.getBounds().width * zoomValue), Math.round(arrowUpCaretImg.getBounds().height * zoomValue));
- currentCaretImage = new Image(Display.getCurrent(), data);
- insertionCartet.setImage(currentCaretImage);
- insertionCartet.setLocation(contentsToViewX(Math.round((x + width + Metrics.LIFELINE_SPACING / 2) * zoomValue)) - currentCaretImage.getBounds().width / 2 + 1, y1);
- }
- }
- } else
- insertionCartet.setVisible(false);
- }
- } else
- super.contentsMouseMoveEvent(e);
- }
-
- @Override
- protected void contentsMouseUpEvent(MouseEvent event) {
- // Just in case the diagram highlight a time compression region
- // this region need to be released when clicking everywhere
- insertionCartet.setVisible(false);
- if (dragAndDrop != null) {
- if ((overView != null) && (!overView.isDisposed()))
- overView.dispose();
- overView = null;
- Lifeline node = frame.getCloserLifeline(dragX);
- if (node != null) {
- int rx = Math.round(node.getX() * zoomValue);
- if (rx <= event.x && Math.round(rx + (node.getWidth() * zoomValue)) >= event.x) {
- if ((collapseProvider != null) && (dragAndDrop != node))
- collapseProvider.collapseTwoLifelines((Lifeline) dragAndDrop, node);
- } else if (rx < event.x) {
- frame.insertLifelineAfter((Lifeline) dragAndDrop, node);
- if (node.getIndex() < frame.lifeLinesCount()) {
- Lifeline temp[] = { (Lifeline) dragAndDrop, frame.getLifeline(node.getIndex()) };
- reorderList.add(temp);
- } else {
- Lifeline temp[] = { (Lifeline) dragAndDrop, null };
- reorderList.add(temp);
- }
- } else {
- frame.insertLifelineBefore((Lifeline) dragAndDrop, node);
- Lifeline temp[] = { (Lifeline) dragAndDrop, node };
- reorderList.add(temp);
- }
- }
- }
- dragAndDrop = null;
- redraw();
- if (frame == null) {
- return;
- }
- frame.resetTimeCompression();
-
- // reset auto scroll if it's engaged
- if (local_auto_scroll_ != null) {
- local_auto_scroll_.cancel();
- local_auto_scroll_ = null;
- }
- super.contentsMouseUpEvent(event);
- }
-
- @Override
- protected void contentsMouseDownEvent(MouseEvent event) {
- if (currentGraphNode != null)
- currentGraphNode.setFocused(false);
- // Just in case the diagram highlight a time compression region
- // this region need to be released when clicking everywhere
- if (frame == null) {
- return;
- }
- frame.resetTimeCompression();
-
- if ((event.stateMask & SWT.CTRL) != 0) {
- ctrlSelection = true;
- } else
- ctrlSelection = false;
-
- if (((zoomInMode) || (zoomOutMode)) && (event.button == 1)) {
- int cx = Math.round(event.x / zoomValue);
- int cy = Math.round(event.y / zoomValue);
- if (zoomInMode) {
- if (zoomValue < 64)
- zoomValue = zoomValue * (float) 1.25;
- } else
- zoomValue = zoomValue / (float) 1.25;
- int x = Math.round(cx * zoomValue - getVisibleWidth() / (float) 2);
- int y = Math.round(cy * zoomValue - getVisibleHeight() / (float) 2);
- setContentsPos(x, y);
- if (timeBar != null)
- timeBar.setZoom(zoomValue);
- // redraw also resize the scrollView content
- redraw();
- } else// if (event.button ==1)
- {
- GraphNode node = null;
- if (frame != null) {
- int x = Math.round(event.x / zoomValue);
- int y = Math.round(event.y / zoomValue);
- node = frame.getNodeAt(x, y);
-
- if ((event.button == 1) || ((node != null) && !node.isSelected())) {
- if (!shiftSelection)
- listStart = node;
- if (shiftSelection) {
- clearSelection();
- addSelection(frame.getNodeList(listStart, node));
- } else
- performSelection(node);
- currentGraphNode = node;
- if (node != null)
- node.setFocused(true);
- }
- redraw();
- }
- }
- if (dragAndDrop == null)
- super.contentsMouseDownEvent(event);
- getDragAndDrop = (event.button == 1);
-
+ /**
+ * Removes a node from the selected nodes list.
+ *
+ * @param node to remove
+ */
+ public void removeSelection(GraphNode node) {
+ fSelectedNodeList.remove(node);
+ node.setSelected(false);
+ node.setFocused(false);
+ StructuredSelection selection = new StructuredSelection(fSelectedNodeList);
+ fSelProvider.setSelection(selection);
}
/**
- * Highlight the given GraphNode<br>
- * The GraphNode is then displayed using the system default selection color
- *
- * @param node the GraphNode to highlight
+ * Removes a list of graph nodes from the selected nodes list.
+ *
+ * @param list of nodes to remove.
*/
- protected void performSelection(GraphNode node) {
- if ((ctrlSelection) || (shiftSelection)) {
- if (node != null) {
- if (selectedNodeList.contains(node)) {
- removeSelection(node);
- } else {
- addSelection(node);
- }
- } else
- return;
- } else {
- clearSelection();
- if (node != null) {
- addSelection(node);
- }
- }
- }
-
- public List<GraphNode> getSelection() {
- return selectedNodeList;
- }
-
- public void addSelection(GraphNode node) {
- if (node == null)
- return;
- selectedNodeList.add(node);
- node.setSelected(true);
- currentGraphNode = node;
- StructuredSelection selection = new StructuredSelection(selectedNodeList);
- selProvider.setSelection(selection);
- }
-
- public void addSelection(List<GraphNode> list) {
- // selectedNodeList.addAll(list);
- for (int i = 0; i < list.size(); i++) {
- if (!selectedNodeList.contains(list.get(i))) {
- selectedNodeList.add(list.get(i));
- ((GraphNode) list.get(i)).setSelected(true);
- }
- }
- StructuredSelection selection = new StructuredSelection(selectedNodeList);
- selProvider.setSelection(selection);
- }
-
- public void removeSelection(GraphNode node) {
- selectedNodeList.remove(node);
- node.setSelected(false);
- node.setFocused(false);
- StructuredSelection selection = new StructuredSelection(selectedNodeList);
- selProvider.setSelection(selection);
- }
-
public void removeSelection(List<GraphNode> list) {
- selectedNodeList.removeAll(list);
+ fSelectedNodeList.removeAll(list);
for (int i = 0; i < list.size(); i++) {
- ((GraphNode) list.get(i)).setSelected(false);
- ((GraphNode) list.get(i)).setFocused(false);
+ list.get(i).setSelected(false);
+ list.get(i).setFocused(false);
}
- StructuredSelection selection = new StructuredSelection(selectedNodeList);
- selProvider.setSelection(selection);
+ StructuredSelection selection = new StructuredSelection(fSelectedNodeList);
+ fSelProvider.setSelection(selection);
}
/**
- * Clear the list of GraphNodes which must be drawn selected
- *
+ * Clear the list of GraphNodes which must be drawn selected.
*/
public void clearSelection() {
- for (int i = 0; i < selectedNodeList.size(); i++) {
- ((GraphNode) selectedNodeList.get(i)).setSelected(false);
- ((GraphNode) selectedNodeList.get(i)).setFocused(false);
+ for (int i = 0; i < fSelectedNodeList.size(); i++) {
+ fSelectedNodeList.get(i).setSelected(false);
+ fSelectedNodeList.get(i).setFocused(false);
}
- currentGraphNode = null;
- selectedNodeList.clear();
- selProvider.setSelection(new StructuredSelection());
+ fCurrentGraphNode = null;
+ fSelectedNodeList.clear();
+ fSelProvider.setSelection(new StructuredSelection());
}
+ /**
+ * Sets view part.
+ *
+ * @param viewSite The view part to set
+ */
public void setSite(ViewPart viewSite) {
- site = viewSite;
- site.getSite().setSelectionProvider(selProvider);
- IContextService service = (IContextService) site.getSite().getWorkbenchWindow().getService(IContextService.class);
+ fSite = viewSite;
+ fSite.getSite().setSelectionProvider(fSelProvider);
+ IContextService service = (IContextService) fSite.getSite().getWorkbenchWindow().getService(IContextService.class);
service.activateContext("org.eclipse.linuxtools.tmf.ui.view.uml2sd.context"); //$NON-NLS-1$
service.activateContext(IContextIds.CONTEXT_ID_WINDOW);
}
- protected Image getDrawBuffer(GC gc) {
-
- update();
- Rectangle area = getClientArea();
- Image dbuffer = null;
- GC gcim = null;
-
- try {
- // if (dbuffer!=null)
- // dbuffer.dispose();
- dbuffer = new Image(getDisplay(), area.width, area.height);
- } catch (Exception e) {
- System.out.println(e.toString());
- }
- gcim = new GC(dbuffer);
-
- NGC context = new NGC(this, gcim);
-
- // Set the metrics to use for lifeline text and message text
- // using the Graphical Context
- Metrics.setLifelineFontHeight(context.getFontHeight(SDViewPref.getInstance().getFont(SDViewPref.PREF_LIFELINE)));
- Metrics.setLifelineFontWidth(context.getFontWidth(SDViewPref.getInstance().getFont(SDViewPref.PREF_LIFELINE)));
- Metrics.setLifelineWidth(SDViewPref.getInstance().getLifelineWidth());
- Metrics.setFrameFontHeight(context.getFontHeight(Frame.getUserPref().getFont(ISDPreferences.PREF_FRAME_NAME)));
- Metrics.setLifelineHeaderFontHeight(context.getFontHeight(Frame.getUserPref().getFont(ISDPreferences.PREF_LIFELINE_HEADER)));
-
- int syncMessFontH = context.getFontHeight(SDViewPref.getInstance().getFont(SDViewPref.PREF_SYNC_MESS));
- int syncMessRetFontH = context.getFontHeight(SDViewPref.getInstance().getFont(SDViewPref.PREF_SYNC_MESS_RET));
- int asyncMessFontH = context.getFontHeight(SDViewPref.getInstance().getFont(SDViewPref.PREF_ASYNC_MESS));
- int asyncMessRetFontH = context.getFontHeight(SDViewPref.getInstance().getFont(SDViewPref.PREF_ASYNC_MESS_RET));
-
- int messageFontHeight = 0;
- if (syncMessFontH > syncMessRetFontH)
- messageFontHeight = syncMessFontH;
- else
- messageFontHeight = syncMessRetFontH;
- if (messageFontHeight < asyncMessFontH)
- messageFontHeight = asyncMessFontH;
- if (messageFontHeight < asyncMessRetFontH)
- messageFontHeight = asyncMessRetFontH;
- Metrics.setMessageFontHeight(messageFontHeight);
- context.setFont(SDViewPref.getInstance().getFont(SDViewPref.PREF_LIFELINE));
-
- int width = (int) ((frame.getWidth() + 2 * Metrics.FRAME_H_MARGIN) * zoomValue);
- int height = (int) ((frame.getHeight() + 2 * Metrics.FRAME_V_MARGIN) * zoomValue);
- // if (width<area.width)
- // width=area.width;
- // if (height<area.height)
- // height=area.height;
- resizeContents(width, height);
-
- context.setBackground(Frame.getUserPref().getBackGroundColor(ISDPreferences.PREF_FRAME));
- context.fillRectangle(0, 0, getContentsWidth(), Metrics.FRAME_V_MARGIN);
- context.fillRectangle(0, 0, frame.getX(), getContentsHeight());
- context.fillRectangle(frame.getX() + frame.getWidth() + 1, 0, getContentsWidth() - (frame.getX() + frame.getWidth() + 1), getContentsHeight());
- context.fillRectangle(0, frame.getY() + frame.getHeight() + 1, getContentsWidth(), getContentsHeight() - (frame.getY() + frame.getHeight() + 1));
- gcim.setLineWidth(1);
-
- frame.draw(context);
- if (dragAndDrop != null) {
- Lifeline node = (Lifeline) dragAndDrop;
- boolean isSelected = dragAndDrop.isSelected();
- boolean hasFocus = dragAndDrop.hasFocus();
- node.setSelected(false);
- node.setFocused(false);
- node.draw(context, dragX, dragY);
- node.setSelected(isSelected);
- node.setFocused(hasFocus);
- }
- gcim.dispose();
- context.dispose();
- return dbuffer;
- }
-
- /**
- *
- * @param gc the context
- */
- @Override
- protected void drawContents(GC gc, int clipx, int clipy, int clipw, int cliph) {
- if (frame == null) {
- gc.setBackground(getDisplay().getSystemColor(SWT.COLOR_WHITE));
- gc.fillRectangle(0, 0, getVisibleWidth(), getVisibleHeight());
- gc.dispose();
- return;
- } else {
- Frame.setUserPref(SDViewPref.getInstance());
- }
-
- Rectangle area = getClientArea();
- Image dbuffer = getDrawBuffer(gc);
- int height = Math.round((frame.getHeight() + 2 * Metrics.FRAME_V_MARGIN) * zoomValue);
-
- try {
- gc.drawImage(dbuffer, 0, 0, area.width, area.height, 0, 0, area.width, area.height);
- } catch (Exception e) {
- System.out.println(e.getMessage());
- }
- dbuffer.dispose();
- setHScrollBarIncrement(Math.round(SDViewPref.getInstance().getLifelineWidth() / (float) 2 * zoomValue));
- setVScrollBarIncrement(Math.round(Metrics.getMessagesSpacing() * zoomValue));
- if ((timeBar != null) && (frame.hasTimeInfo())) {
- timeBar.resizeContents(9, height + getHorizontalBarHeight());
- timeBar.setContentsPos(getContentsX(), getContentsY());
- timeBar.redraw();
- timeBar.update();
- }
- float xRatio = getContentsWidth() / (float) getVisibleWidth();
- float yRatio = getContentsHeight() / (float) getVisibleHeight();
- if (yRatio > xRatio) {
- setOverviewSize((int) (getVisibleHeight() * 0.75));
- } else {
- setOverviewSize((int) (getVisibleWidth() * 0.75));
- }
- }
-
/**
* Returns the GraphNode overView the mouse if any
- *
- * @return the GraphNode
- */
+ *
+ * @return the current graph node
+ * */
public GraphNode getMouseOverNode() {
- return currentGraphNode;
- }
-
- @Override
- public void widgetDefaultSelected(SelectionEvent event) {
- }
-
- @Override
- public void widgetSelected(SelectionEvent event) {
- if (event.widget == zoomIn)
- zoomValue = zoomValue * 2;
- else if (event.widget == zoomOut)
- zoomValue = zoomValue / 2;
- else {
- // SearchFilterDialog tt = new SearchFilterDialog(null);//display.getActiveShell());
- }
- redraw();
+ return fCurrentGraphNode;
}
+ /**
+ * Sets the zoom in mode.
+ *
+ * @param value
+ * The mode value to set.
+ */
public void setZoomInMode(boolean value) {
- if (value)
+ if (value) {
setZoomOutMode(false);
- zoomInMode = value;
+ }
+ fZoomInMode = value;
}
+ /**
+ * Sets the zoom out mode.
+ *
+ * @param value
+ * The mode value to set.
+ */
public void setZoomOutMode(boolean value) {
- if (value)
+ if (value) {
setZoomInMode(false);
- zoomOutMode = value;
+ }
+ fZoomOutMode = value;
}
/**
* Moves the Sequence diagram to ensure the given node is visible and draw it selected
- *
+ *
* @param node the GraphNode to move to
*/
public void moveTo(GraphNode node) {
- if (node == null)
+ if (node == null) {
return;
+ }
clearSelection();
addSelection(node);
ensureVisible(node);
/**
* Moves the Sequence diagram to ensure the given node is visible
- *
+ *
* @param node the GraphNode to move to
*/
public void ensureVisible(GraphNode node) {
- if (node == null)
+ if (node == null) {
return;
- int x = Math.round(node.getX() * zoomValue);
- int y = Math.round(node.getY() * zoomValue);
- int width = Math.round(node.getWidth() * zoomValue);
- int height = Math.round(node.getHeight() * zoomValue);
- if (node instanceof BaseMessage) {
- if (height == 0) {
- int header = Metrics.LIFELINE_HEARDER_TEXT_V_MARGIN * 2 + Metrics.getLifelineHeaderFontHeigth();
- height = -Math.round((Metrics.getMessagesSpacing() + header) * zoomValue);
- y = y + Math.round(Metrics.SYNC_INTERNAL_MESSAGE_HEIGHT * zoomValue);
- }
+ }
+ int x = Math.round(node.getX() * fZoomValue);
+ int y = Math.round(node.getY() * fZoomValue);
+ int width = Math.round(node.getWidth() * fZoomValue);
+ int height = Math.round(node.getHeight() * fZoomValue);
+ if ((node instanceof BaseMessage) && (height == 0)) {
+ int header = Metrics.LIFELINE_HEARDER_TEXT_V_MARGIN * 2 + Metrics.getLifelineHeaderFontHeigth();
+ height = -Math.round((Metrics.getMessagesSpacing() + header) * fZoomValue);
+ y = y + Math.round(Metrics.SYNC_INTERNAL_MESSAGE_HEIGHT * fZoomValue);
}
if (node instanceof BasicExecutionOccurrence) {
width = 1;
redraw();
}
+ /**
+ * Returns the current zoom factor.
+ * @return the current zoom factor.
+ */
public float getZoomFactor() {
- return zoomValue;
+ return fZoomValue;
}
/**
- * Called when property changed occurs in the preference page. "PREFOK" is fired when the user press the ok or apply
- * button
- *
- * @param e the PropertyChangeEvent
+ * Returns teh printer reference.
+ *
+ * @return the printer reference
*/
- @Override
- public void propertyChange(PropertyChangeEvent e) {
- if (frame != null && !isDisposed()) {
- frame.resetTimeCompression();
- }
- if (e.getProperty().equals("PREFOK")) //$NON-NLS-1$
- {
- // Prepare the overview to be reused for the new
- // settings (especially the colors)
- if (overView != null)
- overView.dispose();
- overView = null;
- redraw();
- }
- }
-
- @Override
- public void widgetDisposed(DisposeEvent e) {
- if (overView != null)
- overView.dispose();
- super.removeDisposeListener(this);
- if ((currentCaretImage != null) && (!currentCaretImage.isDisposed()))
- currentCaretImage.dispose();
- if ((arrowUpCaretImg != null) && (!arrowUpCaretImg.isDisposed()))
- arrowUpCaretImg.dispose();
- if ((collapaseCaretImg != null) && (!collapaseCaretImg.isDisposed()))
- collapaseCaretImg.dispose();
- SDViewPref.getInstance().removePropertyChangeListener(this);
- LoadersManager lm = LoadersManager.getInstance();
- if (site != null && site instanceof SDView) {
- ((SDView) site).resetProviders();
- if (lm != null)
- lm.resetLoader(((SDView) site).getViewSite().getId());
- }
+ public Printer getPrinter() {
+ return fPrinter;
}
- public Image getOverview(Rectangle r) {
- float oldzoom = zoomValue;
- if ((overView != null) && ((r.width != overView.getBounds().width) || (r.height != overView.getBounds().height))) {
- overView.dispose();
- overView = null;
- }
- if (overView == null) {
- int backX = getContentsX();
- int backY = getContentsY();
- setContentsPos(0, 0);
- overView = new Image(getDisplay(), r.width, r.height);
- GC gcim = new GC(overView);
- NGC context = new NGC(this, gcim);
- context.setBackground(SDViewPref.getInstance().getBackGroundColor(SDViewPref.PREF_FRAME));
- frame.draw(context);
- setContentsPos(backX, backY);
- gcim.dispose();
- context.dispose();
- }
- zoomValue = oldzoom;
- return overView;
+ /**
+ * Returns whether the widget is used for printing or not.
+ *
+ * @return whether the widget is used for printing or not
+ */
+ public boolean isPrinting() {
+ return fIsPrinting;
}
- @Override
- protected void drawOverview(GC gc, Rectangle r) {
- float oldzoom = zoomValue;
- if (getContentsWidth() > getContentsHeight())
- zoomValue = (float) r.width / (float) getContentsWidth() * oldzoom;
- else
- zoomValue = (float) r.height / (float) getContentsHeight() * oldzoom;
- if ((overView != null) && ((r.width != overView.getBounds().width) || (r.height != overView.getBounds().height))) {
- overView.dispose();
- overView = null;
- }
- if (overView == null) {
+ /**
+ * Gets the overview image.
+ *
+ * @param rect Rectangle to include overview.
+ * @return the overview image
+ */
+ public Image getOverview(Rectangle rect) {
+ float oldzoom = fZoomValue;
+ if ((fOverView != null) && ((rect.width != fOverView.getBounds().width) || (rect.height != fOverView.getBounds().height))) {
+ fOverView.dispose();
+ fOverView = null;
+ }
+ if (fOverView == null) {
int backX = getContentsX();
int backY = getContentsY();
setContentsPos(0, 0);
- overView = new Image(getDisplay(), r.width, r.height);
- GC gcim = new GC(overView);
+ fOverView = new Image(getDisplay(), rect.width, rect.height);
+ GC gcim = new GC(fOverView);
NGC context = new NGC(this, gcim);
- context.setBackground(SDViewPref.getInstance().getBackGroundColor(SDViewPref.PREF_FRAME));
- frame.draw(context);
+ context.setBackground(SDViewPref.getInstance().getBackGroundColor(ISDPreferences.PREF_FRAME));
+ fFrame.draw(context);
setContentsPos(backX, backY);
gcim.dispose();
context.dispose();
}
- if ((overView != null) && (r.width == overView.getBounds().width) && (r.height == overView.getBounds().height))
- gc.drawImage(overView, 0, 0, r.width, r.height, 0, 0, r.width, r.height);
-
- zoomValue = oldzoom;
-
- super.drawOverview(gc, r);
- }
-
- @Override
- public void deltaSelected(Lifeline lifeline, int startEvent, int nbEvent, IColor color) {
- frame.highlightTimeCompression(lifeline, startEvent, nbEvent, color);
- ensureVisible(lifeline);
- int y1 = lifeline.getY() + lifeline.getHeight() + (Metrics.getMessageFontHeigth() + Metrics.getMessagesSpacing()) * startEvent;
- int y2 = lifeline.getY() + lifeline.getHeight() + (Metrics.getMessageFontHeigth() + Metrics.getMessagesSpacing()) * (startEvent + nbEvent);
- ensureVisible(lifeline.getX(), y1 - (Metrics.getLifelineHeaderFontHeigth() + +2 * Metrics.LIFELINE_HEARDER_TEXT_V_MARGIN), lifeline.getWidth(), y2 - y1 + 3, SWT.CENTER | SWT.VERTICAL, true);
- redraw();
- update();
+ fZoomValue = oldzoom;
+ return fOverView;
}
+ /**
+ * Resets the zoom factor.
+ */
public void resetZoomFactor() {
- int currentX = Math.round(getContentsX() / zoomValue);
- int currentY = Math.round(getContentsY() / zoomValue);
- zoomValue = 1;
- if (timeBar != null && !timeBar.isDisposed()) {
- timeBar.setZoom(zoomValue);
+ int currentX = Math.round(getContentsX() / fZoomValue);
+ int currentY = Math.round(getContentsY() / fZoomValue);
+ fZoomValue = 1;
+ if (fTimeBar != null && !fTimeBar.isDisposed()) {
+ fTimeBar.setZoom(fZoomValue);
}
redraw();
update();
/**
* Enable or disable the lifeline reodering using Drag and Drop
- *
+ *
* @param mode - true to enable false otherwise
*/
public void setReorderMode(boolean mode) {
- reorderMode = mode;
+ fReorderMode = mode;
}
/**
* Return the lifelines reorder sequence (using Drag and Drop) if the the reorder mode is turn on. Each ArryList
* element is of type Lifeline[2] with Lifeline[0] inserted before Lifeline[1] in the diagram
- *
+ *
* @return - the re-odered sequence
*/
- public ArrayList<Lifeline[]> getLifelineReoderList() {
- return reorderList;
+ public List<Lifeline[]> getLifelineReoderList() {
+ return fReorderList;
}
+ /**
+ * Sets the focus on given graph node (current node).
+ *
+ * @param node
+ * The graph node to focus on.
+ */
public void setFocus(GraphNode node) {
- if (node == null)
+ if (node == null) {
return;
- if (currentGraphNode != null)
- currentGraphNode.setFocused(false);
- currentGraphNode = node;
+ }
+ if (fCurrentGraphNode != null) {
+ fCurrentGraphNode.setFocused(false);
+ }
+ fCurrentGraphNode = node;
node.setFocused(true);
ensureVisible(node);
setFocus(0);
}
+ /**
+ * Returns the graph node focused on.
+ *
+ * @return the current graph node
+ */
public GraphNode getFocusNode() {
- return currentGraphNode;
+ return fCurrentGraphNode;
}
+ /**
+ * Method to traverse right.
+ */
public void traverseRight() {
Object selectedNode = getFocusNode();
- if (selectedNode == null)
+ if (selectedNode == null) {
traverseLeft();
+ }
GraphNode node = null;
- if (selectedNode instanceof BaseMessage) {
- if (((BaseMessage) selectedNode).getEndLifeline() != null)
- node = frame.getCalledMessage((BaseMessage) selectedNode);
+ if ((selectedNode instanceof BaseMessage) && (((BaseMessage) selectedNode).getEndLifeline() != null)) {
+ node = fFrame.getCalledMessage((BaseMessage) selectedNode);
}
if (selectedNode instanceof BasicExecutionOccurrence) {
selectedNode = ((BasicExecutionOccurrence) selectedNode).getLifeline();
}
if ((node == null) && (selectedNode instanceof Lifeline)) {
- // if (selectedNode instanceof BaseMessage)
- // {
- // if (((BaseMessage)selectedNode).getStartLifeline()!=null)
- // selectedNode = ((BaseMessage)selectedNode).getStartLifeline();
- // }
- for (int i = 0; i < frame.lifeLinesCount(); i++) {
- if ((selectedNode == frame.getLifeline(i)) && (i < frame.lifeLinesCount() - 1)) {
- node = frame.getLifeline(i + 1);
+ for (int i = 0; i < fFrame.lifeLinesCount(); i++) {
+ if ((selectedNode == fFrame.getLifeline(i)) && (i < fFrame.lifeLinesCount() - 1)) {
+ node = fFrame.getLifeline(i + 1);
break;
}
}
}
}
+ /**
+ * Method to traverse left.
+ */
public void traverseLeft() {
Object selectedNode = getFocusNode();
GraphNode node = null;
- if (selectedNode instanceof BaseMessage) {
- if (((BaseMessage) selectedNode).getStartLifeline() != null)
- node = frame.getCallerMessage((BaseMessage) selectedNode);
+ if ((selectedNode instanceof BaseMessage) && (((BaseMessage) selectedNode).getStartLifeline() != null)) {
+ node = fFrame.getCallerMessage((BaseMessage) selectedNode);
}
if (selectedNode instanceof BasicExecutionOccurrence) {
selectedNode = ((BasicExecutionOccurrence) selectedNode).getLifeline();
}
if (node == null) {
- if (selectedNode instanceof BaseMessage) {
- if (((BaseMessage) selectedNode).getEndLifeline() != null)
- selectedNode = ((BaseMessage) selectedNode).getEndLifeline();
+ if ((selectedNode instanceof BaseMessage) && (((BaseMessage) selectedNode).getEndLifeline() != null)) {
+ selectedNode = ((BaseMessage) selectedNode).getEndLifeline();
}
- for (int i = 0; i < frame.lifeLinesCount(); i++) {
- if ((selectedNode == frame.getLifeline(i)) && (i > 0)) {
- node = frame.getLifeline(i - 1);
+ for (int i = 0; i < fFrame.lifeLinesCount(); i++) {
+ if ((selectedNode == fFrame.getLifeline(i)) && (i > 0)) {
+ node = fFrame.getLifeline(i - 1);
break;
}
}
- if ((frame.lifeLinesCount() > 0) && (node == null))
- node = frame.getLifeline(0);
+ if ((fFrame.lifeLinesCount() > 0) && (node == null)) {
+ node = fFrame.getLifeline(0);
+ }
+ }
+ if (node != null) {
+ setFocus(node);
+ redraw();
+ }
+ }
+
+ /**
+ * Method to traverse up.
+ */
+ public void traverseUp() {
+ Object selectedNode = getFocusNode();
+ if (selectedNode == null) {
+ traverseLeft();
+ }
+ GraphNode node = null;
+ if (selectedNode instanceof BaseMessage) {
+ node = fFrame.getPrevLifelineMessage(((BaseMessage) selectedNode).getStartLifeline(), (BaseMessage) selectedNode);
+ } else if (selectedNode instanceof Lifeline) {
+ node = fFrame.getPrevLifelineMessage((Lifeline) selectedNode, null);
+ if (!(node instanceof Lifeline)) {
+ node = null;
+ }
+ } else if (selectedNode instanceof BasicExecutionOccurrence) {
+ node = fFrame.getPrevExecOccurrence((BasicExecutionOccurrence) selectedNode);
+ if (node == null) {
+ node = ((BasicExecutionOccurrence) selectedNode).getLifeline();
+ }
+ }
+ if ((node == null) && (selectedNode instanceof BaseMessage) && (((BaseMessage) selectedNode).getStartLifeline() != null)) {
+ node = ((BaseMessage) selectedNode).getStartLifeline();
+ }
+
+ if (node != null) {
+ setFocus(node);
+ redraw();
+ }
+ }
+
+ /**
+ * Method to traverse down.
+ */
+ public void traverseDown() {
+ Object selectedNode = getFocusNode();
+ if (selectedNode == null) {
+ traverseLeft();
+ }
+ GraphNode node;
+ if (selectedNode instanceof BaseMessage) {
+ node = fFrame.getNextLifelineMessage(((BaseMessage) selectedNode).getStartLifeline(), (BaseMessage) selectedNode);
+ } else if (selectedNode instanceof Lifeline) {
+ // node = frame.getNextLifelineMessage((Lifeline)selectedNode,null);
+ node = fFrame.getFirstExecution((Lifeline) selectedNode);
+ } else if (selectedNode instanceof BasicExecutionOccurrence) {
+ node = fFrame.getNextExecOccurrence((BasicExecutionOccurrence) selectedNode);
+ } else {
+ return;
+ }
+
+ if (node != null) {
+ setFocus(node);
+ redraw();
+ }
+ }
+
+ /**
+ * Method to traverse home.
+ */
+ public void traverseHome() {
+ Object selectedNode = getFocusNode();
+ if (selectedNode == null) {
+ traverseLeft();
+ }
+ GraphNode node = null;
+
+ if (selectedNode instanceof BaseMessage) {
+ if (((BaseMessage) selectedNode).getStartLifeline() != null) {
+ node = fFrame.getNextLifelineMessage(((BaseMessage) selectedNode).getStartLifeline(), null);
+ } else {
+ node = fFrame.getNextLifelineMessage(((BaseMessage) selectedNode).getEndLifeline(), null);
+ }
+ } else if (selectedNode instanceof Lifeline) {
+ node = fFrame.getNextLifelineMessage((Lifeline) selectedNode, null);
+ } else if (selectedNode instanceof BasicExecutionOccurrence) {
+ node = fFrame.getFirstExecution(((BasicExecutionOccurrence) selectedNode).getLifeline());
+ } else {
+ if (fFrame.lifeLinesCount() > 0) {
+ Lifeline lifeline = fFrame.getLifeline(0);
+ node = fFrame.getNextLifelineMessage(lifeline, null);
+ }
+ }
+
+ if (node != null) {
+ setFocus(node);
+ redraw();
+ }
+ }
+
+ /**
+ * Method to traverse to the end.
+ */
+ public void traverseEnd() {
+ Object selectedNode = getFocusNode();
+ if (selectedNode == null) {
+ traverseLeft();
+ }
+ GraphNode node;
+ if (selectedNode instanceof BaseMessage) {
+ node = fFrame.getPrevLifelineMessage(((BaseMessage) selectedNode).getStartLifeline(), null);
+ } else if (selectedNode instanceof Lifeline) {
+ node = fFrame.getPrevLifelineMessage((Lifeline) selectedNode, null);
+ } else if (selectedNode instanceof BasicExecutionOccurrence) {
+ node = fFrame.getLastExecOccurrence(((BasicExecutionOccurrence) selectedNode).getLifeline());
+ } else {
+ if (fFrame.lifeLinesCount() > 0) {
+ Lifeline lifeline = fFrame.getLifeline(0);
+ node = fFrame.getPrevLifelineMessage(lifeline, null);
+ } else {
+ return;
+ }
+ }
+
+ if (node != null) {
+ setFocus(node);
+ redraw();
+ }
+ }
+
+ /**
+ * Method to print UI.
+ *
+ * @param sdPrintDialog the sequence diagram printer dialog.
+ */
+ public void printUI(SDPrintDialogUI sdPrintDialog) {
+ PrinterData data = sdPrintDialog.getPrinterData();
+
+ if ((data == null) || (fFrame == null)) {
+ return;
+ }
+
+ fPrinter = new Printer(data);
+
+ String jobName = MessageFormat.format(SDMessages._116, new Object[] { String.valueOf(fSite.getContentDescription()), String.valueOf(fFrame.getName()) });
+ fPrinter.startJob(jobName);
+
+ GC gc = new GC(fPrinter);
+// Frame.setUserPref(SDViewPref.getInstance());
+
+ float lastZoom = fZoomValue;
+
+ Rectangle area = getClientArea();
+ GC gcim = null;
+
+ gcim = gc;
+ NGC context = new NGC(this, gcim);
+
+ // Set the metrics to use for lifeline text and message text
+ // using the Graphical Context
+ Metrics.setLifelineFontHeight(context.getFontHeight(SDViewPref.getInstance().getFont(ISDPreferences.PREF_LIFELINE)));
+ Metrics.setLifelineFontWidth(context.getFontWidth(SDViewPref.getInstance().getFont(ISDPreferences.PREF_LIFELINE)));
+ Metrics.setLifelineWidth(SDViewPref.getInstance().getLifelineWidth());
+ Metrics.setFrameFontHeight(context.getFontHeight(SDViewPref.getInstance().getFont(ISDPreferences.PREF_FRAME_NAME)));
+ Metrics.setLifelineHeaderFontHeight(context.getFontHeight(SDViewPref.getInstance().getFont(ISDPreferences.PREF_LIFELINE_HEADER)));
+
+ int syncMessFontH = context.getFontHeight(SDViewPref.getInstance().getFont(ISDPreferences.PREF_SYNC_MESS));
+ int syncMessRetFontH = context.getFontHeight(SDViewPref.getInstance().getFont(ISDPreferences.PREF_SYNC_MESS_RET));
+ int asyncMessFontH = context.getFontHeight(SDViewPref.getInstance().getFont(ISDPreferences.PREF_ASYNC_MESS));
+ int asyncMessRetFontH = context.getFontHeight(SDViewPref.getInstance().getFont(ISDPreferences.PREF_ASYNC_MESS_RET));
+
+ int messageFontHeight = 0;
+ if (syncMessFontH > syncMessRetFontH) {
+ messageFontHeight = syncMessFontH;
+ } else {
+ messageFontHeight = syncMessRetFontH;
+ }
+ if (messageFontHeight < asyncMessFontH) {
+ messageFontHeight = asyncMessFontH;
+ }
+ if (messageFontHeight < asyncMessRetFontH) {
+ messageFontHeight = asyncMessRetFontH;
+ }
+ Metrics.setMessageFontHeight(messageFontHeight);
+ context.setFont(SDViewPref.getInstance().getFont(ISDPreferences.PREF_LIFELINE));
+
+ int width = Math.round((fFrame.getWidth() + 2 * Metrics.FRAME_H_MARGIN) * fZoomValue);
+ int height = Math.round((fFrame.getHeight() + 2 * Metrics.FRAME_V_MARGIN) * fZoomValue);
+ if (width < area.width) {
+ width = area.width;
+ }
+ if (height < area.height) {
+ height = area.height;
+ }
+ resizeContents(width, height);
+
+ context.setBackground(SDViewPref.getInstance().getBackGroundColor(ISDPreferences.PREF_FRAME));
+ context.fillRectangle(0, 0, getContentsWidth(), Metrics.FRAME_V_MARGIN);
+ context.fillRectangle(0, 0, fFrame.getX(), getContentsHeight());
+ context.fillRectangle(fFrame.getX() + fFrame.getWidth() + 1, 0, getContentsWidth() - (fFrame.getX() + fFrame.getWidth() + 1), getContentsHeight());
+ context.fillRectangle(0, fFrame.getY() + fFrame.getHeight() + 1, getContentsWidth(), getContentsHeight() - (fFrame.getY() + fFrame.getHeight() + 1));
+ gcim.setLineWidth(1);
+
+ fPrinter.startPage();
+ fZoomValue = lastZoom;
+
+ int restoreX = getContentsX();
+ int restoreY = getContentsY();
+
+ float zh = sdPrintDialog.getStepY() * sdPrintDialog.getZoomFactor();
+ float zw = sdPrintDialog.getStepX() * sdPrintDialog.getZoomFactor();
+
+ float zoomValueH = fPrinter.getClientArea().height / zh;
+ float zoomValueW = fPrinter.getClientArea().width / zw;
+ if (zoomValueH > zoomValueW) {
+ fPrinterZoom = zoomValueH;
+ } else {
+ fPrinterZoom = zoomValueW;
+ }
+
+ if (sdPrintDialog.printSelection()) {
+ int[] pagesList = sdPrintDialog.getPageList();
+
+ for (int pageIndex = 0; pageIndex < pagesList.length; pageIndex++) {
+ printPage(pagesList[pageIndex], sdPrintDialog, context);
+ }
+ } else if (sdPrintDialog.printAll()) {
+ for (int pageIndex = 1; pageIndex <= sdPrintDialog.maxNumOfPages(); pageIndex++) {
+ printPage(pageIndex, sdPrintDialog, context);
+ }
+ } else if (sdPrintDialog.printCurrent()) {
+ printPage(getContentsX(), getContentsY(), sdPrintDialog, context, 1);
+ } else if (sdPrintDialog.printRange()) {
+ for (int pageIndex = sdPrintDialog.getFrom(); pageIndex <= sdPrintDialog.maxNumOfPages() && pageIndex <= sdPrintDialog.getTo(); pageIndex++) {
+ printPage(pageIndex, sdPrintDialog, context);
+ }
+ }
+
+ fPrinter.endJob();
+ fIsPrinting = false;
+
+ gc.dispose();
+ context.dispose();
+
+ fZoomValue = lastZoom;
+ fPrinter.dispose();
+ setContentsPos(restoreX, restoreY);
+ }
+
+ /**
+ * Method to print.
+ */
+ public void print() {
+ SDPrintDialog sdPrinter = new SDPrintDialog(this.getShell(), this);
+ try {
+ if (sdPrinter.open() != 0) {
+ return;
+ }
+ } catch (Exception e) {
+ Activator.getDefault().logError("Error creating image", e); //$NON-NLS-1$
+ return;
+ }
+ printUI(sdPrinter.getDialogUI());
+ }
+
+ /**
+ * Method to print a page.
+ *
+ * @param pageNum The page number
+ * @param pd The sequence diagram print dialog
+ * @param context The graphical context
+ */
+ public void printPage(int pageNum, SDPrintDialogUI pd, NGC context) {
+ int j = pageNum / pd.getNbRow();
+ int i = pageNum % pd.getNbRow();
+ if (i != 0) {
+ j++;
+ } else {
+ i = pd.getNbRow();
+ }
+
+ i--;
+ j--;
+
+ i = (int) (i * pd.getStepX());
+ j = (int) (j * pd.getStepY());
+
+ printPage(i, j, pd, context, pageNum);
+
+ fPrinter.endPage();
+ }
+
+ /**
+ * Method to print page ranges.
+ *
+ * @param i
+ * The start page
+ * @param j
+ * The end page
+ * @param pd
+ * The sequence diagram print dialog
+ * @param context
+ * The graphical context
+ * @param pageNum
+ * The current page
+ */
+ public void printPage(int i, int j, SDPrintDialogUI pd, NGC context, int pageNum) {
+ fIsPrinting = false;
+ int pageNumFontZoom = fPrinter.getClientArea().height / getVisibleHeight();
+ fPrinterX = i;
+ fPrinterY = j;
+ setContentsPos(i, j);
+ update();
+ fIsPrinting = true;
+ float lastZoom = fZoomValue;
+ fZoomValue = fPrinterZoom * lastZoom;
+
+ fFrame.draw(context);
+
+ fZoomValue = pageNumFontZoom;
+ context.setFont(SDViewPref.getInstance().getFont(ISDPreferences.PREF_LIFELINE));
+ String currentPageNum = String.valueOf(pageNum);
+ int ii = context.textExtent(currentPageNum);
+ int jj = context.getCurrentFontHeight();
+ // context.setBackground(ColorImpl.getSystemColor(SWT.COLOR_BLACK));
+ // context.setForeground(ColorImpl.getSystemColor(SWT.COLOR_WHITE));
+ fZoomValue = fPrinterZoom * lastZoom;
+ context.drawText(currentPageNum, Math.round(fPrinterX + getVisibleWidth() / fPrinterZoom - ii / fPrinterZoom), Math.round(fPrinterY + getVisibleHeight() / fPrinterZoom - jj / fPrinterZoom), false);
+ fIsPrinting = false;
+ fZoomValue = lastZoom;
+ }
+
+ /**
+ * Sets the collapse provider.
+ *
+ * @param provider The collapse provider to set
+ */
+ protected void setCollapseProvider(ISDCollapseProvider provider) {
+ fCollapseProvider = provider;
+ }
+
+
+ /**
+ * Checks for focus of children.
+ *
+ * @param children Control to check
+ * @return true if child is on focus else false
+ */
+ protected boolean checkFocusOnChilds(Control children) {
+ if (children instanceof Composite) {
+ Control[] child = ((Composite) children).getChildren();
+ for (int i = 0; i < child.length; i++) {
+ if (child[i].isFocusControl()) {
+ return true;
+ }
+ checkFocusOnChilds(child[i]);
+ }
+ }
+ return false;
+ }
+
+ /**
+ * A post action for a tooltip (before displaying).
+ *
+ * @param accessible true if accessible else false
+ * @return the tooltip text.
+ */
+ protected String getPostfixForTooltip(boolean accessible) {
+ StringBuffer postfix = new StringBuffer();
+ // Determine if the tooltip must show the time difference between the current mouse position and
+ // the last selected graphNode
+ if ((fCurrentGraphNode != null) &&
+ (fCurrentGraphNode instanceof ITimeRange) &&
+ (fToolTipNode instanceof ITimeRange) &&
+ (fCurrentGraphNode != fToolTipNode) &&
+ ((ITimeRange) fToolTipNode).hasTimeInfo() &&
+ ((ITimeRange) fCurrentGraphNode).hasTimeInfo()) {
+ postfix.append(" -> "); //$NON-NLS-1$
+ postfix.append(fCurrentGraphNode.getName());
+ postfix.append("\n"); //$NON-NLS-1$
+ postfix.append(SDMessages._138);
+ postfix.append(" "); //$NON-NLS-1$
+
+ //double delta = ((ITimeRange)toolTipNode).getLastTime()-((ITimeRange)currentGraphNode).getLastTime();
+ ITmfTimestamp firstTime = ((ITimeRange) fCurrentGraphNode).getEndTime();
+ ITmfTimestamp lastTime = ((ITimeRange) fToolTipNode).getEndTime();
+ ITmfTimestamp delta = lastTime.getDelta(firstTime);
+ postfix.append(delta.toString());
+
+ } else {
+ if ((fToolTipNode instanceof ITimeRange) && ((ITimeRange) fToolTipNode).hasTimeInfo()) {
+ postfix.append("\n"); //$NON-NLS-1$
+ ITmfTimestamp firstTime = ((ITimeRange) fToolTipNode).getStartTime();
+ ITmfTimestamp lastTime = ((ITimeRange) fToolTipNode).getEndTime();
+
+ if (firstTime != null) {
+ if (lastTime != null && firstTime.compareTo(lastTime, true) != 0) {
+ postfix.append("start: "); //$NON-NLS-1$
+ postfix.append(firstTime.toString());
+ postfix.append("\n"); //$NON-NLS-1$
+ postfix.append("end: "); //$NON-NLS-1$
+ postfix.append(lastTime.toString());
+ postfix.append("\n"); //$NON-NLS-1$
+ } else {
+ postfix.append(firstTime.toString());
+ }
+ }
+ else if (lastTime != null) {
+ postfix.append(lastTime.toString());
+ }
+ }
+ }
+ return postfix.toString();
+ }
+
+ /**
+ * Sets a new focused widget.
+ *
+ * @param newFocusShape A new focus shape.
+ */
+ protected void setFocus(int newFocusShape) {
+ fFocusedWidget = newFocusShape;
+ if (fFocusedWidget == -1) {
+ getViewControl().getAccessible().setFocus(ACC.CHILDID_SELF);
+ } else {
+ getViewControl().getAccessible().setFocus(fFocusedWidget);
+ }
+ }
+
+ /**
+ * Highlight the given GraphNode<br>
+ * The GraphNode is then displayed using the system default selection color
+ *
+ * @param node the GraphNode to highlight
+ */
+ protected void performSelection(GraphNode node) {
+ if ((fCtrlSelection) || (fShiftSelection)) {
+ if (node != null) {
+ if (fSelectedNodeList.contains(node)) {
+ removeSelection(node);
+ } else {
+ addSelection(node);
+ }
+ } else {
+ return;
+ }
+ } else {
+ clearSelection();
+ if (node != null) {
+ addSelection(node);
+ }
+ }
+ }
+
+ /**
+ * Returns a draw buffer image.
+ *
+ * @return a Image containing the draw buffer.
+ */
+ protected Image getDrawBuffer() {
+
+ update();
+ Rectangle area = getClientArea();
+ Image dbuffer = null;
+ GC gcim = null;
+
+ try {
+ dbuffer = new Image(getDisplay(), area.width, area.height);
+ } catch (Exception e) {
+ Activator.getDefault().logError("Error creating image", e); //$NON-NLS-1$
+ }
+
+ gcim = new GC(dbuffer);
+
+ NGC context = new NGC(this, gcim);
+
+ // Set the metrics to use for lifeline text and message text
+ // using the Graphical Context
+ Metrics.setLifelineFontHeight(context.getFontHeight(SDViewPref.getInstance().getFont(ISDPreferences.PREF_LIFELINE)));
+ Metrics.setLifelineFontWidth(context.getFontWidth(SDViewPref.getInstance().getFont(ISDPreferences.PREF_LIFELINE)));
+ Metrics.setLifelineWidth(SDViewPref.getInstance().getLifelineWidth());
+ Metrics.setFrameFontHeight(context.getFontHeight(SDViewPref.getInstance().getFont(ISDPreferences.PREF_FRAME_NAME)));
+ Metrics.setLifelineHeaderFontHeight(context.getFontHeight(SDViewPref.getInstance().getFont(ISDPreferences.PREF_LIFELINE_HEADER)));
+
+ int syncMessFontH = context.getFontHeight(SDViewPref.getInstance().getFont(ISDPreferences.PREF_SYNC_MESS));
+ int syncMessRetFontH = context.getFontHeight(SDViewPref.getInstance().getFont(ISDPreferences.PREF_SYNC_MESS_RET));
+ int asyncMessFontH = context.getFontHeight(SDViewPref.getInstance().getFont(ISDPreferences.PREF_ASYNC_MESS));
+ int asyncMessRetFontH = context.getFontHeight(SDViewPref.getInstance().getFont(ISDPreferences.PREF_ASYNC_MESS_RET));
+
+ int messageFontHeight = 0;
+ if (syncMessFontH > syncMessRetFontH) {
+ messageFontHeight = syncMessFontH;
+ } else {
+ messageFontHeight = syncMessRetFontH;
+ }
+ if (messageFontHeight < asyncMessFontH) {
+ messageFontHeight = asyncMessFontH;
+ }
+ if (messageFontHeight < asyncMessRetFontH) {
+ messageFontHeight = asyncMessRetFontH;
+ }
+ Metrics.setMessageFontHeight(messageFontHeight);
+ context.setFont(SDViewPref.getInstance().getFont(ISDPreferences.PREF_LIFELINE));
+
+ int width = (int) ((fFrame.getWidth() + 2 * Metrics.FRAME_H_MARGIN) * fZoomValue);
+ int height = (int) ((fFrame.getHeight() + 2 * Metrics.FRAME_V_MARGIN) * fZoomValue);
+
+ resizeContents(width, height);
+
+ context.setBackground(SDViewPref.getInstance().getBackGroundColor(ISDPreferences.PREF_FRAME));
+ context.fillRectangle(0, 0, getContentsWidth(), Metrics.FRAME_V_MARGIN);
+ context.fillRectangle(0, 0, fFrame.getX(), getContentsHeight());
+ context.fillRectangle(fFrame.getX() + fFrame.getWidth() + 1, 0, getContentsWidth() - (fFrame.getX() + fFrame.getWidth() + 1), getContentsHeight());
+ context.fillRectangle(0, fFrame.getY() + fFrame.getHeight() + 1, getContentsWidth(), getContentsHeight() - (fFrame.getY() + fFrame.getHeight() + 1));
+ gcim.setLineWidth(1);
+
+ fFrame.draw(context);
+ if (fDragAndDrop != null) {
+ Lifeline node = fDragAndDrop;
+ boolean isSelected = fDragAndDrop.isSelected();
+ boolean hasFocus = fDragAndDrop.hasFocus();
+ node.setSelected(false);
+ node.setFocused(false);
+ node.draw(context, fDragX, fDragY);
+ node.setSelected(isSelected);
+ node.setFocused(hasFocus);
+ }
+ gcim.dispose();
+ context.dispose();
+ return dbuffer;
+ }
+
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.linuxtools.tmf.ui.views.uml2sd.ScrollView#keyPressedEvent(org.eclipse.swt.events.KeyEvent)
+ */
+ @Override
+ protected void keyPressedEvent(KeyEvent event) {
+ if (!(isFocusControl() || getViewControl().isFocusControl())) {
+ Control[] child = getParent().getChildren();
+ for (int i = 0; i < child.length; i++) {
+ if ((child[i].isFocusControl())&& (!(child[i] instanceof ScrollView))) {
+ getViewControl().setFocus();
+ break;
+ }
+ }
+ }
+ setFocus(-1);
+
+ if (event.keyCode == SWT.CTRL) {
+ fCtrlSelection = true;
+ }
+ if (event.keyCode == SWT.SHIFT) {
+ fShiftSelection = true;
+ fPrevList = new ArrayList<GraphNode>();
+ fPrevList.addAll(getSelection());
+ }
+
+ GraphNode prevNode = getFocusNode();
+
+ if (event.keyCode == SWT.ARROW_RIGHT) {
+ traverseRight();
+ }
+
+ if (event.keyCode == SWT.ARROW_LEFT) {
+ traverseLeft();
+ }
+
+ if (event.keyCode == SWT.ARROW_DOWN) {
+ traverseDown();
+ }
+
+ if (event.keyCode == SWT.ARROW_UP) {
+ traverseUp();
+ }
+
+ if (event.keyCode == SWT.HOME) {
+ traverseHome();
+ }
+
+ if (event.keyCode == SWT.END) {
+ traverseEnd();
+ }
+
+ if ((!fShiftSelection) && (!fCtrlSelection)) {
+ fListStart = fCurrentGraphNode;
+ }
+
+ if (event.character == ' ') {
+ performSelection(fCurrentGraphNode);
+ if (!fShiftSelection) {
+ fListStart = fCurrentGraphNode;
+ }
+ }
+
+ if ((fShiftSelection) && (prevNode != getFocusNode())) {
+ clearSelection();
+ addSelection(fPrevList);
+ addSelection(fFrame.getNodeList(fListStart, getFocusNode()));
+ if (getFocusNode() instanceof Lifeline) {
+ ensureVisible(getFocusNode().getX(), getFocusNode().getY(), getFocusNode().getWidth(), getFocusNode().getHeight(), SWT.CENTER | SWT.VERTICAL, true);
+ } else {
+ ensureVisible(getFocusNode());
+ }
+ } else if ((!fCtrlSelection) && (!fShiftSelection)) {
+
+ clearSelection();
+ if (getFocusNode() != null) {
+ addSelection(getFocusNode());
+
+ if (getFocusNode() instanceof Lifeline) {
+ ensureVisible(getFocusNode().getX(), getFocusNode().getY(), getFocusNode().getWidth(), getFocusNode().getHeight(), SWT.CENTER | SWT.VERTICAL, true);
+ } else {
+ ensureVisible(getFocusNode());
+ }
+ }
+ }
+
+ if (fCurrentGraphNode != null) {
+ fCurrentGraphNode.setFocused(true);
+ }
+ redraw();
+
+ if ((event.character == ' ') && ((fZoomInMode) || (fZoomOutMode))) {
+ int cx = Math.round((getContentsX() + getVisibleWidth() / 2) / fZoomValue);
+ int cy = Math.round((getContentsY() + getVisibleHeight() / 2) / fZoomValue);
+ if (fZoomInMode) {
+ if (fZoomValue < 64) {
+ fZoomValue = fZoomValue * (float) 1.25;
+ }
+ } else {
+ fZoomValue = fZoomValue / (float) 1.25;
+ }
+ int x = Math.round(cx * fZoomValue - getVisibleWidth() / (float) 2);
+ int y = Math.round(cy * fZoomValue - getVisibleHeight() / (float) 2);
+ setContentsPos(x, y);
+ if (fTimeBar != null) {
+ fTimeBar.setZoom(fZoomValue);
+ }
+ // redraw also resize the scrollView content
+ redraw();
+ }
+ }
+
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.linuxtools.tmf.ui.views.uml2sd.ScrollView#keyReleasedEvent(org.eclipse.swt.events.KeyEvent)
+ */
+ @Override
+ protected void keyReleasedEvent(KeyEvent event) {
+ setFocus(-1);
+ if (event.keyCode == SWT.CTRL) {
+ fCtrlSelection = false;
+ }
+ if (event.keyCode == SWT.SHIFT) {
+ fShiftSelection = false;
+ }
+ super.keyReleasedEvent(event);
+ setFocus(1);
+ }
+
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.swt.widgets.Control#isFocusControl()
+ */
+ @Override
+ public boolean isFocusControl() {
+ Control[] child = getChildren();
+ for (int i = 0; i < child.length; i++) {
+ if (child[i].isFocusControl()) {
+ return true;
+ }
+ checkFocusOnChilds(child[i]);
+ }
+ return false;
+ }
+
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.linuxtools.tmf.ui.views.uml2sd.ScrollView#setContentsPos(int, int)
+ */
+ @Override
+ public boolean setContentsPos(int x, int y) {
+ int localX = x;
+ int localY = y;
+
+ if (localX < 0) {
+ localX = 0;
+ }
+ if (localY < 0) {
+ localY = 0;
+ }
+ if (fFrame == null) {
+ return false;
+ }
+ if (localX + getVisibleWidth() > getContentsWidth()) {
+ localX = getContentsWidth() - getVisibleWidth();
+ }
+ if (localY + getVisibleHeight() > getContentsHeight()) {
+ localY = getContentsHeight() - getVisibleHeight();
+ }
+ int x1 = Math.round(localX / fZoomValue);
+ int y2 = Math.round(localY / fZoomValue);
+ int width = Math.round(getVisibleWidth() / fZoomValue);
+ int height = Math.round(getVisibleHeight() / fZoomValue);
+ fFrame.updateIndex(x1, y2, width, height);
+
+ if (fInsertionCartet != null && fInsertionCartet.isVisible()) {
+ fInsertionCartet.setVisible(false);
+ }
+
+ return super.setContentsPos(localX, localY);
+ }
+
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.linuxtools.tmf.ui.views.uml2sd.ScrollView#contentsMouseHover(org.eclipse.swt.events.MouseEvent)
+ */
+ @Override
+ protected void contentsMouseHover(MouseEvent event) {
+ GraphNode graphNode = null;
+ if (fFrame != null) {
+ int x = Math.round(event.x / fZoomValue);
+ int y = Math.round(event.y / fZoomValue);
+ graphNode = fFrame.getNodeAt(x, y);
+ if ((graphNode != null) && (SDViewPref.getInstance().tooltipEnabled())) {
+ fToolTipNode = graphNode;
+ String postfix = getPostfixForTooltip(true);
+ if (graphNode instanceof Lifeline) {
+ Lifeline lifeline = (Lifeline) graphNode;
+ fToolTip.showToolTip(lifeline.getToolTipText() + postfix);
+ setFocus(0);
+ } else {
+ fToolTip.showToolTip(graphNode.getName() + postfix);
+ setFocus(0);
+ }
+ } else {
+ fToolTip.hideToolTip();
+ }
+ }
+ }
+
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.linuxtools.tmf.ui.views.uml2sd.ScrollView#contentsMouseMoveEvent(org.eclipse.swt.events.MouseEvent)
+ */
+ @Override
+ protected void contentsMouseMoveEvent(MouseEvent e) {
+ fScrollToolTip.hideToolTip();
+ fToolTip.hideToolTip();
+ // super.contentsMouseMoveEvent(e);
+ if (!(isFocusControl() || getViewControl().isFocusControl())) {
+ Control[] child = getParent().getChildren();
+ for (int i = 0; i < child.length; i++) {
+ if ((child[i].isFocusControl()) && (!(child[i] instanceof ScrollView))) {
+ getViewControl().setFocus();
+ break;
+ }
+ }
+ }
+ setFocus(-1);
+
+ if (((e.stateMask & SWT.BUTTON_MASK) != 0) && ((fDragAndDrop != null) || fIsDragAndDrop) && (fReorderMode || fCollapseProvider != null)) {
+ fIsDragAndDrop = false;
+ if (fCurrentGraphNode instanceof Lifeline) {
+ fDragAndDrop = (Lifeline) fCurrentGraphNode;
+ }
+ if (fDragAndDrop != null) {
+ int dx = 0;
+ int dy = 0;
+ if (e.x > getContentsX() + getVisibleWidth()) {
+ dx = e.x - (getContentsX() + getVisibleWidth());
+ } else if (e.x < getContentsX()) {
+ dx = -getContentsX() + e.x;
+ }
+ if (e.y > getContentsY() + getVisibleHeight()) {
+ dy = e.y - (getContentsY() + getVisibleHeight());
+ } else if (e.y < getContentsY()) {
+ dy = -getContentsY() + e.y;
+ }
+ fDragX = e.x;
+ fDragY = e.y;
+ if (dx != 0 || dy != 0) {
+ if (fLocalAutoScroll == null) {
+ if (fLocalAutoScrollTimer == null) {
+ fLocalAutoScrollTimer = new Timer(true);
+ }
+ fLocalAutoScroll = new AutoScroll(this, dx, dy);
+ fLocalAutoScrollTimer.schedule(fLocalAutoScroll, 0, 75);
+ } else {
+ fLocalAutoScroll.fDeltaX = dx;
+ fLocalAutoScroll.fDeltaY = dy;
+ }
+ } else if (fLocalAutoScroll != null) {
+ fLocalAutoScroll.cancel();
+ fLocalAutoScroll = null;
+ }
+ fDragX = Math.round(e.x / fZoomValue);
+ fDragY = Math.round(e.y / fZoomValue);
+ redraw();
+ Lifeline node = fFrame.getCloserLifeline(fDragX);
+ if ((node != null) && (node != fDragAndDrop)) {
+ int y = 0;
+ int y1 = 0;
+ int height = Metrics.getLifelineHeaderFontHeigth() + 2 * Metrics.LIFELINE_HEARDER_TEXT_V_MARGIN;
+ int hMargin = Metrics.LIFELINE_VT_MAGIN / 4;
+ int x = node.getX();
+ int width = node.getWidth();
+ if (fFrame.getVisibleAreaY() < node.getY() + node.getHeight() - height - hMargin) {
+ y = contentsToViewY(Math.round((node.getY() + node.getHeight()) * fZoomValue));
+ } else {
+ y = Math.round(height * fZoomValue);
+ }
+
+ if (fFrame.getVisibleAreaY() < contentsToViewY(node.getY() - hMargin)) {
+ y1 = contentsToViewY(Math.round((node.getY() - hMargin) * fZoomValue));
+ } else {
+ y1 = Math.round(height * fZoomValue);
+ }
+
+ int rx = Math.round(x * fZoomValue);
+
+ fInsertionCartet.setVisible(true);
+ if ((fInsertionCartet.getImage() != null) && (!fInsertionCartet.getImage().isDisposed())) {
+ fInsertionCartet.getImage().dispose();
+ }
+ if (rx <= e.x && Math.round(rx + (width * fZoomValue)) >= e.x) {
+ if (fCollapseProvider != null) {
+ ImageData data = fCollapaseCaretImg.getImageData();
+ data = data.scaledTo(Math.round(fCollapaseCaretImg.getBounds().width * fZoomValue), Math.round(fCollapaseCaretImg.getBounds().height * fZoomValue));
+ fCurrentCaretImage = new Image(Display.getCurrent(), data);
+ fInsertionCartet.setImage(fCurrentCaretImage);
+ fInsertionCartet.setLocation(contentsToViewX(rx + Math.round((width / (float) 2) * fZoomValue)) - fCurrentCaretImage.getBounds().width / 2, y);
+ }
+ } else if (fReorderMode) {
+ if (rx > e.x) {
+ if (node.getIndex() > 1 && fFrame.getLifeline(node.getIndex() - 2) == fDragAndDrop) {
+ return;
+ }
+ ImageData data = fArrowUpCaretImg.getImageData();
+ data = data.scaledTo(Math.round(fArrowUpCaretImg.getBounds().width * fZoomValue), Math.round(fArrowUpCaretImg.getBounds().height * fZoomValue));
+ fCurrentCaretImage = new Image(Display.getCurrent(), data);
+ fInsertionCartet.setImage(fCurrentCaretImage);
+ fInsertionCartet.setLocation(contentsToViewX(Math.round((x - Metrics.LIFELINE_SPACING / 2) * fZoomValue)) - fCurrentCaretImage.getBounds().width / 2, y1);
+ } else {
+ if (node.getIndex() < fFrame.lifeLinesCount() && fFrame.getLifeline(node.getIndex()) == fDragAndDrop) {
+ return;
+ }
+ ImageData data = fArrowUpCaretImg.getImageData();
+ data = data.scaledTo(Math.round(fArrowUpCaretImg.getBounds().width * fZoomValue), Math.round(fArrowUpCaretImg.getBounds().height * fZoomValue));
+ fCurrentCaretImage = new Image(Display.getCurrent(), data);
+ fInsertionCartet.setImage(fCurrentCaretImage);
+ fInsertionCartet.setLocation(contentsToViewX(Math.round((x + width + Metrics.LIFELINE_SPACING / 2) * fZoomValue)) - fCurrentCaretImage.getBounds().width / 2 + 1, y1);
+ }
+ }
+ } else {
+ fInsertionCartet.setVisible(false);
+ }
+ }
+ } else {
+ super.contentsMouseMoveEvent(e);
+ }
+ }
+
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.linuxtools.tmf.ui.views.uml2sd.ScrollView#contentsMouseUpEvent(org.eclipse.swt.events.MouseEvent)
+ */
+ @Override
+ protected void contentsMouseUpEvent(MouseEvent event) {
+ // Just in case the diagram highlight a time compression region
+ // this region need to be released when clicking everywhere
+ fInsertionCartet.setVisible(false);
+ if (fDragAndDrop != null) {
+ if ((fOverView != null) && (!fOverView.isDisposed())) {
+ fOverView.dispose();
+ }
+ fOverView = null;
+ Lifeline node = fFrame.getCloserLifeline(fDragX);
+ if (node != null) {
+ int rx = Math.round(node.getX() * fZoomValue);
+ if (rx <= event.x && Math.round(rx + (node.getWidth() * fZoomValue)) >= event.x) {
+ if ((fCollapseProvider != null) && (fDragAndDrop != node)) {
+ fCollapseProvider.collapseTwoLifelines(fDragAndDrop, node);
+ }
+ } else if (rx < event.x) {
+ fFrame.insertLifelineAfter(fDragAndDrop, node);
+ if (node.getIndex() < fFrame.lifeLinesCount()) {
+ Lifeline temp[] = { fDragAndDrop, fFrame.getLifeline(node.getIndex()) };
+ fReorderList.add(temp);
+ } else {
+ Lifeline temp[] = { fDragAndDrop, null };
+ fReorderList.add(temp);
+ }
+ } else {
+ fFrame.insertLifelineBefore(fDragAndDrop, node);
+ Lifeline temp[] = { fDragAndDrop, node };
+ fReorderList.add(temp);
+ }
+ }
+ }
+ fDragAndDrop = null;
+ redraw();
+ if (fFrame == null) {
+ return;
}
- if (node != null) {
- setFocus(node);
- redraw();
+ fFrame.resetTimeCompression();
+
+ // reset auto scroll if it's engaged
+ if (fLocalAutoScroll != null) {
+ fLocalAutoScroll.cancel();
+ fLocalAutoScroll = null;
}
+ super.contentsMouseUpEvent(event);
}
- public void traverseUp() {
- Object selectedNode = getFocusNode();
- if (selectedNode == null)
- traverseLeft();
- GraphNode node = null;
- if (selectedNode instanceof BaseMessage)
- node = frame.getPrevLifelineMessage(((BaseMessage) selectedNode).getStartLifeline(), (BaseMessage) selectedNode);
- else if (selectedNode instanceof Lifeline) {
- node = frame.getPrevLifelineMessage((Lifeline) selectedNode, null);
- if (!(node instanceof Lifeline))
- node = null;
- } else if (selectedNode instanceof BasicExecutionOccurrence) {
- node = frame.getPrevExecOccurrence((BasicExecutionOccurrence) selectedNode);
- if (node == null)
- node = ((BasicExecutionOccurrence) selectedNode).getLifeline();
- }
- if (node == null) {
- if (selectedNode instanceof BaseMessage) {
- if (((BaseMessage) selectedNode).getStartLifeline() != null)
- node = ((BaseMessage) selectedNode).getStartLifeline();
- }
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.linuxtools.tmf.ui.views.uml2sd.ScrollView#contentsMouseDownEvent(org.eclipse.swt.events.MouseEvent)
+ */
+ @Override
+ protected void contentsMouseDownEvent(MouseEvent event) {
+ if (fCurrentGraphNode != null) {
+ fCurrentGraphNode.setFocused(false);
}
- if (node != null) {
- setFocus(node);
- redraw();
+ // Just in case the diagram highlight a time compression region
+ // this region need to be released when clicking everywhere
+ if (fFrame == null) {
+ return;
}
- }
- public void traverseDown() {
- Object selectedNode = getFocusNode();
- if (selectedNode == null)
- traverseLeft();
- GraphNode node;
- if (selectedNode instanceof BaseMessage)
- node = frame.getNextLifelineMessage(((BaseMessage) selectedNode).getStartLifeline(), (BaseMessage) selectedNode);
- else if (selectedNode instanceof Lifeline) {
- // node = frame.getNextLifelineMessage((Lifeline)selectedNode,null);
- node = frame.getFirstExecution((Lifeline) selectedNode);
- } else if (selectedNode instanceof BasicExecutionOccurrence) {
- node = frame.getNextExecOccurrence((BasicExecutionOccurrence) selectedNode);
- } else
- return;
+ fFrame.resetTimeCompression();
- if (node != null) {
- setFocus(node);
- redraw();
+ if ((event.stateMask & SWT.CTRL) != 0) {
+ fCtrlSelection = true;
+ } else {
+ fCtrlSelection = false;
}
- }
- public void traverseHome() {
- Object selectedNode = getFocusNode();
- if (selectedNode == null)
- traverseLeft();
- GraphNode node = null;
- /*
- * if (selectedNode instanceof BaseMessage) { if (((BaseMessage)selectedNode).getStartLifeline()!=null) node =
- * ((BaseMessage)selectedNode).getStartLifeline(); }
- */
- if (selectedNode instanceof BaseMessage) {
- if (((BaseMessage) selectedNode).getStartLifeline() != null)
- node = frame.getNextLifelineMessage(((BaseMessage) selectedNode).getStartLifeline(), null);
- else
- node = frame.getNextLifelineMessage(((BaseMessage) selectedNode).getEndLifeline(), null);
- } else if (selectedNode instanceof Lifeline)
- node = frame.getNextLifelineMessage((Lifeline) selectedNode, null);
- else if (selectedNode instanceof BasicExecutionOccurrence) {
- node = frame.getFirstExecution(((BasicExecutionOccurrence) selectedNode).getLifeline());
- } else {
- if (frame.lifeLinesCount() > 0) {
- Lifeline lifeline = frame.getLifeline(0);
- node = frame.getNextLifelineMessage(lifeline, null);
+ if (((fZoomInMode) || (fZoomOutMode)) && (event.button == 1)) {
+ int cx = Math.round(event.x / fZoomValue);
+ int cy = Math.round(event.y / fZoomValue);
+ if (fZoomInMode) {
+ if (fZoomValue < 64) {
+ fZoomValue = fZoomValue * (float) 1.25;
+ }
+ } else {
+ fZoomValue = fZoomValue / (float) 1.25;
}
- }
+ int x = Math.round(cx * fZoomValue - getVisibleWidth() / (float) 2);
+ int y = Math.round(cy * fZoomValue - getVisibleHeight() / (float) 2);
+ setContentsPos(x, y);
+ if (fTimeBar != null) {
+ fTimeBar.setZoom(fZoomValue);
+ }
+ // redraw also resize the scrollView content
+ redraw();
+ } else {// if (event.button ==1)
+ GraphNode node = null;
+ int x = Math.round(event.x / fZoomValue);
+ int y = Math.round(event.y / fZoomValue);
+ node = fFrame.getNodeAt(x, y);
- if (node != null) {
- setFocus(node);
+ if ((event.button == 1) || ((node != null) && !node.isSelected())) {
+ if (!fShiftSelection) {
+ fListStart = node;
+ }
+ if (fShiftSelection) {
+ clearSelection();
+ addSelection(fFrame.getNodeList(fListStart, node));
+ } else {
+ performSelection(node);
+ }
+ fCurrentGraphNode = node;
+ if (node != null) {
+ node.setFocused(true);
+ }
+ }
redraw();
}
+ if (fDragAndDrop == null) {
+ super.contentsMouseDownEvent(event);
+ }
+ fIsDragAndDrop = (event.button == 1);
+
}
- public void traverseEnd() {
- Object selectedNode = getFocusNode();
- if (selectedNode == null)
- traverseLeft();
- GraphNode node;
- if (selectedNode instanceof BaseMessage)
- node = frame.getPrevLifelineMessage(((BaseMessage) selectedNode).getStartLifeline(), null);
- else if (selectedNode instanceof Lifeline)
- node = frame.getPrevLifelineMessage((Lifeline) selectedNode, null);
- else if (selectedNode instanceof BasicExecutionOccurrence) {
- node = frame.getLastExecOccurrence(((BasicExecutionOccurrence) selectedNode).getLifeline());
- } else {
- if (frame.lifeLinesCount() > 0) {
- Lifeline lifeline = frame.getLifeline(0);
- node = frame.getPrevLifelineMessage(lifeline, null);
- } else
- return;
+ /**
+ * TimerTask for auto scroll feature.
+ */
+ protected static class AutoScroll extends TimerTask {
+ /**
+ * Field delta x.
+ */
+ public int fDeltaX;
+ /**
+ * Field delta y.
+ */
+ public int fDeltaY;
+ /**
+ * Field sequence diagram reference.
+ */
+ public SDWidget fSdWidget;
+
+ /**
+ * Constructor for AutoScroll.
+ * @param sv sequence diagram widget reference
+ * @param dx delta x
+ * @param dy delta y
+ */
+ public AutoScroll(SDWidget sv, int dx, int dy) {
+ fSdWidget = sv;
+ fDeltaX = dx;
+ fDeltaY = dy;
}
- if (node != null) {
- setFocus(node);
- redraw();
+ /*
+ * (non-Javadoc)
+ * @see java.util.TimerTask#run()
+ */
+ @Override
+ public void run() {
+ Display.getDefault().asyncExec(new Runnable() {
+ @Override
+ public void run() {
+ if (fSdWidget.isDisposed()) {
+ return;
+ }
+ fSdWidget.fDragX += fDeltaX;
+ fSdWidget.fDragY += fDeltaY;
+ fSdWidget.scrollBy(fDeltaX, fDeltaY);
+ }
+ });
}
}
- public void printUI(SDPrintDialogUI sdPrinter) {
- PrinterData data = sdPrinter.getPrinterData();
-
- if ((data == null) || (frame == null)) {
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.linuxtools.tmf.ui.views.uml2sd.ScrollView#drawContents(org.eclipse.swt.graphics.GC, int, int, int, int)
+ */
+ @Override
+ protected void drawContents(GC gc, int clipx, int clipy, int clipw, int cliph) {
+ if (fFrame == null) {
+ gc.setBackground(getDisplay().getSystemColor(SWT.COLOR_WHITE));
+ gc.fillRectangle(0, 0, getVisibleWidth(), getVisibleHeight());
+ gc.dispose();
return;
}
-
- printer = new Printer(data);
-
- String jobName = MessageFormat.format(SDMessages._116, new Object[] { String.valueOf(site.getContentDescription()), String.valueOf(frame.getName()) });
- printer.startJob(jobName);
-
- GC gc = new GC(printer);
- Frame.setUserPref(SDViewPref.getInstance());
-
- float lastZoom = zoomValue;
+ // Frame.setUserPref(SDViewPref.getInstance());
+ SDViewPref.getInstance();
Rectangle area = getClientArea();
- GC gcim = null;
-
- gcim = gc;
- NGC context = new NGC(this, gcim);
-
- // Set the metrics to use for lifeline text and message text
- // using the Graphical Context
- Metrics.setLifelineFontHeight(context.getFontHeight(SDViewPref.getInstance().getFont(SDViewPref.PREF_LIFELINE)));
- Metrics.setLifelineFontWidth(context.getFontWidth(SDViewPref.getInstance().getFont(SDViewPref.PREF_LIFELINE)));
- Metrics.setLifelineWidth(SDViewPref.getInstance().getLifelineWidth());
- Metrics.setFrameFontHeight(context.getFontHeight(Frame.getUserPref().getFont(ISDPreferences.PREF_FRAME_NAME)));
- Metrics.setLifelineHeaderFontHeight(context.getFontHeight(Frame.getUserPref().getFont(ISDPreferences.PREF_LIFELINE_HEADER)));
-
- int syncMessFontH = context.getFontHeight(SDViewPref.getInstance().getFont(SDViewPref.PREF_SYNC_MESS));
- int syncMessRetFontH = context.getFontHeight(SDViewPref.getInstance().getFont(SDViewPref.PREF_SYNC_MESS_RET));
- int asyncMessFontH = context.getFontHeight(SDViewPref.getInstance().getFont(SDViewPref.PREF_ASYNC_MESS));
- int asyncMessRetFontH = context.getFontHeight(SDViewPref.getInstance().getFont(SDViewPref.PREF_ASYNC_MESS_RET));
-
- int messageFontHeight = 0;
- if (syncMessFontH > syncMessRetFontH)
- messageFontHeight = syncMessFontH;
- else
- messageFontHeight = syncMessRetFontH;
- if (messageFontHeight < asyncMessFontH)
- messageFontHeight = asyncMessFontH;
- if (messageFontHeight < asyncMessRetFontH)
- messageFontHeight = asyncMessRetFontH;
- Metrics.setMessageFontHeight(messageFontHeight);
- context.setFont(SDViewPref.getInstance().getFont(SDViewPref.PREF_LIFELINE));
-
- int width = Math.round((frame.getWidth() + 2 * Metrics.FRAME_H_MARGIN) * zoomValue);
- int height = Math.round((frame.getHeight() + 2 * Metrics.FRAME_V_MARGIN) * zoomValue);
- if (width < area.width)
- width = area.width;
- if (height < area.height)
- height = area.height;
- resizeContents(width, height);
-
- context.setBackground(Frame.getUserPref().getBackGroundColor(ISDPreferences.PREF_FRAME));
- context.fillRectangle(0, 0, getContentsWidth(), Metrics.FRAME_V_MARGIN);
- context.fillRectangle(0, 0, frame.getX(), getContentsHeight());
- context.fillRectangle(frame.getX() + frame.getWidth() + 1, 0, getContentsWidth() - (frame.getX() + frame.getWidth() + 1), getContentsHeight());
- context.fillRectangle(0, frame.getY() + frame.getHeight() + 1, getContentsWidth(), getContentsHeight() - (frame.getY() + frame.getHeight() + 1));
- gcim.setLineWidth(1);
-
- printer.startPage();
- zoomValue = lastZoom;
-
- int restoreX = getContentsX();
- int restoreY = getContentsY();
-
- float zh = getContentsHeight();
- float zw = getContentsWidth();
+ Image dbuffer = getDrawBuffer();
+ int height = Math.round((fFrame.getHeight() + 2 * Metrics.FRAME_V_MARGIN) * fZoomValue);
- zh = sdPrinter.getStepY() * sdPrinter.getZoomFactor();
- zw = sdPrinter.getStepX() * sdPrinter.getZoomFactor();
+ try {
+ gc.drawImage(dbuffer, 0, 0, area.width, area.height, 0, 0, area.width, area.height);
+ } catch (Exception e) {
+ Activator.getDefault().logError("Error drawin content", e); //$NON-NLS-1$
+ }
+ dbuffer.dispose();
+ setHScrollBarIncrement(Math.round(SDViewPref.getInstance().getLifelineWidth() / (float) 2 * fZoomValue));
+ setVScrollBarIncrement(Math.round(Metrics.getMessagesSpacing() * fZoomValue));
+ if ((fTimeBar != null) && (fFrame.hasTimeInfo())) {
+ fTimeBar.resizeContents(9, height + getHorizontalBarHeight());
+ fTimeBar.setContentsPos(getContentsX(), getContentsY());
+ fTimeBar.redraw();
+ fTimeBar.update();
+ }
+ float xRatio = getContentsWidth() / (float) getVisibleWidth();
+ float yRatio = getContentsHeight() / (float) getVisibleHeight();
+ if (yRatio > xRatio) {
+ setOverviewSize((int) (getVisibleHeight() * 0.75));
+ } else {
+ setOverviewSize((int) (getVisibleWidth() * 0.75));
+ }
+ }
- float zoomValueH = printer.getClientArea().height / zh;
- float zoomValueW = printer.getClientArea().width / zw;
- if (zoomValueH > zoomValueW)
- printerZoom = zoomValueH;
- else
- printerZoom = zoomValueW;
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.swt.events.SelectionListener#widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent)
+ */
+ @Override
+ public void widgetDefaultSelected(SelectionEvent event) {
+ }
- if (sdPrinter.printSelection()) {
- int[] pagesList = sdPrinter.getPageList();
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.swt.events.SelectionListener#widgetSelected(org.eclipse.swt.events.SelectionEvent)
+ */
+ @Override
+ public void widgetSelected(SelectionEvent event) {
+ if (event.widget == fZoomIn) {
+ fZoomValue = fZoomValue * 2;
+ } else if (event.widget == fZoomOut) {
+ fZoomValue = fZoomValue / 2;
+ }
+ redraw();
+ }
- for (int pageIndex = 0; pageIndex < pagesList.length; pageIndex++) {
- printPage(pagesList[pageIndex], sdPrinter, context);
- }
- } else if (sdPrinter.printAll()) {
- for (int pageIndex = 1; pageIndex <= sdPrinter.maxNumOfPages(); pageIndex++) {
- printPage(pageIndex, sdPrinter, context);
- }
- } else if (sdPrinter.printCurrent()) {
- printPage(getContentsX(), getContentsY(), sdPrinter, context, 1);
- } else if (sdPrinter.printRange()) {
- for (int pageIndex = sdPrinter.getFrom(); pageIndex <= sdPrinter.maxNumOfPages() && pageIndex <= sdPrinter.getTo(); pageIndex++) {
- printPage(pageIndex, sdPrinter, context);
+ /*
+ * Called when property changed occurs in the preference page. "PREFOK" is fired when the user press the ok or apply button
+ *
+ * (non-Javadoc)
+ * @see org.eclipse.jface.util.IPropertyChangeListener#propertyChange(org.eclipse.jface.util.PropertyChangeEvent)
+ */
+ @Override
+ public void propertyChange(PropertyChangeEvent e) {
+ if (fFrame != null && !isDisposed()) {
+ fFrame.resetTimeCompression();
+ }
+ if (e.getProperty().equals("PREFOK")) //$NON-NLS-1$
+ {
+ // Prepare the overview to be reused for the new
+ // settings (especially the colors)
+ if (fOverView != null) {
+ fOverView.dispose();
}
+ fOverView = null;
+ redraw();
}
-
- printer.endJob();
- printing = false;
-
- gc.dispose();
- context.dispose();
-
- zoomValue = lastZoom;
- printer.dispose();
- setContentsPos(restoreX, restoreY);
-
}
- public void print() {
- SDPrintDialog sdPrinter = new SDPrintDialog(this.getShell(), this);
- try {
- if (sdPrinter.open() != 0)
- return;
- } catch (Exception e) {
-
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.swt.events.DisposeListener#widgetDisposed(org.eclipse.swt.events.DisposeEvent)
+ */
+ @Override
+ public void widgetDisposed(DisposeEvent e) {
+ if (fOverView != null) {
+ fOverView.dispose();
+ }
+ super.removeDisposeListener(this);
+ if ((fCurrentCaretImage != null) && (!fCurrentCaretImage.isDisposed())) {
+ fCurrentCaretImage.dispose();
+ }
+ if ((fArrowUpCaretImg != null) && (!fArrowUpCaretImg.isDisposed())) {
+ fArrowUpCaretImg.dispose();
+ }
+ if ((fCollapaseCaretImg != null) && (!fCollapaseCaretImg.isDisposed())) {
+ fCollapaseCaretImg.dispose();
+ }
+ SDViewPref.getInstance().removePropertyChangeListener(this);
+ LoadersManager lm = LoadersManager.getInstance();
+ if (fSite instanceof SDView) {
+ ((SDView) fSite).resetProviders();
+ if (lm != null) {
+ lm.resetLoader(((SDView) fSite).getViewSite().getId());
+ }
}
-
- printUI(sdPrinter.getDialogUI());
}
- public void printPage(int pageNum, SDPrintDialogUI pd, NGC context) {
- int j = pageNum / pd.getNbRow();
- int i = pageNum % pd.getNbRow();
- if (i != 0)
- j++;
- else
- i = pd.getNbRow();
-
- i--;
- j--;
-
- i = (int) (i * pd.getStepX());
- j = (int) (j * pd.getStepY());
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.linuxtools.tmf.ui.views.uml2sd.ScrollView#drawOverview(org.eclipse.swt.graphics.GC, org.eclipse.swt.graphics.Rectangle)
+ */
+ @Override
+ protected void drawOverview(GC gc, Rectangle r) {
+ float oldzoom = fZoomValue;
+ if (getContentsWidth() > getContentsHeight()) {
+ fZoomValue = (float) r.width / (float) getContentsWidth() * oldzoom;
+ } else {
+ fZoomValue = (float) r.height / (float) getContentsHeight() * oldzoom;
+ }
+ if ((fOverView != null) && ((r.width != fOverView.getBounds().width) || (r.height != fOverView.getBounds().height))) {
+ fOverView.dispose();
+ fOverView = null;
+ }
+ if (fOverView == null) {
+ int backX = getContentsX();
+ int backY = getContentsY();
+ setContentsPos(0, 0);
+ fOverView = new Image(getDisplay(), r.width, r.height);
+ GC gcim = new GC(fOverView);
+ NGC context = new NGC(this, gcim);
+ context.setBackground(SDViewPref.getInstance().getBackGroundColor(ISDPreferences.PREF_FRAME));
+ fFrame.draw(context);
+ setContentsPos(backX, backY);
+ gcim.dispose();
+ context.dispose();
+ }
+ if ((fOverView != null) && (r.width == fOverView.getBounds().width) && (r.height == fOverView.getBounds().height)) {
+ gc.drawImage(fOverView, 0, 0, r.width, r.height, 0, 0, r.width, r.height);
+ }
- printPage(i, j, pd, context, pageNum);
+ fZoomValue = oldzoom;
- printer.endPage();
+ super.drawOverview(gc, r);
}
- public void printPage(int i, int j, SDPrintDialogUI pd, NGC context, int pageNum) {
- printing = false;
- int pageNumFontZoom = printer.getClientArea().height / getVisibleHeight();
- printerX = i;
- printerY = j;
- setContentsPos(i, j);
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.linuxtools.tmf.ui.views.uml2sd.ITimeCompressionListener#deltaSelected(org.eclipse.linuxtools.tmf.ui.views.uml2sd.core.Lifeline, int, int, org.eclipse.linuxtools.tmf.ui.views.uml2sd.drawings.IColor)
+ */
+ @Override
+ public void deltaSelected(Lifeline lifeline, int startEvent, int nbEvent, IColor color) {
+ fFrame.highlightTimeCompression(lifeline, startEvent, nbEvent, color);
+ ensureVisible(lifeline);
+ int y1 = lifeline.getY() + lifeline.getHeight() + (Metrics.getMessageFontHeigth() + Metrics.getMessagesSpacing()) * startEvent;
+ int y2 = lifeline.getY() + lifeline.getHeight() + (Metrics.getMessageFontHeigth() + Metrics.getMessagesSpacing()) * (startEvent + nbEvent);
+ ensureVisible(lifeline.getX(), y1 - (Metrics.getLifelineHeaderFontHeigth() + +2 * Metrics.LIFELINE_HEARDER_TEXT_V_MARGIN), lifeline.getWidth(), y2 - y1 + 3, SWT.CENTER | SWT.VERTICAL, true);
+ redraw();
update();
- printing = true;
- float lastZoom = zoomValue;
- zoomValue = printerZoom * lastZoom;
-
- frame.draw(context);
-
- zoomValue = pageNumFontZoom;
- context.setFont(SDViewPref.getInstance().getFont(SDViewPref.PREF_LIFELINE));
- String currentPageNum = String.valueOf(pageNum);
- int ii = context.textExtent(currentPageNum);
- int jj = context.getCurrentFontHeight();
- // context.setBackground(ColorImpl.getSystemColor(SWT.COLOR_BLACK));
- // context.setForeground(ColorImpl.getSystemColor(SWT.COLOR_WHITE));
- zoomValue = printerZoom * lastZoom;
- context.drawText(currentPageNum, Math.round(printerX + getVisibleWidth() / printerZoom - ii / printerZoom), Math.round(printerY + getVisibleHeight() / printerZoom - jj / printerZoom), false);
- printing = false;
- zoomValue = lastZoom;
}
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.linuxtools.tmf.ui.views.uml2sd.ScrollView#getVisibleWidth()
+ */
@Override
public int getVisibleWidth() {
- if (printing)
- return printer.getClientArea().width;
+ if (fIsPrinting) {
+ return fPrinter.getClientArea().width;
+ }
return super.getVisibleWidth();
}
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.linuxtools.tmf.ui.views.uml2sd.ScrollView#getVisibleHeight()
+ */
@Override
public int getVisibleHeight() {
- if (printing)
- return printer.getClientArea().height;
+ if (fIsPrinting) {
+ return fPrinter.getClientArea().height;
+ }
return super.getVisibleHeight();
}
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.linuxtools.tmf.ui.views.uml2sd.ScrollView#contentsToViewX(int)
+ */
@Override
- public int contentsToViewX(int _x) {
- if (printing) {
- int v = Math.round(printerX * printerZoom);
- return _x - v;
+ public int contentsToViewX(int x) {
+ if (fIsPrinting) {
+ int v = Math.round(fPrinterX * fPrinterZoom);
+ return x - v;
}
- return _x - getContentsX();
+ return x - getContentsX();
}
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.linuxtools.tmf.ui.views.uml2sd.ScrollView#contentsToViewY(int)
+ */
@Override
- public int contentsToViewY(int _y) {
- if (printing) {
- int v = Math.round(printerY * printerZoom);
- return _y - v;
+ public int contentsToViewY(int y) {
+ if (fIsPrinting) {
+ int v = Math.round(fPrinterY * fPrinterZoom);
+ return y - v;
}
- return _y - getContentsY();
+ return y - getContentsY();
}
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.linuxtools.tmf.ui.views.uml2sd.ScrollView#getContentsX()
+ */
@Override
public int getContentsX() {
- if (printing)
- return Math.round(printerX * printerZoom);
+ if (fIsPrinting) {
+ return Math.round(fPrinterX * fPrinterZoom);
+ }
return super.getContentsX();
}
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.linuxtools.tmf.ui.views.uml2sd.ScrollView#getContentsY()
+ */
@Override
public int getContentsY() {
- if (printing)
- return Math.round(printerY * printerZoom);
+ if (fIsPrinting) {
+ return Math.round(fPrinterY * fPrinterZoom);
+ }
return super.getContentsY();
}
- public Printer getPrinter() {
- return printer;
- }
+ /**
+ * Traverse Listener implementation.
+ */
+ protected static class LocalTraverseListener implements TraverseListener {
- public boolean isPrinting() {
- return printing;
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.swt.events.TraverseListener#keyTraversed(org.eclipse.swt.events.TraverseEvent)
+ */
+ @Override
+ public void keyTraversed(TraverseEvent e) {
+ if ((e.detail == SWT.TRAVERSE_TAB_NEXT) || (e.detail == SWT.TRAVERSE_TAB_PREVIOUS)) {
+ e.doit = true;
+ }
+ }
}
+
}
projects / deliverable / tracecompass.git / blobdiff