Class MarkovResultEditorInput
java.lang.Object
org.palladiosimulator.reliability.solver.visualisation.MarkovResultEditorInput
- All Implemented Interfaces:
IAdaptable
,IEditorInput
Class that is responsible for displaying Markov transformation results as HTML page inside a
customized workbench editor of a target instance.
-
Constructor Summary
ConstructorDescriptionMarkovResultEditorInput
(String htmlCode) Creates a new MarkovResultEditor, given a list of Markov transformation results. -
Method Summary
Modifier and TypeMethodDescriptionboolean
exists()
getAdapter
(Class adapter) Gets the HTML code as string.getName()
void
setHtmlCode
(String htmlCode) Sets the HTML code (string)
-
Constructor Details
-
MarkovResultEditorInput
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 Details
-
exists
public boolean exists()- Specified by:
exists
in interfaceIEditorInput
-
getAdapter
- Specified by:
getAdapter
in interfaceIAdaptable
-
getHtmlCode
Gets the HTML code as string.- Returns:
- the HTML code as string
-
getImageDescriptor
- Specified by:
getImageDescriptor
in interfaceIEditorInput
-
getName
- Specified by:
getName
in interfaceIEditorInput
-
getPersistable
- Specified by:
getPersistable
in interfaceIEditorInput
-
getToolTipText
- Specified by:
getToolTipText
in interfaceIEditorInput
-
setHtmlCode
Sets the HTML code (string)- Parameters:
htmlCode
- the HTML code as string
-