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
ConstructorsConstructorDescriptionMarkovResultEditorInput(String htmlCode) Creates a new MarkovResultEditor, given a list of Markov transformation results. -
Method Summary
Modifier and TypeMethodDescriptionbooleanexists()getAdapter(Class adapter) Gets the HTML code as string.getName()voidsetHtmlCode(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:
existsin interfaceIEditorInput
-
getAdapter
- Specified by:
getAdapterin interfaceIAdaptable
-
getHtmlCode
Gets the HTML code as string.- Returns:
- the HTML code as string
-
getImageDescriptor
- Specified by:
getImageDescriptorin interfaceIEditorInput
-
getName
- Specified by:
getNamein interfaceIEditorInput
-
getPersistable
- Specified by:
getPersistablein interfaceIEditorInput
-
getToolTipText
- Specified by:
getToolTipTextin interfaceIEditorInput
-
setHtmlCode
Sets the HTML code (string)- Parameters:
htmlCode- the HTML code as string
-