Class TerminationCriteriaView

java.lang.Object
org.eclipse.core.commands.common.EventManager
org.eclipse.ui.part.WorkbenchPart
org.eclipse.ui.part.ViewPart
de.uka.ipd.sdq.tcfmoop.views.TerminationCriteriaView
All Implemented Interfaces:
IOptimizationTerminatedListener, IOutputChangedListener, IRequestManualTerminationProvider, ITerminationCriteriaManagerInitializedListener, org.eclipse.core.runtime.IAdaptable, org.eclipse.core.runtime.IExecutableExtension, org.eclipse.ui.IPersistable, org.eclipse.ui.IViewPart, org.eclipse.ui.IWorkbenchPart, org.eclipse.ui.IWorkbenchPart2, org.eclipse.ui.IWorkbenchPart3, org.eclipse.ui.part.IWorkbenchPartOrientation

public class TerminationCriteriaView extends org.eclipse.ui.part.ViewPart implements IOutputChangedListener, ITerminationCriteriaManagerInitializedListener, IOptimizationTerminatedListener, IRequestManualTerminationProvider
  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final String
    The ID of the view as specified by the extension.
     

    Fields inherited from interface org.eclipse.ui.IWorkbenchPart

    PROP_TITLE
  • Constructor Summary

    Constructors
    Constructor
    Description
    The constructor.
  • Method Summary

    Modifier and Type
    Method
    Description
    void
    Adds a new listener for the RequestManualTermination event.
    void
    createPartControl(org.eclipse.swt.widgets.Composite parent)
    This is a callback that will allow us to create the viewer and initialize it.
    void
    Logic witch should be executed when the Optimization is terminated by the Termination Criteria Manager.
    void
    Logic witch should be executed when the Termination Criteria Manager updates the output tree.
    void
    Logic witch should be executed when a TerminationCriteriaManagerInitialized is fired.
    void
    Removes a listener from the RequestManualTermination event.
    void
    Passing the focus request to the viewer's control.

    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.core.runtime.IAdaptable

    getAdapter

    Methods inherited from interface org.eclipse.ui.IWorkbenchPart

    addPropertyListener, dispose, getSite, getTitle, getTitleImage, getTitleToolTip, removePropertyListener