de.cau.cs.kieler.krep.evalbench.ui.views
Class VerifyView

java.lang.Object
  extended by org.eclipse.core.commands.common.EventManager
      extended by org.eclipse.ui.part.WorkbenchPart
          extended by org.eclipse.ui.part.ViewPart
              extended by de.cau.cs.kieler.krep.evalbench.ui.views.VerifyView
All Implemented Interfaces:
IAdaptable, IExecutableExtension, IPersistable, IViewPart, IWorkbenchPart, IWorkbenchPart2, IWorkbenchPart3, IWorkbenchPartOrientation

Deprecated.

public class VerifyView
extends ViewPart

A View for displaying a trace file. This view should be replaced by a more generic KIELER view for automated runs in the execution manager.

Rating yellow
(2010-03-09) review by msp, soh

Field Summary
static String[] COLUMN_NAMES
          Deprecated. Column identifiers for the embedded table.
static String ID
          Deprecated. The identifier string for this view.
 
Fields inherited from interface org.eclipse.ui.IWorkbenchPart
PROP_TITLE
 
Constructor Summary
VerifyView()
          Deprecated.  
 
Method Summary
 void createPartControl(Composite parent)
          Deprecated.  
 void setActionsEnabled(boolean enabled)
          Deprecated. Enables or disables the control actions in this view.
 void setFocus()
          Deprecated.  
 
Methods inherited from class org.eclipse.ui.part.ViewPart
checkSite, getViewSite, init, init, saveState, setContentDescription, setInitializationData, setPartName
 
Methods inherited from class org.eclipse.ui.part.WorkbenchPart
addPartPropertyListener, addPropertyListener, dispose, firePartPropertyChanged, firePropertyChange, getAdapter, getConfigurationElement, getContentDescription, getDefaultImage, getOrientation, getPartName, getPartProperties, getPartProperty, getSite, getTitle, getTitleImage, getTitleToolTip, removePartPropertyListener, removePropertyListener, setPartProperty, setSite, setTitle, setTitleImage, setTitleToolTip, showBusy
 
Methods inherited from class org.eclipse.core.commands.common.EventManager
addListenerObject, clearListeners, getListeners, isListenerAttached, removeListenerObject
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.eclipse.ui.IWorkbenchPart
addPropertyListener, dispose, getSite, getTitle, getTitleImage, getTitleToolTip, removePropertyListener
 
Methods inherited from interface org.eclipse.core.runtime.IAdaptable
getAdapter
 

Field Detail

ID

public static final String ID
Deprecated. 
The identifier string for this view.

See Also:
Constant Field Values

COLUMN_NAMES

public static final String[] COLUMN_NAMES
Deprecated. 
Column identifiers for the embedded table.

Constructor Detail

VerifyView

public VerifyView()
Deprecated. 
Method Detail

createPartControl

public void createPartControl(Composite parent)
Deprecated. 
Specified by:
createPartControl in interface IWorkbenchPart
Specified by:
createPartControl in class WorkbenchPart

setFocus

public void setFocus()
Deprecated. 
Specified by:
setFocus in interface IWorkbenchPart
Specified by:
setFocus in class WorkbenchPart

setActionsEnabled

public void setActionsEnabled(boolean enabled)
Deprecated. 
Enables or disables the control actions in this view.

Parameters:
enabled - the new action state