Class ValidationView

java.lang.Object
org.eclipse.core.commands.common.EventManager
org.eclipse.ui.part.WorkbenchPart
org.eclipse.ui.part.ViewPart
org.eclipse.epsilon.evl.dt.views.ValidationView
All Implemented Interfaces:
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 ValidationView extends org.eclipse.ui.part.ViewPart
  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    protected org.eclipse.jface.action.Action
     
     
    protected IEvlModule
     
    protected org.eclipse.jface.action.Action
     
    protected org.eclipse.jface.viewers.TableViewer
     

    Fields inherited from interface org.eclipse.ui.IWorkbenchPart

    PROP_TITLE
  • Constructor Summary

    Constructors
    Constructor
    Description
     
  • Method Summary

    Modifier and Type
    Method
    Description
    void
    createPartControl(org.eclipse.swt.widgets.Composite parent)
    This is a callback that will allow us to create the viewer and initialize it.
    protected boolean
     
    void
     
    boolean
     
    protected void
    setDone(boolean done)
     
    void
     

    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
  • Field Details

    • module

      protected IEvlModule module
    • viewer

      protected org.eclipse.jface.viewers.TableViewer viewer
    • stopAction

      protected org.eclipse.jface.action.Action stopAction
    • clearAction

      protected org.eclipse.jface.action.Action clearAction
    • fixer

      protected ValidationViewFixer fixer
  • Constructor Details

    • ValidationView

      public ValidationView()
  • Method Details

    • existUnsatisfiedConstraintsToFix

      protected boolean existUnsatisfiedConstraintsToFix()
    • fix

      public void fix(IEvlModule module, ValidationViewFixer fixer)
    • createPartControl

      public void createPartControl(org.eclipse.swt.widgets.Composite parent)
      This is a callback that will allow us to create the viewer and initialize it.
      Specified by:
      createPartControl in interface org.eclipse.ui.IWorkbenchPart
      Specified by:
      createPartControl in class org.eclipse.ui.part.WorkbenchPart
    • setFocus

      public void setFocus()
      Specified by:
      setFocus in interface org.eclipse.ui.IWorkbenchPart
      Specified by:
      setFocus in class org.eclipse.ui.part.WorkbenchPart
    • isDone

      public boolean isDone()
    • setDone

      protected void setDone(boolean done)