TPTP 4.6.0 Platform Project
Public API Specification

org.eclipse.hyades.uml2sd.ui.view
Class TimeCompressionBar

java.lang.Object
  extended by org.eclipse.swt.widgets.Widget
      extended by org.eclipse.swt.widgets.Control
          extended by org.eclipse.swt.widgets.Scrollable
              extended by org.eclipse.swt.widgets.Composite
                  extended by org.eclipse.hyades.uml2sd.ui.view.ScrollView
                      extended by org.eclipse.hyades.uml2sd.ui.view.TimeCompressionBar
All Implemented Interfaces:
java.util.EventListener, org.eclipse.swt.events.DisposeListener, org.eclipse.swt.graphics.Drawable, org.eclipse.swt.internal.SWTEventListener

public class TimeCompressionBar
extends ScrollView
implements org.eclipse.swt.events.DisposeListener


Field Summary
 
Fields inherited from class org.eclipse.hyades.uml2sd.ui.view.ScrollView
ALWAYS_OFF, ALWAYS_ON, AUTO, HBAR, VBAR
 
Fields inherited from class org.eclipse.swt.widgets.Composite
embeddedHandle
 
Fields inherited from class org.eclipse.swt.widgets.Widget
handle
 
Constructor Summary
TimeCompressionBar(org.eclipse.swt.widgets.Composite parent, int s)
           
 
Method Summary
 void addTimeCompressionListener(ITimeCompressionListener listener)
           
 void highlightRegion(BaseMessage mes1, BaseMessage mes2)
          Force the time compression bar to hightlight the event occurrences between the two given messages.
 void highlightRegionSync(BaseMessage mes1, BaseMessage mes2)
          Force the time compression bar to hightlight the event occurrences between the two given messages.
 boolean isFocusControl()
           
 void removeSelectionChangedListener(ITimeCompressionListener listener)
           
 void scrollBy(int x, int y)
           
 void setFrame(Frame theFrame)
           
 void setZoom(float value)
           
 void widgetDisposed(org.eclipse.swt.events.DisposeEvent e)
           
 
Methods inherited from class org.eclipse.hyades.uml2sd.ui.view.ScrollView
computeBarVisibility, computeTrim, contentsToView, contentsToViewX, contentsToViewY, dispose, ensureVisible, ensureVisible, getClientArea, getContentsHeight, getContentsWidth, getContentsX, getContentsY, getDragAutoScroll, getDragAutoScrollPeriod, getHorizontalBar, getHorizontalBarHeight, getHScrollBarIncrement, getHScrollBarMode, getOverviewEnabled, getOverviewSize, getVerticalBar, getVerticalBarWidth, getViewControl, getVisibleHeight, getVisiblePart, getVisiblePart, getVisibleWidth, getVScrollBarIncrement, getVScrollBarMode, isVisible, isVisible, redraw, replaceControlListener, replaceKeyListener, replaceMouseListener, replaceMouseMoveListener, replacePaintListener, resizeContents, setBackground, setContentsPos, setCornerControl, setCursor, setDragAutoScroll, setDragAutoScrollPeriod, setFocus, setHScrollBarIncrement, setHScrollBarMode, setOverviewEnabled, setOverviewSize, setToolTipText, setVScrollBarIncrement, setVScrollBarMode, viewToContents, viewToContentsX, viewToContentsY
 
Methods inherited from class org.eclipse.swt.widgets.Composite
changed, computeSize, getBackgroundMode, getChildren, getLayout, getLayoutDeferred, getTabList, isLayoutDeferred, layout, layout, layout, layout, setBackgroundMode, setLayout, setLayoutDeferred, setTabList
 
Methods inherited from class org.eclipse.swt.widgets.Scrollable
getBorderWidth
 
Methods inherited from class org.eclipse.swt.widgets.Control
addControlListener, addDragDetectListener, addFocusListener, addHelpListener, addKeyListener, addMenuDetectListener, addMouseListener, addMouseMoveListener, addMouseTrackListener, addMouseWheelListener, addPaintListener, addTraverseListener, computeSize, dragDetect, dragDetect, forceFocus, getAccessible, getBackground, getBackgroundImage, getBounds, getCursor, getData, getDragDetect, getEnabled, getFont, getForeground, getLayoutData, getLocation, getMenu, getMonitor, getParent, getRegion, getShell, getSize, getToolTipText, getVisible, internal_dispose_GC, internal_new_GC, isEnabled, isReparentable, isVisible, moveAbove, moveBelow, pack, pack, print, redraw, removeControlListener, removeDragDetectListener, removeFocusListener, removeHelpListener, removeKeyListener, removeMenuDetectListener, removeMouseListener, removeMouseMoveListener, removeMouseTrackListener, removeMouseWheelListener, removePaintListener, removeTraverseListener, setBackgroundImage, setBounds, setBounds, setCapture, setDragDetect, setEnabled, setFont, setForeground, setLayoutData, setLocation, setLocation, setMenu, setParent, setRedraw, setRegion, setSize, setSize, setVisible, toControl, toControl, toDisplay, toDisplay, traverse, update
 
Methods inherited from class org.eclipse.swt.widgets.Widget
addDisposeListener, addListener, getData, getDisplay, getListeners, getStyle, isDisposed, isListening, notifyListeners, removeDisposeListener, removeListener, setData, setData, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TimeCompressionBar

public TimeCompressionBar(org.eclipse.swt.widgets.Composite parent,
                          int s)
Method Detail

setFrame

public void setFrame(Frame theFrame)

isFocusControl

public boolean isFocusControl()
Overrides:
isFocusControl in class org.eclipse.swt.widgets.Control

highlightRegion

public void highlightRegion(BaseMessage mes1,
                            BaseMessage mes2)
Force the time compression bar to hightlight the event occurrences between the two given messages. The event occurrences are hightlighted on the first message's end lifeline

Parameters:
mes1 - the first message
mes2 -

highlightRegionSync

public void highlightRegionSync(BaseMessage mes1,
                                BaseMessage mes2)
Force the time compression bar to hightlight the event occurrences between the two given messages. The event occurrences are hightlighted on the first message's end lifeline

Parameters:
mes1 - the first message
mes2 -

scrollBy

public void scrollBy(int x,
                     int y)
Overrides:
scrollBy in class ScrollView

setZoom

public void setZoom(float value)

addTimeCompressionListener

public void addTimeCompressionListener(ITimeCompressionListener listener)

removeSelectionChangedListener

public void removeSelectionChangedListener(ITimeCompressionListener listener)

widgetDisposed

public void widgetDisposed(org.eclipse.swt.events.DisposeEvent e)
Specified by:
widgetDisposed in interface org.eclipse.swt.events.DisposeListener

TPTP 4.6.0 Platform Project
Public API Specification