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.Actionprotected ValidationViewFixerprotected IEvlModuleprotected org.eclipse.jface.action.Actionprotected org.eclipse.jface.viewers.TableViewerFields inherited from interface org.eclipse.ui.IWorkbenchPart
PROP_TITLE -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoidcreatePartControl(org.eclipse.swt.widgets.Composite parent) This is a callback that will allow us to create the viewer and initialize it.protected booleanvoidfix(IEvlModule module, ValidationViewFixer fixer) booleanisDone()protected voidsetDone(boolean done) voidsetFocus()Methods inherited from class org.eclipse.ui.part.ViewPart
checkSite, getViewSite, init, init, saveState, setContentDescription, setInitializationData, setPartNameMethods 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, showBusyMethods inherited from class org.eclipse.core.commands.common.EventManager
addListenerObject, clearListeners, getListeners, isListenerAttached, removeListenerObjectMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface org.eclipse.core.runtime.IAdaptable
getAdapterMethods 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:
createPartControlin interfaceorg.eclipse.ui.IWorkbenchPart- Specified by:
createPartControlin classorg.eclipse.ui.part.WorkbenchPart
-
setFocus
public void setFocus()- Specified by:
setFocusin interfaceorg.eclipse.ui.IWorkbenchPart- Specified by:
setFocusin classorg.eclipse.ui.part.WorkbenchPart
-
isDone
public boolean isDone() -
setDone
protected void setDone(boolean done)
-