org.eclipse.tptp.platform.analysis.core.ui.views
Class ResultTab

java.lang.Object
  org.eclipse.swt.widgets.Widget
      org.eclipse.swt.widgets.Control
          org.eclipse.swt.widgets.Scrollable
              org.eclipse.swt.widgets.Composite
                  org.eclipse.tptp.platform.analysis.core.ui.views.ResultTab

All Implemented Interfaces:

org.eclipse.swt.graphics.Drawable, java.util.EventListener, org.eclipse.swt.events.SelectionListener, org.eclipse.swt.internal.SWTEventListener

public class ResultTab

extends org.eclipse.swt.widgets.Composite

implements org.eclipse.swt.events.SelectionListener

Field Summary

Fields inherited from class org.eclipse.swt.widgets.Composite

embeddedHandle

Fields inherited from class org.eclipse.swt.widgets.Widget

handle

Constructor Summary

ResultTab(org.eclipse.swt.widgets.Composite parent, int style, ResultsFrameView frameView, AnalysisHistory history, AbstractAnalysisProvider provider)

Method Summary

void	addViews(java.util.Map views)
org.eclipse.swt.widgets.Composite	getContent()
org.eclipse.swt.widgets.Composite	getToolbarContent()
void	widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent arg0)
void	widgetSelected(org.eclipse.swt.events.SelectionEvent arg0)

Methods inherited from class org.eclipse.swt.widgets.Composite

changed, checkSubclass, computeSize, getBackgroundMode, getChildren, getClientArea, getLayout, getLayoutDeferred, getTabList, isLayoutDeferred, layout, layout, layout, layout, setBackgroundMode, setFocus, setLayout, setLayoutDeferred, setTabList

Methods inherited from class org.eclipse.swt.widgets.Scrollable

computeTrim, getBorderWidth, getHorizontalBar, getVerticalBar

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, getDragDetect, getEnabled, getFont, getForeground, getLayoutData, getLocation, getMenu, getMonitor, getParent, getShell, getSize, getToolTipText, getVisible, internal_dispose_GC, internal_new_GC, isEnabled, isFocusControl, isReparentable, isVisible, moveAbove, moveBelow, pack, pack, redraw, redraw, removeControlListener, removeDragDetectListener, removeFocusListener, removeHelpListener, removeKeyListener, removeMenuDetectListener, removeMouseListener, removeMouseMoveListener, removeMouseTrackListener, removeMouseWheelListener, removePaintListener, removeTraverseListener, setBackground, setBackgroundImage, setBounds, setBounds, setCapture, setCursor, setDragDetect, setEnabled, setFont, setForeground, setLayoutData, setLocation, setLocation, setMenu, setParent, setRedraw, setSize, setSize, setToolTipText, setVisible, toControl, toControl, toDisplay, toDisplay, traverse, update

Methods inherited from class org.eclipse.swt.widgets.Widget

addDisposeListener, addListener, checkWidget, dispose, getData, getData, getDisplay, getStyle, isDisposed, isListening, notifyListeners, removeDisposeListener, removeListener, removeListener, setData, setData, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ResultTab

public ResultTab(org.eclipse.swt.widgets.Composite parent,
                 int style,
                 ResultsFrameView frameView,
                 AnalysisHistory history,
                 AbstractAnalysisProvider provider)

Method Detail

addViews

public void addViews(java.util.Map views)

Parameters:

views - The views to add to the ui

widgetSelected

public void widgetSelected(org.eclipse.swt.events.SelectionEvent arg0)

Specified by:

widgetSelected in interface org.eclipse.swt.events.SelectionListener

getContent

public org.eclipse.swt.widgets.Composite getContent()

Returns:

The composite that owns the tab control

getToolbarContent

public org.eclipse.swt.widgets.Composite getToolbarContent()

Returns:

The tooldbar for the current tab view

widgetDefaultSelected

public void widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent arg0)

Specified by:

widgetDefaultSelected in interface org.eclipse.swt.events.SelectionListener