Package org.eclipse.epsilon.evl.dt.views
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
FieldsModifier and TypeFieldDescriptionprotected org.eclipse.jface.action.Action
protected ValidationViewFixer
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 -
Method Summary
Modifier and TypeMethodDescriptionvoid
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
fix
(IEvlModule module, ValidationViewFixer fixer) boolean
isDone()
protected void
setDone
(boolean done) void
setFocus()
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
-
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
-
-
Constructor Details
-
ValidationView
public ValidationView()
-
-
Method Details
-
existUnsatisfiedConstraintsToFix
protected boolean existUnsatisfiedConstraintsToFix() -
fix
-
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 interfaceorg.eclipse.ui.IWorkbenchPart
- Specified by:
createPartControl
in classorg.eclipse.ui.part.WorkbenchPart
-
setFocus
public void setFocus()- Specified by:
setFocus
in interfaceorg.eclipse.ui.IWorkbenchPart
- Specified by:
setFocus
in classorg.eclipse.ui.part.WorkbenchPart
-
isDone
public boolean isDone() -
setDone
protected void setDone(boolean done)
-