com.javapathfinder.vjp.verify.view
Class ControlPanel

java.lang.Object
  org.eclipse.swt.widgets.Widget
      org.eclipse.swt.widgets.Control
          org.eclipse.swt.widgets.Scrollable
              org.eclipse.swt.widgets.Composite
                  com.javapathfinder.vjp.verify.view.ControlPanel

All Implemented Interfaces:

org.eclipse.swt.graphics.Drawable

public class ControlPanel
extends org.eclipse.swt.widgets.Composite

The Composite the holds all of the buttons to control verification

Author:

Sandro Badame

Field Summary

static java.lang.String	resetText
static java.lang.String	resetToolTip
static java.lang.String	runText
static java.lang.String	runToolTip
static java.lang.String	stepText
static java.lang.String	stepToolTip

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

embeddedHandle

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

handle

Constructor Summary

ControlPanel(org.eclipse.swt.widgets.Composite parent, int style)

Method Summary

org.eclipse.swt.widgets.Button	getResetButton()
org.eclipse.swt.widgets.Button	getRunButton()
org.eclipse.swt.widgets.Button	getStepButton()

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

changed, 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, addFocusListener, addHelpListener, addKeyListener, addMouseListener, addMouseMoveListener, addMouseTrackListener, addPaintListener, addTraverseListener, computeSize, forceFocus, getAccessible, getBackground, getBackgroundImage, getBounds, 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, removeFocusListener, removeHelpListener, removeKeyListener, removeMouseListener, removeMouseMoveListener, removeMouseTrackListener, removePaintListener, removeTraverseListener, setBackground, setBackgroundImage, setBounds, setBounds, setCapture, setCursor, 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, dispose, getData, getData, getDisplay, getStyle, isDisposed, isListening, notifyListeners, removeDisposeListener, removeListener, setData, setData, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

runText

public static final java.lang.String runText

See Also:

Constant Field Values

runToolTip

public static final java.lang.String runToolTip

See Also:

Constant Field Values

resetText

public static final java.lang.String resetText

See Also:

Constant Field Values

resetToolTip

public static final java.lang.String resetToolTip

See Also:

Constant Field Values

stepText

public static final java.lang.String stepText

See Also:

Constant Field Values

stepToolTip

public static final java.lang.String stepToolTip

See Also:

Constant Field Values

Constructor Detail

ControlPanel

public ControlPanel(org.eclipse.swt.widgets.Composite parent,
                    int style)

Parameters:

parent -

style -

See Also:

Composite

Method Detail

getResetButton

public org.eclipse.swt.widgets.Button getResetButton()

Returns:

the reset

getRunButton

public org.eclipse.swt.widgets.Button getRunButton()

Returns:

the runpause

getStepButton

public org.eclipse.swt.widgets.Button getStepButton()

Returns:

the step