Package org.palladiosimulator.solver.reliability.visualisation

Class MarkovResultEditor

java.lang.Object

org.eclipse.core.commands.common.EventManager

org.eclipse.ui.part.WorkbenchPart

org.eclipse.ui.part.EditorPart

org.palladiosimulator.solver.reliability.visualisation.MarkovResultEditor

All Implemented Interfaces:

IAdaptable, IExecutableExtension, IEditorPart, ISaveablePart, IWorkbenchPart, IWorkbenchPart2, IWorkbenchPart3, IWorkbenchPartOrientation

public class MarkovResultEditor
extends EditorPart

Field Summary

Fields inherited from interface org.eclipse.ui.IEditorPart

PROP_DIRTY, PROP_INPUT

Fields inherited from interface org.eclipse.ui.IWorkbenchPart

PROP_TITLE

Constructor Summary

Constructors

Constructor	Description
MarkovResultEditor()

Method Summary

Modifier and Type	Method	Description
void	createPartControl(Composite parent)
void	doSave(IProgressMonitor monitor)
void	doSaveAs()
void	init(IEditorSite site, IEditorInput input)
boolean	isDirty()
boolean	isSaveAsAllowed()
void	setFocus()

Methods inherited from class org.eclipse.ui.part.EditorPart

checkSite, getEditorInput, getEditorSite, getTitleToolTip, isSaveOnCloseNeeded, setContentDescription, setInitializationData, setInput, setInputWithNotify, 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, 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, removePropertyListener

Constructor Detail

MarkovResultEditor

public MarkovResultEditor()

Method Detail

createPartControl

public void createPartControl(Composite parent)

Specified by:

createPartControl in interface IWorkbenchPart

Specified by:

createPartControl in class WorkbenchPart

doSave

public void doSave(IProgressMonitor monitor)

Specified by:

doSave in interface ISaveablePart

Specified by:

doSave in class EditorPart

doSaveAs

public void doSaveAs()

Specified by:

doSaveAs in interface ISaveablePart

Specified by:

doSaveAs in class EditorPart

init

public void init(IEditorSite site,
                 IEditorInput input)
          throws PartInitException

Specified by:

init in interface IEditorPart

Specified by:

init in class EditorPart

Throws:

PartInitException

isDirty

public boolean isDirty()

Specified by:

isDirty in interface ISaveablePart

Specified by:

isDirty in class EditorPart

isSaveAsAllowed

public boolean isSaveAsAllowed()

Specified by:

isSaveAsAllowed in interface ISaveablePart

Specified by:

isSaveAsAllowed in class EditorPart

setFocus

public void setFocus()

Specified by:

setFocus in interface IWorkbenchPart

Specified by:

setFocus in class WorkbenchPart