Class MarkovResultEditorInput
- java.lang.Object
-
- org.palladiosimulator.solver.reliability.visualisation.MarkovResultEditorInput
-
- All Implemented Interfaces:
IAdaptable
,IEditorInput
public class MarkovResultEditorInput extends Object implements IEditorInput
Class that is responsible for displaying Markov transformation results as HTML page inside a customized workbench editor of a target instance.
-
-
Constructor Summary
Constructors Constructor Description MarkovResultEditorInput(String htmlCode)
Creates a new MarkovResultEditor, given a list of Markov transformation results.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
exists()
Object
getAdapter(Class adapter)
String
getHtmlCode()
Gets the HTML code as string.ImageDescriptor
getImageDescriptor()
String
getName()
IPersistableElement
getPersistable()
String
getToolTipText()
void
setHtmlCode(String htmlCode)
Sets the HTML code (string)
-
-
-
Constructor Detail
-
MarkovResultEditorInput
public MarkovResultEditorInput(String htmlCode)
Creates a new MarkovResultEditor, given a list of Markov transformation results.- Parameters:
markovResults
- the Markov transformation resultsconfiguration
- the configuration properties for the reliability solver workflow
-
-
Method Detail
-
exists
public boolean exists()
- Specified by:
exists
in interfaceIEditorInput
-
getAdapter
public Object getAdapter(Class adapter)
- Specified by:
getAdapter
in interfaceIAdaptable
-
getHtmlCode
public String getHtmlCode()
Gets the HTML code as string.- Returns:
- the HTML code as string
-
getImageDescriptor
public ImageDescriptor getImageDescriptor()
- Specified by:
getImageDescriptor
in interfaceIEditorInput
-
getName
public String getName()
- Specified by:
getName
in interfaceIEditorInput
-
getPersistable
public IPersistableElement getPersistable()
- Specified by:
getPersistable
in interfaceIEditorInput
-
getToolTipText
public String getToolTipText()
- Specified by:
getToolTipText
in interfaceIEditorInput
-
setHtmlCode
public void setHtmlCode(String htmlCode)
Sets the HTML code (string)- Parameters:
htmlCode
- the HTML code as string
-
-